New Kinds of Science
From CasGroup
(→The computational universe) |
(→The computational universe) |
||
| Line 27: | Line 27: | ||
systems such as [[Cellular Automata]] and Agent-Based Systems, | systems such as [[Cellular Automata]] and Agent-Based Systems, | ||
where [[Iteration|iteration]] meets interaction, is much more | where [[Iteration|iteration]] meets interaction, is much more | ||
| - | complex. A theory or "calculus" for these systems | + | complex. A theory, set of [[Theorem|theorem]]s or "calculus" for |
| - | would be desirable. It is unclear what can be computed at all | + | these systems would be desirable. It is unclear what can be computed at all |
with these systems (what kind of computation would this be?), | with these systems (what kind of computation would this be?), | ||
what forms and types exist in general (have we found already | what forms and types exist in general (have we found already | ||
