Hilbert's Programs: 1917–1922
From MaRDI portal
Publication:4254642
DOI10.2307/421139zbMath0924.03002OpenAlexW1990768363MaRDI QIDQ4254642
Publication date: 12 September 1999
Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0501-toc.htm
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)
Related Items
THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME, Hilbert’s Axiomatisches Denken, On A. Ya. Khinchin's paper `Ideas of intuitionism and the struggle for a subject matter in contemporary mathematics' (1926): a translation with introduction and commentary, Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006, Different senses of finitude: an inquiry into Hilbert's finitism, The concept of computability, TWO (OR THREE) NOTIONS OF FINITISM, Deflationary truth and the ontology of expressions, The Ways of Hilbert's Axiomatics: Structural and Formal, The habilitation of John von Neumann at Friedrich-Wilhelms-Universität in Berlin: judgements on a Hungarian-Jewish mathematician in the Germany of 1927, 1999 Spring Meeting of the Association for Symbolic Logic, Predicativity and Feferman, Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic, Deflationism beyond arithmetic, Hilbert, logicism, and mathematical existence, Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections, In the Footsteps of Hilbert: The Andréka-Németi Group’s Logical Foundations of Theories in Physics, Poincaré in Göttingen, Conceptions of Infinity and Set in Lorenzen’s Operationist System, Problems and riddles: Hilbert and the du Bois-Reymonds, Dedekind's analysis of number: Systems and axioms
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Foundations for analysis and proof theory
- Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
- Hilbert's logic. From axiomatics to proof theory
- Hilbert's program sixty years later
- Hilbert's program relativized; Proof-theoretical and foundational reductions
- Logic in the twenties: the nature of the quantifier
- Hermann Weyl's Intuitionistic Mathematics
- Grundlagen der Mathematik I
