Notes

Chapter 12: The Principle of Computational Equivalence

Section 9: Implications for Mathematics and Its Foundations


Properties [of example multiway systems]

The first multiway system here generates all strings that end in ; the third all strings that end in . The second system generates all strings where the second-to-last element is white, or the string ends with a run of black elements delimited by white ones.


From Stephen Wolfram: A New Kind of Science [citation]