You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

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

-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.