Алонзо Чёрч (англ. Alonzo Church; 14 июня 1903 года, Вашингтон — 11 августа 1995 года, Хадсон, Огайо, США) — американский математик и логик, внесший значительный вклад в основы информатики.
| Связанные публикации на ФШ | Участник | Тип |
Опубликовано |
|---|---|---|---|
| Ликбез по логике предикатов. Часть 2 | Виктор Володин | Запись | 23.01.2026 |