Brouwer's constructivism

DOI10.1007/BF00660893zbMath0315.02011MaRDI QIDQ1220903

Carl J. Posy

Publication date: 1974

Published in: Synthese (Search for Journal in Brave)

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Intuitionistic mathematics (03F55)

Related Items (5)

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 ⋮ Logic, ontology, mathematical practice ⋮ Reference and perspective in intuitionistic logics ⋮ The theory of empirical sequences ⋮ On brouwer's definition of unextendable order

Cites Work

• Varieties of indeterminacy in the theory of general choice sequences
• The theory of empirical sequences
• Informal theory of choice sequences
• Epistemology Without Knowledge and Without Belief
• Formalized recursive functionals and formalized realizability
• Formal systems for some branches of intuitionistic analysis
• Points and Spaces
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Brouwer's constructivism