Intuitionism As Generalization

DOI10.1093/philmat/s2-5.1-2.124zbMath0716.03001OpenAlexW2794059648MaRDI QIDQ3202987

Fred Richman

Publication date: 1990

Published in: Philosophia Mathematica (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/9935a1c213748f2ad6233b5fe0a5f6c989b2f8ba

zbMATH Keywords

constructivism

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Metamathematics of constructive systems (03F50)

Related Items (12)

Ideals in constructive Banach algebra theory ⋮ Five stages of accepting constructive mathematics ⋮ Unique existence, approximate solutions, and countable choice. ⋮ Pluralism and proofs ⋮ Kronecker's density theorem and irrational numbers in constructive reverse mathematics ⋮ Algorithmic foundations of computable general equilibrium theory ⋮ Reverse formalism 16 ⋮ Can constructive mathematics be applied in physics? ⋮ Constructive mathematics: a foundation for computable analysis ⋮ Problems, solutions, and completions ⋮ Constructing extensions of ultraweakly continuous linear functionals ⋮ The Kripke schema in metric topology

This page was built for publication: Intuitionism As Generalization