Это не означает, что мы отвергаем важность работы Ван Хао и его критики. Он и ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Фейгенбаум Э.N. Вычислительные машины и мышление


Это не означает, что мы отвергаем важность работы Ван Хао и его критики. Он и другие, работающие над машинной математикой, обнаружили, что существуют способы доказательства, которые гораздо более эффективны, чем ожидалось.

(cкачать страницу)

Смотреть книгу на libgen

Это не означает,  что мы отвергаем важность работы Ван Хао и его критики.  Он и другие,  работающие над машинной математикой,  обнаружили,  что существуют способы доказательства,  которые гораздо более эффективны,  чем ожидалось.