Will_Sawin comments on Controlling Constant Programs - Less Wrong

25 Post author: Vladimir_Nesov 05 September 2010 01:45PM

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

Comments (33)

You are viewing a single comment's thread.

Comment author: Will_Sawin 05 September 2010 08:49:17PM 1 point [-]

This looks right to me. It mimics the reason humans don't explode when they try to cross the street. Brilliant.

It seems the most pressing question is how to deal with complicated worlds about which certain proofs cannot be made in reasonable time. A proof system for uncertain proofs, I suppose.