Intuitionism As Generalization
From MaRDI portal
Publication:3202987
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)