Зарегистрироваться

Булос Дж.

Категории | Под редакцией сообщества:

Эта версия статьи от 30 Сентябрь 2010 17:13, редактировал Бочаров Вячеслав Александрович
Список всех версий Перейти к списку версий
Перейти к последней версии

Булос Джорж

математик, логик

математик, логик

Настоящее имя:
Boolos George Stephen
Год рождения:
Годы жизни:
н/а — н/а
Место рождения:
г. Нью-Йорк, штат Нью-Йорк, США
Место смерти:
Кембридж, штат Массачусетс, США.
Разделы каталога:

Эта статья еще не написана, но вы можете сделать это.

Выходные данные:

  • Просмотров: 0
  • Комментариев: 0
  • Опубликовано: 30.09.2010
  • Версий: 7 , текущая: 7
  • Статус: пользовательская
  • Рейтинг: 0.0

Автор:

Бочаров Вячеслав Александрович

  • профессор; доктор философских наук
  • Редактор

Соавторы:

Ссылки отсюда

Ссылки сюда

Авторские произведения: Булос Дж.

№ Название Год Текст Тип Действия
1. Вычислимость и логика
 1994 —
В книге известных американских математиков излагаются разделы теории вычислимости. Связанные с логической проблематикой. Излагаются основные методы теории вычислимости, приводятся доказательства теорем о неразрешимости логики предикатов пеервого порядка, тьюрингова вычислимость, теоремы Геделя о неполноте, нестандартные модели и многое другое.