Чёрч (Черч) Алонзо
Чёрч (Черч) Алонзо
математик и логик, внесший значительный вклад в основы информатики, разработал лямбда-исчисление и доказательство существования алгоритмически неразрешимых задач
- Настоящее имя:
- Church Alonzo
- Годы жизни:
- 1903 — 1995
- Место рождения:
- г. Вашингтон, США
- Место смерти:
- г. Хадсон, штат Огайо, США
- Разделы каталога:
- Математика
Эта статья еще не написана, но вы можете сделать это.
Выходные данные:
- Просмотров: 1562
- Комментариев: 0
- Опубликовано: 28.02.2011
- Версий: 4 , текущая: 4
- Статус: экспертная
- Рейтинг: 0.0
Автор:
Золин Евгений Евгеньевич
- старший научный сотрудник; кандидат физико-математических наук
Ссылки отсюда
Ссылки сюда
Авторские произведения: Чёрч (Черч) Алонзо
| № | Название | Год | Текст | Тип | Действия |
|---|---|---|---|---|---|
| 1. |
Введение в математическую логику, том 1 |
1956 |
|
— | |
Эта монография принадлежит перу одного из самых известных современных специалистов в области математической логики. Она задумана автором в качестве учебника для студентов, а также в известной мере в качестве справочника.
Предполагая у читателя только общую математическую культуру, книга с первых же страниц вводит его в глубокую проблематику, связанную с основными понятиями...
|
|||||