20 Nov
2002
20 Nov
'02
6:52 p.m.
Speaking of reviews of ANKOS. Here's a review by Lawrence Gray that is somewhat more substantial than Kranz's review: www.math.umn.edu/~gray/pdf/wolfram.pdf (This is to appear in the February 2003 Notices of the American Mathematical Society. Note: the figures are not yet available.) And by the way, does anyone know if Mathew Cook's proof of the universality of CA 110 (as presented in ANKOS) has been verified by workers in the area? --Edwin Clark