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