The following pages link to (Q4910498):
Displayed 12 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)
- Gödel's reception of Turing's model of computability: the ''shift of perception'' in 1934 (Q2011634) (← links)
- ``Gaisi Takeuti's finitist standpoint'' and its mathematical embodiment (Q2097064) (← links)
- Book review of: R. Kahle (ed.) and M. Rathjen (ed.), Gentzen's centenary. The quest for consistency (Q2409191) (← links)
- NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF (Q5001547) (← links)
- The Semantic Function of the Axiomatic Method (Q5057050) (← links)
- Hilbert’s sixth problem: between the foundations of geometry and the axiomatization of physics (Q5154189) (← links)
- Kalmár's Argument Against the Plausibility of Church's Thesis (Q5207922) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- On the mathematical and foundational significance of the uncountable (Q5223120) (← links)
- A competent translation/a pitiful bungle: \textit{The foundations of geometry} (Q6169275) (← links)
- Platonism and the Proto-ontology of Mathematics: Learning from the Axiom of Choice (Q6192559) (← links)