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

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. Show more comments above.

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.