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.

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

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