Re:Superintelligence cannot be contained: Lessons from Compu...
by adrianN on Tuesday January 12, 2021 @05:25AM
(#25744824)
The paper includes quantum computers, it does not include computers that exploit CTCs or similar things whose existence we can only speculate upon. Note however that CTCs don't give you hypercomputation.
Do you have a link discussing physical models for hypercomputers?
Re:Superintelligence cannot be contained: Lessons from Compu...
by jonathanstrange on Tuesday January 12, 2021 @07:40AM
(#25746036)
Most papers criticize the idea and describe physical limits. I don't remember which one on the physical possibility of hypercomputation I read (a long time ago), but there are some papers such as the following:
https://oronshagrir.huji.ac.il/sites/default/files/oronshagr...
https://link.springer.com/article/10.1007/s11047-009-9114-3
https://sci-hub.do/10.1142/S0129626412400105
An overview is in A. Syropoulos: Hypercomputation: Computing Beyond the Church-Turing Barrier. Springer 2008, chapters 8-9.
Gotta love the subsection headline in the third paper mentioned above: "A CTC Based Relativistic Hypercomputer That Actually Works Without Problems." ;-)
Although I personally believe hypercomputers are not physically possible, I'm not aware of any general proof that they are physically impossible. I've seen papers that suggest physical models for hypercomputers. Notice that there is a hierarchy of hypercomputers of varying powers and some of them can solve the Halting Problem.