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


Ответ на любой кроссворд вы найдете на этом сайте!