>
...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
