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.
Congratulations! You are the one-millionth user to log into our system.
If there's anything special we can do for you, anything at all, don't
hesitate to ask!