scientific article; zbMATH DE number 1867335
From MaRDI portal
Publication:4793429
zbMath1015.03004MaRDI QIDQ4793429
Publication date: 31 July 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hilbertset theorylogicismconstructivismhistory of proof theoryfinitist proof theoryorigin of finitism
History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items
Logic as calculus versus logic as language, language as calculus versus language as universal medium, and syntax versus semantics ⋮ The habilitation of John von Neumann at Friedrich-Wilhelms-Universität in Berlin: judgements on a Hungarian-Jewish mathematician in the Germany of 1927