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