WOLFRAM NOTEBOOK

WOLFRAM|DEMONSTRATIONS PROJECT

Proofs in Multiway Systems

​
string to find
3D graph
maximum seconds
maximum depth
graph:
initial string:
target string:
rule:
This Demonstration allows the generation of "proofs" in the first axiom system shown on page 778 of A New Kind of Science, going from the initial string used there to any other ending string. The proof graphs generated (when the ending string is found within the maximum search depth) show alternative ways to go from the initial string to the ending string through the application of the string rewriting rules.
Wolfram Cloud

You are using a browser not supported by the Wolfram Cloud

Supported browsers include recent versions of Chrome, Edge, Firefox and Safari.


I understand and wish to continue anyway »

You are using a browser not supported by the Wolfram Cloud. Supported browsers include recent versions of Chrome, Edge, Firefox and Safari.