scientific article; zbMATH DE number 3057484
From MaRDI portal
zbMath0038.03101MaRDI QIDQ5796642
Publication date: 1950
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Propositional Calculus and Realizability, On constructivity and the Rosser property: a closer look at some Gödelean proofs, HOW MUCH PROPOSITIONAL LOGIC SUFFICES FOR ROSSER’S ESSENTIAL UNDECIDABILITY THEOREM?, Tarski's theory of definability: Common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic, Hierarchies of number-theoretic predicates, Hyperarithmetical Sets, Snakes and Cellular Automata: Reductions and Inseparability Results, The scope of Gödel's first incompleteness theorem, Undecidability of equality for codata types, CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS, GÖDEL’S SECOND INCOMPLETENESS THEOREM: HOW IT IS DERIVED AND WHAT IT DELIVERS
