gRR comments on Logical Uncertainty as Probability - Less Wrong

3 Post author: gRR 29 April 2012 10:26PM

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

Comments (22)

You are viewing a single comment's thread. Show more comments above.

Comment author: gRR 30 April 2012 11:13:34AM *  0 points [-]

No, a statement and its negation are distinguishable, unless indeed you maliciously hide them under quantifiers and throw away the intermediate proof steps.