Gödel incompleteness, explicit expressions for complete arithmetic degrees and applications (Q1904898)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Gödel incompleteness, explicit expressions for complete arithmetic degrees and applications |
scientific article |
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
