January 07, 2004
Science? A New Kind?
More musings on Wolfram. Randomness, automatons, hubris (and Blake). Randomness
The cellular automaton, even in its simplest form (one dimension, nearest-neighbour influences, binary state) is a fascinating thing. It's worth reading the book if only for the first few chapters, where he looks at the four basic classes of behaviour of these simple algorithms (roughly: degenerate; repeating; random; and complex), and thoroughly explores the way in which these same behaviours -- including surprisingly complex ones -- aren't necessarily restricted to one dimension, or fixed grids, or discrete states, and that "class 4" behaviour seen in rule 110 is about as complex things get. (On which point Kurzweil has something to say).
The rule-110 automaton rule is equivalent to a Turing machine. Before I get to that bit, though, there are some general comments on science, which I suppose are the intended justification for the "new kind of science" title. Science works by suggesting possible explanations for the world, then producing testable scenarios which would confirm or refute the theory. Modern science is all about maths: the explanations are written down in algebra and calculus. Wolfram suggests that equations (and solving by constraints) are only the roughest of guides, and difficult too. Instead, a new calculus: computing. This is dramatic, although not necessarily new: Church and Turing trod some of this ground a long while ago. Wolfram's case (simply put) is that simple rules can create complex behaviour, and that algorithmic, iterative, computable models are a better fit than traditional math in explaining that complexity. The downside of computability is that those models might be very hard to intuit or derive from everyday behaviour, and he likes a simple approach to finding appropriate models. With fast computers you can simply take a breadth-first sample search of possible algorithms, and look at the pretty pictures they produce. Some of the patterns have obvious real-world parallels. There's some interesting stuff about biological evolution in here too, and I think it's probably quite close to the mark.
A unified "theory of everything" has been an attractive goal since the beginning of science (and before, and since). This usually involves a set of descriptions -- mathematically, equations -- which can be said to govern all physical behaviour at a low enough level that even chemistry and biology are explained. Wolfram has an endearingly extreme version of this affliction: that there is a discoverable (and computable?) algorithm "that reproduces sufficiently many different features of the universe, then it becomes extremely likely that this rule is indeed the final and correct one for the whole universe". Furthermore, his suggested method for finding a rule appears to be: exhaustive (or sampled) search across the problem space. In what furnace was thy brain? There's a name for this: hubris. Or: believe it if you want to; I don't, because the difficulty in computing the large-scale implications of such a rule would limit both its verification and its applicablity. Map, meet Territory. But, I'm only on page 468; just over half way through the main text... Update: I finished the book, but the second half was less than enlightening. Around page 516 there's a hint of something interesting in his causal networks model, but the endless verbiage just descends into vagueness. Later, the "principle of computational equivalence" surely doesn't take a whole chapter wherein I couldn't find a single concise definition; a couple of pages should have been more than enough. One paragraph kept coming back, repeated in very similar forms again and again, like a roomful of class-2 cellular automata at typewriters: Before the discoveries in this book, one might have thought that to create anything with a significant level of apparent complexity would necessarily require a procedure which itself had significant complexity. But what we have discovered in this book is that in fact there are remarkably simple programs that produce behaviour of great complexity. And what this means -- as the images in this book repeatedly demonstrate -- is that in the end it is rather easy to make pictures for which our visual system can find no simple overall explanation.And there you have it. |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
vcard
archives: January 2005 December 2004 November 2004 October 2004 September 2004 August 2004 July 2004 June 2004 May 2004 April 2004 March 2004 February 2004 January 2004 December 2003 November 2003 October 2003 September 2003 August 2003 July 2003 June 2003 May 2003 April 2003 March 2003 February 2003 January 2003 December 2002 November 2002 October 2002 September 2002 August 2002 July 2002 June 2002 May 2002 April 2002 March 2002 February 2002 January 2002 December 2001 November 2001 October 2001 September 2001 August 2001 July 2001 June 2001 see also: {groove: [ ray, matt, paresh, mike, jeff, john ], other: [ /* more blogroll to follow */ ] } The views expressed on this weblog are mine alone and do not necessarily reflect the views of my employer. RSS 2.0 RSS 1.0 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||