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