Intuitionistic mathematics and realizability in the physical world
From MaRDI portal
Publication:4907917
Recommendations
- Variations on a thesis: intuitionism and computability
- Pure mathematics and physical reality (continuity and computability)
- scientific article; zbMATH DE number 1231513
- On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions
- scientific article; zbMATH DE number 4031682
Cited in
(7)- Opening logic to the world. Philosophy and mathematics of interaction
- Pure mathematics and physical reality (continuity and computability)
- Effectively closed mass problems and intuitionism
- Mass problems and intuitionism
- Indeterminism in physics and intuitionistic mathematics
- Variations on a thesis: intuitionism and computability
- Maximal ideals in countable rings, constructively
This page was built for publication: Intuitionistic mathematics and realizability in the physical world
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4907917)