scientific article
From MaRDI portal
Publication:2856483
zbMath1288.03003MaRDI QIDQ2856483
Publication date: 29 October 2013
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability (number-theoretic aspects) (11U05) Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Development of contemporary mathematics (01A65) Decidability of theories and sets of sentences (03B25) Methodology of mathematics (00A35) History of mathematical logic and foundations (03-03) Gödel numberings and issues of incompleteness (03F40)
Related Items (3)
Set theory and the analyst ⋮ The scope of Gödel's first incompleteness theorem ⋮ Grothendieck’s Unifying Vision of Geometry
This page was built for publication:
