Turing Machine Controversy November 13, 2007Posted by Andre Vellino in Epistemology, Logic.
In a previous post, I noted that Alex Smith had won a 25,000 prize for finding the smallest Universal Turing Machine. When I saw that the Prize Committee included Martin Davis, Marvin Minsky and Dana Scott, I figured there wasn’t much question about the correctness of the proof.
But it didn’t take long after this prize was “won” for some respectable academics on the FOM (Foundations of Mathematics) mailing list, notably Vaughn Pratt, to start poking holes in the proof. The current state of the debate is summarized in this post and it looks like Alex Smith is losing the argument.
Furthermore, there’s some question about who exactly on this committee checked the proof. The argument seems to have spilled over to the SciAm blog.
You’d think there wouldn’t be anything controversial about a mathematical proof. But where there are strong personalities, self interest and money involved, perhaps it’s inevitable that even truths in mathematics are disputable.