The following pages link to Hilbert's Programs: 1917–1922 (Q4254642):
Displayed 6 items.
- 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 concept of computability (Q1434377) (← links)
- Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic (Q4706120) (← links)
- 1999 Spring Meeting of the Association for Symbolic Logic (Q4946842) (← links)