endoself comments on the Universe, Computability, and the Singularity - Less Wrong

-4 Post author: mwengler 05 January 2011 05:19PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (8)

You are viewing a single comment's thread.

Comment author: endoself 05 January 2011 06:29:33PM 1 point [-]

There is a whole field of hypercomputation. Obviously any Turing-computable program can be run by a Turing-complete computer and a hypercomputable program can be run by a hypercomputer of the same place in the arithmetical hierarchy. The Church-Turing thesis can be expressed as stating that the universe is Turing-computable, which is a question about the universe, not just about computation. You may also be interested in Banana Scheme, which provides an short introduction to hypercomputation.

Comment deleted 05 January 2011 09:27:20PM [-]
Comment author: endoself 05 January 2011 09:33:07PM 0 points [-]

What are you referring to?

Comment author: mwengler 05 January 2011 09:49:59PM 0 points [-]

Sorry that was a reply to the comment above accidentally hit the wrong "Reply" button. The comment was flippant anyway I've removed it.