Publication:4793429
From MaRDI portal
zbMath1015.03004MaRDI QIDQ4793429
Publication date: 31 July 2003
Hilbert; set theory; logicism; constructivism; history of proof theory; finitist proof theory; origin of finitism
01A60: History of mathematics in the 20th century
03A05: Philosophical and critical aspects of logic and foundations
03-03: History of mathematical logic and foundations
03F03: Proof theory in general (including proof-theoretic semantics)
Related Items
The habilitation of John von Neumann at Friedrich-Wilhelms-Universität in Berlin: judgements on a Hungarian-Jewish mathematician in the Germany of 1927, Logic as calculus versus logic as language, language as calculus versus language as universal medium, and syntax versus semantics