Turing Machine Proven 10/25/07
Simple Turing machine shown capable of solving any computational problem
A proof made public today illustrates that Stephen Wolfram’s 2,3 Turing machine number 596440 is a universal Turing machine, and it has netted a University of Birmingham undergraduate $25,000.
October 25th 2007 Information Science