Накупить товаров
в интернет-магазине!
в интернет-магазине!
| Главная | Каталог |
» Каталог
» Книги » Технические и естественные науки » Естественные науки » Физико-математические науки » Математика
Каталог товаров:
 |
Теорема Геделя о неполноте. В.А. Успенский490 руб
В первом из них рассматривается вопрос о связи между наличием истинных недоказуемых утверждений и наличием утверждений, не являющихся ни доказуемыми, ни опровержимыми. Брошюра снабжена шестью приложениями, написанными несколько более сжато, хотя по-прежнему не предполагающими никаких специальных знаний. Третье приложение посвящено обоснованию одной из аксиом теории алгоритмов, сформулированных в . 5, а именно, аксиомы арифметичности. Во втором доказывается некоторое усиление теоремы Гёделя — теорема Тарского о невыразимости понятия истины. В четвертом приложении развитые в . 2 критерии полноты и неполноты применяются к языкам, связанным с так называемыми ассоциативными исчислениями. С этой целью вводится некоторый конкретный класс алгоритмов — класс адресных программ — и проверяется арифметичность функций, вычисляемых алгоритмами этого класса. Шестое приложение содержит упражнения к некоторым из предыдущих разделов. Пятое приложение посвящено первоначальной формулировке теоремы о неполноте, предложенной самим Гёделем. Приложения не зависят друг от друга и могут читаться в любом порядке, за исключением приложения В, отдельные места которого требуют знакомства с введенными в приложении Б понятиями. Наконец, последнее приложение содержит ответы и указания к упражнениям. 2012. Воспроизведено в оригинальной авторской орфографии издания 1982 года (издательство "Наука"). |