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