Gödel incompleteness, explicit expressions for complete arithmetic degrees and applications (Q1904898)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Gödel incompleteness, explicit expressions for complete arithmetic degrees and applications |
scientific article; zbMATH DE number 833525
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Gödel incompleteness, explicit expressions for complete arithmetic degrees and applications |
scientific article; zbMATH DE number 833525 |
Statements
Gödel incompleteness, explicit expressions for complete arithmetic degrees and applications (English)
0 references
1 July 1996
0 references
A mix of survey and speculation on matters related to incompleteness and undecidability. The authors wax enthusiastic about their work: ``our technique ... allows us to explore undecidable statements in a Star Trek way where no one has been before''.
0 references
survey
0 references
incompleteness
0 references
undecidability
0 references
