353453 submission Submission + - Wolfram's 2,3 Turing Machine not Universal (nyu.edu) Submitted by Fishbat on Monday October 29, 2007 @03:48PM Fishbat writes: In a cutting message to the Foundations of Mathematics mailing list, Stanford's Vaughan Pratt had pointed out an elementary mistake in the recently announced proof that Wolfram's (2,3) machine is universal.
