Eliezer_Yudkowsky comments on Permitted Possibilities, & Locality - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (21)
There are plenty of things you can prove about specific, chosen computations. You just can't prove them about arbitrary computations.