2 ms·
I found a mistake in one of his proofs in his book "On Numbers and Games" using computer verified proofs. It was only a mistake in the proof, that is, the proof
by auggierose 12y ago
I found a mistake in one of his proofs in his book "On Numbers and Games" using computer verified proofs. It was only a mistake in the proof, that is, the proof was easy to correct and the result was still true, but it shows that noone is above mistakes. So using a computer can certainly drastically reduce the probability of an error.
- bumbledraven 12y agoGood job. What proof, may I ask? What was the mistake, and what tool did you use? Is there a paper on this I can read?
- auggierose 12y agoI was using Isabelle. There is indeed a paper about this: http://link.springer.com/chapter/10.1007%2F11921240_19 http://link.springer.com/chapter/10.1007%2F11921240_19, and the flaw is described on page 284.