No label defined (Q3998241)
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: scientific article |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
17 September 1992
0 references
completeness of a theory
0 references
Gödel's incompleteness theorems
0 references
decidability of theories
0 references
recursive functions
0 references
Turing machines
0 references
Markov algorithms
0 references
arithmetical hierarchy
0 references
Church's thesis
0 references
Peano arithmetic
0 references
Gödel's arithmetization
0 references
Rosser's theorem
0 references
undecidability
0 references
philosophical and methodological consequences of Gödel's theorems
0 references
