Computational Irreducibility

Computational irreducibility is one of the main ideas proposed by Stephen Wolfram in his book A New Kind of Science.

The idea

Wolfram terms the inability to shortcut a program (e.g., a system), or otherwise describe its behavior in a simple way, "computational irreducibility". The empirical fact is that 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 actually 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 scientific based resolution for free will.

Implications

  • Nearly 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 can exhibit behavior undescribeable by reasonable laws.

Analysis

Israeli and Goldenfeld found that for some some less complex systems, they behaved simply and predictably (thus, finding approximations). Though, more complex systems were still computationally irreducible and unpredictable. It is unknown under what conditions would allow complex phenomenon to be described simply and predictablely.

See also

External links and references

* Tomasson, Gunnar, "Scientific Theory and Computational Irreducibility". A New Kind of Science: The NKS Forum.

 

<< PreviousWord BrowserNext >>
shumen province
silistra province
bruisers
word gets around
glitch city
eric walter elst
nighty night
life won't wait
gee (navigation)
sto plains
varna province
george jung
fen phen
american association of variable star observers
willmore wilderness park
dubuque
haversine formula
performance and cocktails
ramtops
adagio (band)
intermodulation
list of the longest nhl overtime games
gumpism
tenterden
heavyweight
elizabeth von arnim
ilo (disambiguation)
men who have sex with men
tadcaster
high school subcultures
lew grade
honda element
list of periodic comets
departments of nicaragua
kolf
st. asaph
mecca cola
london mathematical society
david h. levy
david levy (chess)
susan mcdougal
robert trujillo
beth gibbons
essential bandwidth