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

Добрый вечер! Здравствуйте, уважаемые дамы и господа! Пятница! В эфире капитал-шоу «Поле чудес»! И как обычно, под аплодисменты зрительного зала я приглашаю в студию тройку игроков. А вот и задание на этот тур:

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