scientific article; zbMATH DE number 2198106

zbMath1081.03002MaRDI QIDQ5466245

Torkel Franzén

Publication date: 24 August 2005

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

consistencydecidabilityformal systemGödel incompleteness theorem

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Related Items (13)

Logic of negation-complete interactive proofs (formal theory of epistemic deciders) ⋮ Proof Theory in Philosophy of Mathematics ⋮ A mechanised proof of Gödel's incompleteness theorems using Nominal Isabelle ⋮ Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006 ⋮ A MACHINE-ASSISTED PROOF OF GÖDEL’S INCOMPLETENESS THEOREMS FOR THE THEORY OF HEREDITARILY FINITE SETS ⋮ Finitely axiomatized theories lack self‐comprehension ⋮ Book review of: M. Baaz (ed.) et al., Kurt Gödel and the foundations of mathematics. Horizons of truth ⋮ Revisiting Chaitin's incompleteness theorem ⋮ The scope of Gödel's first incompleteness theorem ⋮ On explicating the concept `the power of an arithmetical theory' ⋮ Unnamed Item ⋮ Gödel's second theorem and the provability of God's existence ⋮ Democracy, the theory of voting, and mathematics: a review of Andrank Tangian's `Mathematical theory of democracy'

This page was built for publication: