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