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

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

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