Показать сокращенную информацию
Теорема Гёделя о неполноте
dc.contributor.author | Успенский В.А. | |
dc.date.accessioned | 2016-03-23T22:56:20Z | |
dc.date.available | 2016-03-23T22:56:20Z | |
dc.date.issued | 1982 | |
dc.identifier.isbn | ||
dc.identifier.issn | ||
dc.identifier.uri | http://libarch.nmu.org.ua/handle/GenofondUA/66612 | |
dc.description.abstract | Брошюра снабжена шестью приложениями, написанными несколько более сжато, хотя по-прежнему не предполагающими никаких специальных знаний. В первом из них рассматривается вопрос о связи между наличием истинных недоказуемых утверждений и наличием утверждений, не являющихся ни доказуемыми, ни опровержимыми. Во втором доказывается некоторое усиление теоремы Гёделя - теорема Тарского о невыразимости понятия истины. Третье приложение посвящено обоснованию одной из аксиом теории алгоритмов, сформулированных в § 5, а именно, аксиомы арифметичности. С этой целью вводится некоторый конкретный класс алгоритмов - класс адресных программ - и проверяется арифметичность функций, вычисляемых алгоритмами этого класса. В четвертом приложении развитые в § 2 критерии полноты и неполноты применяются к языкам, связанным с так называемыми ассоциативными исчислениями. Пятое приложение посвящено первоначальной формулировке теоремы о неполноте, предложенной самим Гёделем. Шестое приложение содержит упражнения к некоторым из предыдущих разделов. Наконец, последнее приложение содержит ответы и указания к упражнениям. Приложения не зависят друг от друга и могут читаться в любом порядке, за исключением приложения В, отдельные места которого требуют знакомства с введенными в приложении Б понятиями. | |
dc.language.iso | Russian | |
dc.publisher | Наука | |
dc.subject | Математика\\Математическая логика | |
dc.subject | Mathematics\\Logic | |
dc.subject.ddc | ||
dc.subject.lcc | ||
dc.title | Теорема Гёделя о неполноте | |
dc.type | other | |
dc.identifier.aich | ZKY6BZE35OCLMWSTMSTE5F3O6PNBHA5L | |
dc.identifier.crc32 | 91211688 | |
dc.identifier.doi | ||
dc.identifier.edonkey | 97EE98473FBD978135B59B6FF1931A0F | |
dc.identifier.googlebookid | ||
dc.identifier.openlibraryid | ||
dc.identifier.udk | ||
dc.identifier.bbk | ||
dc.identifier.libgenid | 11166 | |
dc.identifier.md5 | E9B92B8C51C1687EF8B59DAFBE7C9812 | |
dc.identifier.sha1 | KSPXOUKHV7MLXCYV6BS57ZOF3SYEMY6R | |
dc.identifier.tth | CMX4ORJTKQOHATFVJZH2TI7NCT7CIKSRESMK4TA |
Файлы в этом документе
Данный элемент включен в следующие коллекции
-
Libgen [81666]