Intuitionism As Generalization

DOI10.1093/PHILMAT/S2-5.1-2.124MaRDI QIDQ3202987zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 1015088
• scientific article; zbMATH DE number 2101972
• scientific article; zbMATH DE number 3557754
• Intuitionism and formalism
• Intuitionism and relevance
• Intuitionism and logical tolerance
• scientific article; zbMATH DE number 1199707
• scientific article; zbMATH DE number 1252394
• scientific article; zbMATH DE number 1032006

Cited in

(14)

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

This page was built for publication: Intuitionism As Generalization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3202987)