What Makes a Computation Unconventional?
S. Barry Cooper

TL;DR
This paper provides a comprehensive mathematical framework for understanding computation and its extensions, facilitating analysis of embodied computation and diverse models within a unified conceptual structure.
Contribution
It introduces a coherent mathematical overview that encompasses traditional and unconventional computation models, enabling better analysis of embodied and extended computation.
Findings
Framework unifies various computation models
Supports analysis of embodied computation
Facilitates exploration of unconventional computation
Abstract
A coherent mathematical overview of computation and its generalisations is described. This conceptual framework is sufficient to comfortably host a wide range of contemporary thinking on embodied computation and its models.
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
