"Нет оснований для сомнений в том, что в недалеком будущем на основании математического анализа деятельности мозга ЭВМ смогут выполнять ряд его сложных функций, например, вывод теорем или построение новых гипотез".
Лев Дашевский, Екатерина Шкабара, 1961 год.