Do these proof checkers check a formal proof or generate one?
Later edit: I thought about it a little bit and decided no way do they generate the proof. Being able to check a proof is impressive enough.
Chances are that, on an absolute scale, we suck about as hard as it’s possible to suck and still be called “mathematicians”
Happily disagree. Mathematical ability isn’t the ability to check a proof, or even the ability to generate the proof. Its the ability to notice that the sqrt(2) is irrational in the first place. (and the ability to build programs that surpass our abilities)
Do these proof checkers check a formal proof or generate one?
Later edit: I thought about it a little bit and decided no way do they generate the proof. Being able to check a proof is impressive enough.
Happily disagree. Mathematical ability isn’t the ability to check a proof, or even the ability to generate the proof. Its the ability to notice that the sqrt(2) is irrational in the first place. (and the ability to build programs that surpass our abilities)