whowhowho comments on Outside the Laboratory - Less Wrong

63 Post author: Eliezer_Yudkowsky 21 January 2007 03:46AM

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

Comments (336)

Sort By: Old

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

Comment author: whowhowho 31 January 2013 05:20:14PM *  0 points [-]

. Math can make successful predictions, ergo, it's probably true.

So if someone (A) pubishes a proof of theorem T in a maths journal, it isnt actually true until someone else shows that it corresponds to reality in a lab, and publishes that in a science journal?

Or maybe (B) all we need is for some theorems of it to work, in which case we can batrack and suppose the axioms are correct, and then foreward-track to all the theorems derivable from those axioms, which is a much larger set than those known to corresopond to reality?

No one has ever seen an infinite set, ergo, they probably don't exist,

I havent seen e, i, pi or 23 either.