soreff comments on Rationality Quotes September 2014 - 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 (379)
Was the context one where Waterhouse was proving a conditional, "if axioms A, B, C, then theorem Z", or one where where he was trying to establish Z as a truth about the world, and therefore also had the burden of showing that axioms A, B, C were supported by experimental evidence?
Neither! The statement he is 'awfully sure of' is a probalistic conclusion he has derived from experimental evidence via Bayesian reasoning on the world's first programmable computer. Specifically, that statement is this:
Part of the argument used to convince Comstock: