Stories
Slash Boxes
Comments
typodupeerror delete not in

+-   Wolfram's 2,3 Turing Machine not Universal-> on Monday October 29 2007, @02:48PM Fishbat

Submitted by Fishbat on Monday October 29 2007, @02:48PM
math
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."
Link to Original Source
submission

This discussion was created for logged-in users only, but now has been archived. No new comments can be posted.
The Fine Print: The following comments are owned by whoever posted them. We are not responsible for them in any way.
 Full
 Abbreviated
 Hidden
More
Loading... please wait.
Thyme's Law: Everything goes wrong at once.