[donh]

Nothing of substance is "proven" by a computer. There are things that can be verified by exhaustive computer search. The proof part of the A&H theorem was the reduction to the cases that were then "verified" by computer. It was still viewed with suspicion.

So...it's a proof, and it hasn't been contradicted, and yet, it's "viewed with suspician"....sounds more like a blundering-around science than a pellucid palace of logic to me.

[AmishDude]

A proof is something that can convince a reasonable and knowledgable person. It is the highest hurdle in academia, but it still has its fuzziness. Suffice it to say that I was not convinced by A&H. It's a moot point now.