BOOK REVIEW on A New Kind of Science by Stephen Wolfram Wolfram

“Somebody says, ‘You know, you people always say that space is continuous. How do you know when you get to a small enough dimension that there really are enough points in between, that it isn’t just a lot of dots separated by little distances?’ Or they say, ‘You know those quantum mechanical amplitudes you told me about, they’re so complicated and absurd, what makes you think those are right? Maybe they aren’t right.’ Such remarks are obvious and are perfectly clear to anybody who is working on this problem. It does not do any good to point this out.” —Richard Feynman [1, p.161]

[1]  Christopher Umans The minimum equivalent DNF problem and shortest implicants , 1998, Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280).

[2]  Cynthia Dwork,et al.  A public-key cryptosystem with worst-case/average-case equivalence , 1997, STOC '97.

[3]  David G. Mitchell,et al.  Finding hard instances of the satisfiability problem: A survey , 1996, Satisfiability Problem: Theory and Applications.

[4]  Umesh V. Vazirani,et al.  Quantum complexity theory , 1993, STOC.

[5]  Leonid A. Levin,et al.  Average Case Complete Problems , 1986, SIAM J. Comput..

[6]  T. Nowotny,et al.  Dimension theory of graphs and networks , 1997, hep-th/9707082.

[7]  Stephen Wolfram,et al.  A New Kind of Science , 2003, Artificial Life.

[8]  R. Bousso The Holographic principle , 2002, hep-th/0203101.

[9]  John Watrous,et al.  On one-dimensional quantum cellular automata , 1995, Proceedings of IEEE 36th Annual Foundations of Computer Science.

[10]  L. Crane A New Approach to the Geometrization of Matter , 2001, gr-qc/0110060.

[11]  Leonid A. Levin,et al.  A Pseudorandom Generator from any One-way Function , 1999, SIAM J. Comput..

[12]  John Cocke,et al.  Universality of Tag Systems with P = 2 , 1964, JACM.

[13]  Leslie G. Valiant,et al.  The Complexity of Computing the Permanent , 1979, Theor. Comput. Sci..

[14]  N. Gisin,et al.  Quantum correlations with spacelike separated beam splitters in motion: experimental test of multisimultaneity. , 2002, Physical review letters.

[15]  G. Hooft Quantum gravity as a dissipative deterministic system , 1999, gr-qc/9903084.