Алонзо Чёрч

Алонзо Чёрч (англ. Alonzo Church; 14 июня 1903 года, Вашингтон — 11 августа 1995 года, Хадсон, Огайо, США) — американский математик и логик, внесший значительный вклад в основы информатики.

Связанные публикации на ФШ Участник Тип Опубликованосортировать по иконкам
Ликбез по логике предикатов. Часть 2 Виктор Володин Запись 23.01.2026