The following pages link to Brouwer's constructivism (Q1220903):
Displaying 5 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)
- Reference and perspective in intuitionistic logics (Q1006455) (← links)
- Logic, ontology, mathematical practice (Q1202496) (← links)
- The theory of empirical sequences (Q1257482) (← links)
- On brouwer's definition of unextendable order (Q3666843) (← links)
