Булос Джорж
Булос Джорж
математик, логик
- Настоящее имя:
- Boolos George Stephen
- Годы жизни:
- 1940 — 1996
- Место рождения:
- г. Нью-Йорк, штат Нью-Йорк, США
- Место смерти:
- Кембридж, штат Массачусетс, США.
Эта статья еще не написана, но вы можете сделать это.
Выходные данные:
- Просмотров: 132
- Комментариев: 0
- Опубликовано: 28.02.2011
- Версий: 7 , текущая: 7
- Статус: пользовательская
- Рейтинг: 0.0
Автор:
Золин Евгений Евгеньевич
- старший научный сотрудник; кандидат физико-математических наук
- Редактор
Соавторы:
Ссылки отсюда
Ссылки сюда
Авторские произведения: Булос Джорж
| № | Название | Год | Текст | Тип | Действия |
|---|---|---|---|---|---|
| 1. |
Вычислимость и логика |
1994 |
|
— | |
В книге известных американских математиков излагаются разделы теории вычислимости. Связанные с логической проблематикой. Излагаются основные методы теории вычислимости, приводятся доказательства теорем о неразрешимости логики предикатов пеервого порядка, тьюрингова вычислимость, теоремы Геделя о неполноте, нестандартные модели и многое другое.
|
|||||