Кто это?
Он был создателем плитки Ванга. В 1983 году он был удостоен самой первой премии Milestone Prize за автоматическое доказательство теорем от Международной объединенной конференции по искусственному интеллекту.
До славы
В 1952 году он женился на Хане Тирни, у них было трое детей и двое внуков.
Интересные факты
Его компьютерная программа доказала многие теоремы Principia Mathematica, впервые выдвинутые Бертраном Расселом и Альфредом Нортом Уайтхедом.
Личная жизнь
Выдающийся логик и математик. Он работал над компьютером IBM704, который доказывал сотни теорем логики Principia Mathematica за девять минут.
Связь
Он получил степень по математике в Национальном юго-западном ассоциированном университете.