Eliezer_Yudkowsky comments on Permitted Possibilities, & Locality
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You'll need to login or register to do that
(Don't worry, it only takes a few seconds)
Create a new account
All it takes is a username and password
Comments (18)
There are plenty of things you can prove about specific, chosen computations. You just can't prove them about arbitrary computations.