Intuitionism As Generalization
From MaRDI portal
Publication:3202987
DOI10.1093/PHILMAT/S2-5.1-2.124zbMATH Open0716.03001OpenAlexW2794059648MaRDI QIDQ3202987FDOQ3202987
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
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
Philosophical and critical aspects of logic and foundations (03A05) Metamathematics of constructive systems (03F50)
Cited In (14)
- The priority of arithmetical truth over arithmetical provability
- Kronecker's density theorem and irrational numbers in constructive reverse mathematics
- Constructive mathematics: a foundation for computable analysis
- Algorithmic foundations of computable general equilibrium theory
- Ideals in constructive Banach algebra theory
- Five stages of accepting constructive mathematics
- Reverse formalism 16
- Unique existence, approximate solutions, and countable choice.
- Pluralism and proofs
- Problems, solutions, and completions
- Can constructive mathematics be applied in physics?
- Constructing extensions of ultraweakly continuous linear functionals
- The Kripke schema in metric topology
- Intersubstitutivity principles and the generalization function of truth
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)
