The following pages link to (Q3998865):
Displaying 16 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)
- Intuitionistic completeness of first-order logic (Q392280) (← links)
- The relativity and universality of logic (Q514548) (← links)
- Laplace's demon consults an oracle: the computational complexity of prediction (Q639767) (← links)
- The rejected parts of Brouwer's dissertation on the foundations of mathematics (Q1135827) (← links)
- The first axiomatization of relevant logic (Q1206805) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- To be or not to be constructive, that is not the question (Q1688964) (← links)
- Preface: L. E. J. Brouwer, fifty years later [Preface to the virtual special issue] (Q1740609) (← links)
- L. E. J. Brouwer: Toward intuitionistic logic (Q1899011) (← links)
- Peano's axioms in their historical context (Q1899316) (← links)
- Brouwer's intuitionism vis à vis Kant's intuition and imagination (Q2268038) (← links)
- Hilbert and Einstein (Q3120446) (← links)
- A constructive proof of the Heine-Borel covering theorem for formal reals (Q4647570) (← links)
- Shaping the Enemy: Foundational Labelling by L.E.J. Brouwer and A. Heyting (Q5208120) (← links)
- Computable analysis with applications to dynamic systems (Q5220187) (← links)