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)
138
checked on Apr 20, 2024
Download(s)
38
checked on Apr 20, 2024
Google ScholarTM
Check
Items in Media are protected by copyright, with all rights reserved, unless otherwise indicated.