(Page 0538) formalism remain mysterious, it has increasingly come to be believed that any fundamental theory of physics must somehow be based on it. Yet the kinds of programs ...

(Page 0820) undecidability -- this is no longer the case, and as I discussed above I suspect that it will actually be quite common for there to be all sorts of short theorems ...

(Page 0830) And even in present-day situations, if we are exposed to objects or activities outside the areas of human endeavor with which we happen to be familiar, it can be ...

(Page 0843) But while traditional engineering has usually ended up finding ways to avoid searches for the limited kinds of systems it considers, the phenomenon of ...

(Page 0958d) Notes for: Starting from Randomness | The Notion of Attractors Entropies and dimensions [in cellular automata] There are 2 ^ n sequences possible for n cells ...

(Page 1145b) Notes for: The Principle of Computational Equivalence | Undecidability and Intractability [Turing] machine 600720 (Case (h) of page 763 .) The maximum halting ...

(Page x) in small steps that cannot reasonably be explained without relying on specialized technical knowledge of what has gone before. But to develop the new kind of science ...

(Page 1028a) Notes for: Fundamental Physics | The Nature of Space Space and its contents A number of somewhat different ideas about space were discussed in antiquity. Around ...

(Page 0855a) Stephen Wolfram: A New Kind of Science | Online The Book Store Downloads Education Archives Forum Jump to Page Look Up in Index Search General Notes > Section 1 ...

(Page 0985f) Notes for: Mechanisms in Programs and Nature | The Problem of Satisfying Constraints Circle packings Hexagonal packing of equal circles has been known since ...