Intuitionistic mathematics and realizability in the physical world
From MaRDI portal
Publication:4907917
DOI10.1142/9789814374309_0008zbMATH Open1257.03014OpenAlexW2477457213MaRDI QIDQ4907917FDOQ4907917
Authors: Andrej Bauer
Publication date: 26 February 2013
Published in: A Computable Universe (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/0a5a3816bedb475aa0d807e95d9f4c4003a30fc7
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
Philosophical and critical aspects of logic and foundations (03A05) Intuitionistic mathematics (03F55) General topics in the theory of computing (68Q01)
Cited In (7)
- Maximal ideals in countable rings, constructively
- Mass problems and intuitionism
- Effectively closed mass problems and intuitionism
- Variations on a thesis: intuitionism and computability
- Opening logic to the world. Philosophy and mathematics of interaction
- Indeterminism in physics and intuitionistic mathematics
- Pure mathematics and physical reality (continuity and computability)
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)