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.

jswan comments on [LINK] David Deutsch on why we don't have AGI yet "Creative Blocks" - Less Wrong Discussion

2 Post author: harshhpareek 17 December 2013 07:03AM

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

Comments (37)

You are viewing a single comment's thread.

Comment author: jswan 29 December 2013 01:17:33AM 0 points [-]

Deutsch claims in the article to have proved that any physical process can in principle be emulated at arbitrarily fine detail by a universal quantum Turing machine. Is this proof widely accepted? I tried to read the paper, but the math is beyond me. I've found relatively little discussion of it elsewhere, and most of it critical.

Comment author: arundelo 29 December 2013 02:35:12AM -1 points [-]

I'd say this falls under the Church-Turing thesis.

Comment author: jswan 29 December 2013 04:03:48AM 0 points [-]

In his 1985 paper he seems to be arguing that he uniquely extends the Church-Turing thesis.