TL;DR
This paper discusses the Independence Postulate, a thesis linking mathematical and physical sequences, and explores its implication that anomalies must exist.
Contribution
It introduces the Independence Postulate as a finitary Church-Turing Thesis and analyzes its implication for the existence of anomalies.
Findings
IP implies the existence of anomalies
Mathematical sequences are independent from physical ones
Supports the plausibility of anomalies in physical systems
Abstract
The Independence Postulate (IP) is a finitary Church-Turing Thesis, saying mathematical sequences are independent from physical ones. IP implies the existence of anomalies.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsComputability, Logic, AI Algorithms