private_messaging comments on The Dilemma: Science or Bayes? - 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 (185)
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.