How to acknowledge hypercomputation?
Alexander Leitsch, Guenter Schachner, Karl Svozil
TL;DR
This paper explores how to empirically determine whether a hypercomputer outperforms traditional computational models through operational validation methods.
Contribution
It introduces a framework for assessing hypercomputers' performance relative to established computational models.
Findings
Proposes criteria for hypercomputer validation
Highlights challenges in experimental verification
Suggests future research directions
Abstract
We discuss the question of how to operationally validate whether or not a "hypercomputer" performs better than the known discrete computational 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 · Machine Learning and Algorithms · Algorithms and Data Compression