Книга: Успенский В.А. «Теорема Гёделя о неполноте»
|
Серия: "-" Брошюра снабжена шестью приложениями, написанными несколько более сжато, хотя по-прежнему не предполагающими никаких специальных знаний. В первом из них рассматривается вопрос о связи между наличием истинных недоказуемых утверждений и наличием утверждений, не являющихся ни доказуемыми, ни опровержимыми. Во втором доказывается некоторое усиление теоремы Гёделя — теорема Тарского о невыразимости понятия истины. Третье приложение посвящено обоснованию одной из аксиом теории алгоритмов, сформулированных в § 5, а именно, аксиомы арифметичности. С этой целью вводится некоторый конкретный класс алгоритмов — класс адресных программ — и проверяется арифметичность функций, вычисляемых алгоритмами этого класса. В четвертом приложении развитые в § 2 критерии полноты и неполноты применяются к языкам, связанным с так называемыми ассоциативными исчислениями. Пятое приложение посвящено первоначальной формулировке теоремы о неполноте, предложенной самим Гёделем. Шестое приложение содержит упражнения к некоторым из предыдущих разделов. Наконец, последнее приложение содержит ответы и указания к упражнениям. Приложения не зависят друг от друга и могут читаться в любом порядке, за исключением приложения В, отдельные места которого требуют знакомства с введенными в приложении Б понятиями. Воспроизведено в оригинальной авторской орфографии издания 192 года (издательство "Наука" ). Издательство: "ЁЁ Медиа" (2012)
ISBN: 978-5-458-40264-4 Купить за 2003 руб в My-shop |
Другие книги автора:
| Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|
| Четыре алгоритмических лица случайности | Брошюра написана по материалам лекции, прочитанной автором 23 июля 2005 года в летней школе "Современная… — Московский центр непрерывного математического образования (МЦНМО), Современная математика Подробнее... | бумажная книга | ||
| Математическое и гуманитарное: преодоление барьера | Можно ли уничтожить и нужно ли уничтожать ставшие, увы, традиционными (хотя, как видим, и не столь древние!)… — Московский центр непрерывного математического образования (МЦНМО), Научно-популярная литература Подробнее... | бумажная книга | ||
| Простейшие примеры математических доказательств | В брошюре доступным неспециалистам языком рассказывается о некоторых из основополагающих принципов, на… — Московский центр непрерывного математического образования (МЦНМО), - Подробнее... | бумажная книга | ||
| Некоторые приложения механики к математике | В настоящей книге рассмотрены простые решения различных, иногда довольно сложных, математических задач… — URSS, Науку - всем! Шедевры научно-популярной литературы Подробнее... | бумажная книга | ||
| Теорема Гёделя о неполноте | Брошюра снабжена шестью приложениями, написанными несколько более сжато, хотя по-прежнему не… — ЁЁ Медиа, Подробнее... | бумажная книга | ||
| Треугольник Паскаля. Книга № 102 | В настоящей лекции рассматривается одна важная числовая таблица (которая и называется треугольником… — URSS, - Подробнее... | бумажная книга | ||
| Четыре алгоритмических лица случайности | Брошюра написана по материалам лекции, прочитанной автором 23 июля 2005 года в летней школе `Современная… — Московский центр непрерывного математического образования (МЦНМО), (формат: 60x90/16 (145x215мм), 48 стр.) Современная математика Подробнее... | бумажная книга | ||
| Простейшие примеры математических доказательств | В брошюре доступным неспециалистам языком рассказывается о некоторых из основополагающих принципов, на… — Московский центр непрерывного математического образования (МЦНМО), Подробнее... | бумажная книга |
См. также в других словарях:
Теорема Гёделя о неполноте — У этого термина существуют и другие значения, см. Теорема Гёделя. Теорема Гёделя о неполноте и вторая теорема Гёделя[ 1] две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой… … Википедия
Теорема Гёделя — Теорема Гёделя: Теорема Гёделя о полноте, или Первая теорема Гёделя (1929 год) Теорема Гёделя о неполноте, или Вторая теорема Гёделя (1930 год) … Википедия
Теоремы Гёделя о неполноте — Теоремы Гёделя о неполноте две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой достаточно сильной[1] теории первого порядка. Первая теорема утверждает, что если формальная… … Википедия
Теорема Гёделя — гласит, что в широком классе систем, в которых вообще существуют понятия утверждения и доказательства (например, математика), существуют утверждения, которые не могут быть ни опровергнуты, ни доказаны; данное утверждение широко используется за … Мир Лема - словарь и путеводитель
Теорема Гёделя о полноте — У этого термина существуют и другие значения, см. Теорема Гёделя. Теорема Гёделя о полноте исчисления предикатов является одной из фундаментальных теорем математической логики: она устанавливает однозначную связь между логической истинностью… … Википедия
Вторая теорема Гёделя — Теоремы Гёделя о неполноте две теоремы математической логики о неполноте формальных систем определённого рода. Содержание 1 Первая теорема Гёделя о неполноте 2 Вторая теорема Гёделя о неполноте … Википедия
