Proposing new axiom: proof by 20 examples.

๐ŸŽ™๏ธ deathbutton1 ยท 45 points ยท Posted at 14:04:53 on October 5, 2017 ยท (Permalink)


If a prop is true for 20 different inputs, it has a p value of 0.05, so it is true enough for scientists, so it must be true.

This can be used to prove really useful theorems, such as all naturals are less than 21, False, and all propositions.

Qed.

TheKing01 ยท 7 points ยท Posted at 16:19:33 on October 7, 2017 ยท (Permalink)

Godel would be proud.

Also, it should be 20 random values. Don't worry though, math will still be perfectly repeatable.

Prunestand ยท 1 points ยท Posted at 17:28:36 on December 16, 2017 ยท (Permalink)

Found the engineer.