Extensions of some theorems of Gödel and Church
E2244906
UNEXPLORED
"Extensions of some theorems of Gödel and Church" is a 1936 paper by J. Barkley Rosser that refines and generalizes Gödel’s incompleteness theorems and Church’s results on undecidability, introducing what is now known as the Rosser sentence.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Extensions of some theorems of Gödel and Church canonical | 1 |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.