|
|
libcats.org
Популярные лекции по математике. Теорема Гёделя о неполнотеУспенский В.А.Брошюра снабжена шестью приложениями, написанными несколько более сжато, хотя по-прежнему не предполагающими никаких специальных знаний. В первом из них рассматривается вопрос о связи между наличием истинных недоказуемых утверждений и наличием утверждений, не являющихся ни доказуемыми, ни опровержимыми. Во втором доказывается некоторое усиление теоремы Гёделя - теорема Тарского о невыразимости понятия истины. Третье приложение посвящено обоснованию одной из аксиом теории алгоритмов, сформулированных в § 5, а именно, аксиомы арифметичности. С этой целью вводится некоторый конкретный класс алгоритмов - класс адресных программ - и проверяется арифметичность функций, вычисляемых алгоритмами этого класса. В четвертом приложении развитые в § 2 критерии полноты и неполноты применяются к языкам, связанным с так называемыми ассоциативными исчислениями. Пятое приложение посвящено первоначальной формулировке теоремы о неполноте, предложенной самим Гёделем. Шестое приложение содержит упражнения к некоторым из предыдущих разделов. Наконец, последнее приложение содержит ответы и указания к упражнениям. Приложения не зависят друг от друга и могут читаться в любом порядке, за исключением приложения В, отдельные места которого требуют знакомства с введенными в приложении Б понятиями.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Genki 1: An Integrated Course in Elementary Japanese 1Автор: Eri Banno, Автор: Yutaka Ohno, Автор: Yoko Sakane, Автор: Chikako Shinagawa, Автор:
Размер книги: 172.22 Mb
Только что пользователи скачали эти книги:
Методическое руководство по определению стоимости автомототранспортных средств с учетом износаАвтор: Головин Ю.И.Категория: Экономика экономические науки
Размер книги: 1.01 Mb
Vision Algorithms: Theory and Practice: International Workshop on Vision Algorithms Corfu, Greece, September 21-22, 1999 Proceedings (Lecture Notes in Computer Science)Автор: Bill Triggs, Автор: Andrew Zisserman, Автор: Richard Szeliski
Размер книги: 5.89 Mb
Экспертиза дорожно-транспортных происшествий [Учеб. для вузов по спец. "Орг. дор. движения"]Автор: Иларионов, Автор: Виталий АлексеевичКатегория: Автотехническая экспертиза - Учебники и пособия, Дорожно-транспортные происшествия - Расследование - - Учебники и пособия
Размер книги: 11.56 Mb
|
|
|