Pure mathematics and physical reality (continuity and computability)

DOI10.1007/S10958-007-0368-YzbMATH Open1154.03319OpenAlexW2057957846MaRDI QIDQ950774FDOQ950774

Authors Jan Mycielski 

Publication date 28 October 2008

Published in Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10958-007-0368-y

Mathematics Subject Classification ID

Physics (00A79) Constructive and recursive analysis (03F60)

• Intuitionistic mathematics and realizability in the physical world
• The physical Church-Turing thesis and non-deterministic computation over the real numbers
• Publication:4934288
• Reality and Truth in Mathematics
• A new approach to computability over the reals

• scientific article; zbMATH DE number 42077 (Why is no real title available?)
• scientific article; zbMATH DE number 702561 (Why is no real title available?)
• scientific article; zbMATH DE number 1099350 (Why is no real title available?)
• scientific article; zbMATH DE number 2152250 (Why is no real title available?)
• scientific article; zbMATH DE number 1390023 (Why is no real title available?)
• A Learning Theorem for Linear Operators
• A model of the neocortex
• Can mathematics explain natural intelligence?
• OPTIMAL PROOFS OF DETERMINACY II
• On the tension between Tarski's nominalism and his model theory (definitions for a mathematical model of knowledge)
• Open sets of diffeomorphisms having two attractors, each with an everywhere dense basin
• Optimal Proofs of Determinacy
• What Is a Random Sequence?

Cited In (5)

• Title not available (Why is no real title available?)
• Computing the appearance of physical reality
• Intuitionistic mathematics and realizability in the physical world
• A computational meta-model of the reality and the problem of truth
• A potential generalization of classical mathematics

This page was built for publication: Pure mathematics and physical reality (continuity and computability)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q950774)