The following pages link to Hilbert's Programs: 1917–1922 (Q4254642):
Displaying 25 items.
- 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 (Q346664) (← links)
- Different senses of finitude: an inquiry into Hilbert's finitism (Q375340) (← links)
- Deflationary truth and the ontology of expressions (Q513895) (← links)
- Problems and riddles: Hilbert and the du Bois-Reymonds (Q813416) (← links)
- Dedekind's analysis of number: Systems and axioms (Q813419) (← links)
- Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006 (Q873911) (← links)
- The habilitation of John von Neumann at Friedrich-Wilhelms-Universität in Berlin: judgements on a Hungarian-Jewish mathematician in the Germany of 1927 (Q973454) (← links)
- Hilbert, logicism, and mathematical existence (Q1036075) (← links)
- The concept of computability (Q1434377) (← links)
- Deflationism beyond arithmetic (Q2052155) (← links)
- TWO (OR THREE) NOTIONS OF FINITISM (Q3550708) (← links)
- (Q4014778) (← links)
- Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic (Q4706120) (← links)
- Between Russell and Hilbert: Behmann on the Foundations of Mathematics (Q4940734) (← links)
- 1999 Spring Meeting of the Association for Symbolic Logic (Q4946842) (← links)
- In the Footsteps of Hilbert: The Andréka-Németi Group’s Logical Foundations of Theories in Physics (Q5015981) (← links)
- Conceptions of Infinity and Set in Lorenzen’s Operationist System (Q5024723) (← links)
- THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME (Q5044312) (← links)
- Hilbert’s Axiomatisches Denken (Q5057047) (← links)
- The Ways of Hilbert's Axiomatics: Structural and Formal (Q5169378) (← links)
- Predicativity and Feferman (Q5214793) (← links)
- Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections (Q5253927) (← links)
- Poincaré in Göttingen (Q5265027) (← links)
- Theoretical computer science: computability, decidability and logic (Q6602262) (← links)
- Towards a new philosophical perspective on Hermann Weyl's turn to intuitionism (Q6653591) (← links)
