Elcyc comments on Yes, Virginia, You Can Be 99.99% (Or More!) Certain That 53 Is Prime - Less Wrong

38 Post author: ChrisHallquist 07 November 2013 07:45AM

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

Comments (68)

You are viewing a single comment's thread.

Comment author: Elcyc 14 November 2013 05:41:07PM *  0 points [-]

I feel that the sentence

Suppose you say that you're 99.99% confident that 2 + 2 = 4. Then you have just asserted that you could make 10,000 independent statements, in which you repose equal confidence, and be wrong, on average, around once.

is a little questionable to begin with. What exactly is an "independent" statement in this context? The only way to produce a statement about whether 2 + 2 = 4 holds, is to write a proof that it holds (or doesn't hold). But in a meaningful mathematical system you can't have two independent proofs for the same statement. Two proofs for the same thing are either both right or both wrong, or they aren't proofs in the first place.