Успенский В.А. / Теорема Геделя о неполноте
Рубрика: Авторские публикации 30 Декабрь 2011Название: Теорема Геделя о неполноте
Автор: Успенский В.А.
Аннотация: Теорема Гёделя о неполноте — едва ли не самая знаменитая теорема математики. Она утверждает, что какие бы способы доказывания ни предложить, в любом достаточно богатом языке найдутся истинные, но не доказуемые утверждения. Богатство языка есть его способность выражать факты. Оказывается, что для целей теоремы Гёделя богатство языка достаточно понимать как его способность выражать принадлежность натуральных чисел перечислимым множествам.
Понятие перечислимого множества — одно из основных понятий теории алгоритмов: непустое множество называется перечислимым, если его можно расположить в вычислимую последовательность. Таким образом, теорема Гёделя имеет алгоритмические истоки. Возможны четыре принципиально различные пути, ведущие от этих истоков к теореме; эти пути были предложены, сооответственно, Гёделем, Колмогоровым, Чейтином и Шенем.
Скачать в pdf ( 323,34 КБ): Успенский В.А. / Теорема Геделя о неполноте
- Антонов В.А., Никифоров И.И., Холшевников К.В. / Элементы теории гравитационного потенциала и некоторые случаи его явного выражения. Название: Элементы теории гравитационного потенциала и некоторые случаи его явного выражения. Автор: Антонов В.А., Никифоров И.И., Холшевников
- Яфаров Р. К. / Физика СВЧ вакуумно-плазменных нанотехнологий. Название: Физика СВЧ вакуумно-плазменных нанотехнологий Автор: Яфаров Р. К. Аннотация: В книге обозначены и насколько возможно полно
- Успенский В.А. / Вводный курс математической логики Название: Вводный курс математической логики Автор: Успенский В.А. Аннотация: В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на
- Успенский В.А. / Теорема Геделя о неполноте Название: Теорема Геделя о неполноте Автор: Успенский В.А. Аннотация: Есть в математике темы, пользующиеся достаточной известностью и в то же время признаваемые
- Ж.-П. Серр / КУРС АРИФМЕТИКИ Название: КУРС АРИФМЕТИКИ Автор: Ж.-П. Серр Аннотация: Современный университетский учебник повышенного типа по теории чисел. Сжатое, но весьма содержательное
- Борисенко В. Е. / Наноэлектроника: теория и практика. Учебник Название: Наноэлектроника: теория и практика. Учебник Автор: Борисенко В. Е. Аннотация: Подробно рассмотрены фундаментальные физические эффекты и
- В.И. Бояринцев. / ЭЙНШТЕЙН- ЕВРЕЙСКИЙ МИФ ХХ ВЕКА Название: ЭЙНШТЕЙН- ЕВРЕЙСКИЙ МИФ ХХ ВЕКА Автор: В.И. Бояринцев. Аннотация: Кто не знает «гения всех времен и
Ещё записи в рубрике:
