torekp comments on Journal of Consciousness Studies issue on the Singularity - Less Wrong

14 Post author: lukeprog 02 March 2012 03:56PM

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

Comments (85)

You are viewing a single comment's thread. Show more comments above.

Comment author: torekp 04 March 2012 08:40:50PM 0 points [-]

Not to rescue Tipler, but:

After all, what is a computer program but a series of imperative sentences?

A map from range to domain, a proof in propositional logic, or a series of lambda equations and reductions all come to mind...

None of these possibilities seem to exclude being also a series of imperative sentences.

Comment author: gwern 05 March 2012 03:08:25AM 0 points [-]

In much the same way rhetorically asking 'After all, what is a computer program but a proof in an intuitionistic logic?' doesn't rule out 'a series of imperative sentences'.