Re: How do We Know that ZF is the Axiomatization that Proves everything Provable?

Charlie-Boo <shymathguy@xxxxxxxxx> writes:

Boyer and Moore claimed that they did in the title of the article: "A
Mechanical Proof . . ." but upon reading the article you see that they
then watered the claim down to "verified" a hand generated proof, a
meaningless exercise. You and they are talking about the same
nonsense, verifiying a hand written proof, when what is needed is to
generate the theorem, as I describe.

A highly misleading account of the paper in question.
There is a good deal more than proof checking involved.


--
Alan Smaill
.

Quantcast