3 ms·
> ...finding an error in the original proof is uninteresting (from a mathematical perspective). Even if Gödel’s orginal proof contained a minor error, there are
by 082349872349872 3y ago
> ...finding an error in the original proof is uninteresting (from a mathematical perspective). Even if Gödel’s orginal proof contained a minor error, there are plenty of modern (and computer verified) proofs that establish the theorem.
compare pp46-47 (7.5 Comparisons with Shankar’s 1986 Proof) of http://r6.ca/thesis.rev.fluorine.pdf http://r6.ca/thesis.rev.fluorine.pdf