I was reading through some of James Franklin’s papers on logical probability in an effort to not embarrass myself when I make my speech at the Broken Science Initiative event next weekend. It is from Franklin’s work, in part, that I learned probability.
The purpose of what is commonly referred as math proof is only to convince other mathematicians. Being rigorous is only a mean not an end therefore they are only rigorous enough to be convincing.
There exist machine verifiable proofs that are completely rigorous also but the level of detail involved means that humans are not able to verify them so one needs to verify the verifier instead.
ummm.....whut?
The purpose of what is commonly referred as math proof is only to convince other mathematicians. Being rigorous is only a mean not an end therefore they are only rigorous enough to be convincing.
There exist machine verifiable proofs that are completely rigorous also but the level of detail involved means that humans are not able to verify them so one needs to verify the verifier instead.
I’m too dumb for this, but I still love you.
I'm not sure I'm smart enough for it too.