
TL;DR
This paper explores computational systems that can perform non-Turing computable functions through environmental interaction, challenging traditional notions of computation confined to isolated Turing machines.
Contribution
It introduces a framework for understanding how interactive systems can compute functions beyond classical Turing limits.
Findings
Interactive systems can compute non-Turing functions.
Environmental interaction enables computation beyond traditional models.
Challenges the classical boundaries of computability.
Abstract
This paper discusses "computational" systems capable of "computing" functions not computable by predefined Turing machines if the systems are not isolated from their environment. Roughly speaking, these systems can change their finite descriptions by interacting with their environment.
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 · Logic, programming, and type systems · Logic, Reasoning, and Knowledge
