Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь. Мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем.




 
[Расширенный поиск]
Результаты 1-5 из 5 по запросу Гёдель


Наука. Величайшие теории: выпуск 17: У интуиции есть своя логика. Гёдель. Теоремы о неполноте — Курт Гёдель изменил понимание математики. Две теоремы о неполноте, сформулированные им в 1931 году, с помощью формальной логики выявили хрупкость фундамента великого здания математики, которое усердно строили со времен Евклида.

Наука. Величайшие теории: выпуск 17: У интуиции есть своя логика. Гёдель. Теоремы о неполноте — Курт Гёдель изменил ...
Каталог файлов » Книги - 2015-05-08 20:41:11

Теорема Гёделя о полноте § 1. Расширение теории § 2. Каноническая интерпретация теории § 3. Доказательство теоремы о полноте § 4. Некоторые следствия теоремы Гёделя о полноте § 5.
Каталог файлов » Книги - 2016-04-09 22:02:44

Теорема Гёделя для теории S § 6. Рекурсивная неразрешимость. Теорема Тарского. Система Робинсона Глава 4. Аксиоматическая теория множеств § 1. Система аксиом § 2.... Вычислимость по Эрбрану Гёделю. Рекурсивно перечислимые множества § 4. Неразрешимые проблемы Дополнение. Доказательство непротиворечивости формальной арифметики Литература Алфавитный указатель Символы и обозначения Скачать Введение в ...
Каталог файлов » Книги - 2015-12-07 23:52:19

Теорема Гёделя о неполноте формальной арифметики § 38. Математическая логика и программное обеспечение компьютеров § 39. Применение компьютеров для доказательства теорем математической логики § 40.
Каталог файлов » Книги - 2013-05-28 21:17:24

Наш опрос
Вы счастливы?
Всего ответов: 5
Статистика
Реклама