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
proof that Wolfram's (2,3) machine is universal.
If you are smart enough to know that you're not smart enough to be an
Engineer, then you're in Business.