Американский математик и логик, внёсший вклад в основы информатики, прославившийся разработкой теории лямбда -исчислений, последовавшей за его знаменитой статьёй 1936 года, в которой он показал существование «неразрешимых задач». — 4 буквы