This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages)(Learn how and when to remove this template message)
Wolfram terms the inability to shortcut a program (e.g., a system), or otherwise describe its behavior in a simple way, "computational irreducibility." The world of simple programs contains a great diversity of behavior, but, because of undecidability, it is impossible to predict what they will do before essentially running them. The idea demonstrates that there are occurrences where theory's predictions are effectively not possible. Wolfram states several phenomena are normally computationally irreducible.
Computational irreducibility explains observed limitations of existing mainstream science. In cases of computational irreducibility, only observation and experiment can be used. Computational irreducibility may also provide a scientifically-based resolution for free will.
- There is no easy theory for any behavior that seems complex.
- Complex behavior features can be captured with models that have simple underlying structures.
- An overall system's behavior based on simple structures can still exhibit behavior indescribable by reasonably "simple" laws.
Israeli and Goldenfeld found that some less complex systems behaved simply and predictably (thus, they allowed approximations). However, more complex systems were still computationally irreducible and unpredictable. It is unknown what conditions would allow complex phenomena to be described simply and predictably.
- Chaos theory
- Gödel's Theorem
- Principle of Computational Equivalence
- Artificial intelligence
- Robert Rosen
- Emergent behaviour
- Weisstein, Eric W., et al., "Computational irreducibility". MathWorld—A Wolfram Web Resource.
- Wolfram, Stephen, "A New Kind of Science". Wolfram Media, Inc., May 14, 2002. ISBN 1-57955-008-8
- Wolfram, Stephen, "Computational irreducibility". A New Kind of Science.
- Wolfram, Stephen, "History of computational irreducibility". A New Kind of Science.
- Wolfram, Stephen, "History of computational irreducibility notes". A New Kind of Science.
- Wolfram, Stephen, "Undecidability and intractability in theoretical physics". Physical Review Letters, 1985.
- Israeli, Navot, and Nigel Goldenfeld, "On computational irreducibility and the predictability of complex physical systems". Physical Review Letters, 2004.
- ""Computational Irreducibility". ISAAC/EINSTein research and development. Archived from the original on 2011-12-11. CS1 maint: discouraged parameter (link)
- Berger, David, "Stephen Wolfram, A New Kind of Science". Serendip's Bookshelves.
- "Complexity is Elusive". Physical Review Letters, March 4, 2004.
- Tomasson, Gunnar, "Scientific Theory and Computational Irreducibility". A New Kind of Science: The NKS Forum.