Pages that link to "Item:Q3445908"
From MaRDI portal
The following pages link to David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933 (Q3445908):
Displaying 17 items.
- Bridging the gap between analytic and synthetic geometry: Hilbert's axiomatic approach (Q514037) (← links)
- Intuitionism and effective descriptive set theory (Q1688967) (← links)
- David Hilbert and the foundations of the theory of plane area (Q2052227) (← links)
- Completeness: from Husserl to Carnap (Q2169125) (← links)
- Book review of: R. Kahle (ed.) and M. Rathjen (ed.), Gentzen's centenary. The quest for consistency (Q2409191) (← links)
- Metric Geometries in an Axiomatic Perspective (Q4607237) (← links)
- NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM (Q4632541) (← links)
- HILBERT, DUALITY, AND THE GEOMETRICAL ROOTS OF MODEL THEORY (Q4637948) (← links)
- NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF (Q5001547) (← links)
- A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH (Q5046601) (← links)
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS (Q5117593) (← links)
- Hilbert’s sixth problem: between the foundations of geometry and the axiomatization of physics (Q5154189) (← links)
- Husserl's Logical Grammar (Q5208099) (← links)
- Predicativity and Feferman (Q5214793) (← links)
- Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections (Q5253927) (← links)
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882) (← links)
- GÖDEL ON MANY-VALUED LOGIC (Q6074936) (← links)
