Intuitionistic mathematics and realizability in the physical world

DOI10.1142/9789814374309_0008MaRDI QIDQ4907917zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Intuitionistic mathematics (03F55) General topics in the theory of computing (68Q01)

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

(9)

• Variations on a thesis: intuitionism and computability
• Maximal ideals in countable rings, constructively
• Opening logic to the world. Philosophy and mathematics of interaction
• Effectively closed mass problems and intuitionism
• scientific article; zbMATH DE number 1231513 (Why is no real title available?)
• Indeterminism in physics and intuitionistic mathematics
• Groupoidal realizability for intensional type theory
• Mass problems and intuitionism
• 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)