scientific article; zbMATH DE number 5021883
From MaRDI portal
zbMath1094.03001MaRDI QIDQ5290924
Publication date: 4 May 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophy of mathematics (00A30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Proof theory and constructive mathematics (03Fxx)
Related Items
Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006, Local collection and end-extensions of models of compositional truth, Slow reflection, The paradox of the knower revisited, The metamathematics of Putnam's model-theoretic arguments, The consistency of arithmetic, Revisiting Chaitin's incompleteness theorem, Prime simplicity, Transfinite Progressions: A Second Look at Completeness, CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS
