private_messaging comments on The Dilemma: Science or Bayes? - Less Wrong

19 Post author: Eliezer_Yudkowsky 13 May 2008 08:16AM

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

Comments (185)

Sort By: Old

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

Comment author: private_messaging 18 April 2013 05:00:07AM 2 points [-]

That is evidence that a weaker conjecture (e.g. that the conjecture holds over some very huge range of numbers) is true.

And the proof verification can be seen as an empirical process. In fact it should be, given that proof verification is an experiment run on a physical machine which has limited reliability and a probability of error.