• русский
    • українська
    • English
    • Deutsch
    • español
    • italiano
  • italiano 
    • русский
    • українська
    • English
    • Deutsch
    • español
    • italiano
  • Login
Mostra Item 
  •   DSpace Home
  • Genofond
  • Libgen
  • Mostra Item
  •   DSpace Home
  • Genofond
  • Libgen
  • Mostra Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Теорема Гёделя о неполноте

Thumbnail
Mostra/Apri
e9b92b8c51c1687ef8b59dafbe7c9812.djvu (1.800Mb)
Data
1982
Autore
Успенский В.А.
Metadata
Mostra tutti i dati dell'item
Abstract
Брошюра снабжена шестью приложениями, написанными несколько более сжато, хотя по-прежнему не предполагающими никаких специальных знаний. В первом из них рассматривается вопрос о связи между наличием истинных недоказуемых утверждений и наличием утверждений, не являющихся ни доказуемыми, ни опровержимыми. Во втором доказывается некоторое усиление теоремы Гёделя - теорема Тарского о невыразимости понятия истины. Третье приложение посвящено обоснованию одной из аксиом теории алгоритмов, сформулированных в § 5, а именно, аксиомы арифметичности. С этой целью вводится некоторый конкретный класс алгоритмов - класс адресных программ - и проверяется арифметичность функций, вычисляемых алгоритмами этого класса. В четвертом приложении развитые в § 2 критерии полноты и неполноты применяются к языкам, связанным с так называемыми ассоциативными исчислениями. Пятое приложение посвящено первоначальной формулировке теоремы о неполноте, предложенной самим Гёделем. Шестое приложение содержит упражнения к некоторым из предыдущих разделов. Наконец, последнее приложение содержит ответы и указания к упражнениям. Приложения не зависят друг от друга и могут читаться в любом порядке, за исключением приложения В, отдельные места которого требуют знакомства с введенными в приложении Б понятиями.
URI
http://libarch.nmu.org.ua/handle/GenofondUA/66612
Collections
  • Libgen [81666]

DSpace software copyright © 2002-2016  DuraSpace
Contattaci | Manda Feedback
Theme by 
Atmire NV
 

 

Ricerca

Tutto DSpaceArchivi & CollezioniData di pubblicazioneAutoriTitoliSoggettiQuesta CollezioneData di pubblicazioneAutoriTitoliSoggetti

My Account

LoginRegistrazione

DSpace software copyright © 2002-2016  DuraSpace
Contattaci | Manda Feedback
Theme by 
Atmire NV