A simpler proof and a refining of Gödel's second incompleteness theorem
File | Description | Size | Format | |
---|---|---|---|---|
00010138.pdf | 191.7 kB | Adobe PDF | View/Open |
Authors: | Deutsch, Michael | Keywords: | Gödel; Unvollständigkeitstheorem; Gödelscher Unvollständigkeitssatz; Gödel's second incompleteness theorem | Issue Date: | 2007 | Pages: | 6 | Type: | Artikel/Aufsatz | Secondary publication: | no | URN: | urn:nbn:de:gbv:46-ep000101386 | Institution: | Universität Bremen | Faculty: | Fachbereich 03: Mathematik/Informatik (FB 03) |
Appears in Collections: | Forschungsdokumente |
Page view(s)
137
checked on Apr 18, 2024
Download(s)
38
checked on Apr 18, 2024
Google ScholarTM
Check
Items in Media are protected by copyright, with all rights reserved, unless otherwise indicated.