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