The following pages link to (Q4101779):
Displayed 11 items.
- Local axioms in disguise: Hilbert on Minkowski diagrams (Q375285) (← links)
- Foundations for analysis and proof theory (Q798634) (← links)
- Hilbert, logicism, and mathematical existence (Q1036075) (← links)
- From constructivism to computer science (Q1274450) (← links)
- Philosophical prints in history and didactics of mathematics. (Q1312700) (← links)
- Is there a ``Hilbert thesis''? (Q2631647) (← links)
- 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05 (Q3430941) (← links)
- Hilbert's Programs: 1917–1922 (Q4254642) (← links)
- Extensions of the Finitist Point of View (Q4706119) (← links)
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS (Q5117593) (← links)
- Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections (Q5253927) (← links)