Extensions of some theorems of Gödel and Church. (Q5923682)
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: Extensions of some theorems of Gödel and Church. |
scientific article; zbMATH DE number 2528672
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Extensions of some theorems of Gödel and Church. |
scientific article; zbMATH DE number 2528672 |
Statements
Extensions of some theorems of Gödel and Church. (English)
0 references
1936
0 references
\textit{Gödel} (Mh. Math. Phys. 38 (1931), 173-198; F.~d.~M. 57\(_{\text{I}}\), 54) zeigte, daß \(\omega\)-Widerspruchsfreiheit einer Logik von genügender Anwendungsfähigkeit die Existenz von formal unentscheidbaren Sätzen nach sich zieht, \textit{Church} (Amer. J. Math. 58 (1936), 345-363; F.~d.~M. 62\(_{\text{I}}\), 46), daß die \(\omega\)-Widerspruchsfreiheit das Nichtvorhandensein eines allgemeinen Entscheidungsverfahrens zur Folge hat. Verf. gelingt es, die beiden Resultate auch auf einfache Widerspruchsfreiheit auszudehnen.
0 references
