Vladimir_Nesov comments on Counterfactual Mugging and Logical Uncertainty - 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 (19)
Could you be more explicit about the intention of the question?
Omega's surgery doesn't introduce contradictions in your code: it doesn't (say) make Pi(10000) evaluate to 7, it just replaces Pi(10000) in the code with 7, which gives perfectly good code, just different from the original.