Цитата из книги «Большой роман о математике. История мира через призму математики»
В 1936 г. он опубликовал статью, в которой провел параллель между возможностью доказать теорему с помощью математики и способностью найти решение с помощью вычислительных машин с использованием достижений информатики. Он впервые описывает