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 23 items.
- Bridging the gap between analytic and synthetic geometry: Hilbert's axiomatic approach (Q514037) (← links)
- Hilbert, logicism, and mathematical existence (Q1036075) (← links)
- Hilbert's logic. From axiomatics to proof theory (Q1267397) (← 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)
- Heinrich Behmann's 1921 lecture on the decision problem and the algebra of logic (Q2795296) (← links)
- Hilbert, Zermelo und die Institutionalisierung der mathematischen Logik in Deutschland (Q4013227) (← 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)
- Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic (Q4940735) (← 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)
- Book review of: W. Ewald (ed.) and W. Sieg (ed.), David Hilbert's lectures on the foundations of arithmetic and logic, 1917--1933. (Q5962970) (← links)
- GÖDEL ON MANY-VALUED LOGIC (Q6074936) (← links)
