9846

Proofs in Multiway Systems

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.

THINGS TO TRY

SNAPSHOTS

  • [Snapshot]
  • [Snapshot]
  • [Snapshot]
  • [Snapshot]
  • [Snapshot]
  • [Snapshot]

DETAILS

Change the value of "string to find" to see different proofs that go from the initial string to the selected string. Select "3D graph" to allow for a different view of the generated proofs (when they are complex enough).
It is usually a good idea to keep "max seconds" (the maximum amount of seconds before time out) and "max depth" to 2 and 6, respectively. For slower computers, "max seconds" could be increased. If you want to look for strings that are deeper than a depth of 6, you might want to set the depth to a larger value (8 is usually nice, though much slower) and to increase "max seconds" as much as that change could require.
On page 778 of the NKS book, S. Wolfram explains that this specific string rewriting system generates all strings; however, in this Demonstration many strings are not found because of the practical limits of time and memory of the search here.
This Demonstration is related to the research project developed at the NKS Summer School 2008, on proof sizes and lemmas in Wolfram's model of logic.
    • Share:

Embed Interactive Demonstration New!

Just copy and paste this snippet of JavaScript code into your website or blog to put the live Demonstration on your site. More details »

Files require Wolfram CDF Player or Mathematica.









 
RELATED RESOURCES
Mathematica »
The #1 tool for creating Demonstrations
and anything technical.
Wolfram|Alpha »
Explore anything with the first
computational knowledge engine.
MathWorld »
The web's most extensive
mathematics resource.
Course Assistant Apps »
An app for every course—
right in the palm of your hand.
Wolfram Blog »
Read our views on math,
science, and technology.
Computable Document Format »
The format that makes Demonstrations
(and any information) easy to share and
interact with.
STEM Initiative »
Programs & resources for
educators, schools & students.
Computerbasedmath.org »
Join the initiative for modernizing
math education.
Step-by-step Solutions »
Walk through homework problems one step at a time, with hints to help along the way.
Wolfram Problem Generator »
Unlimited random practice problems and answers with built-in Step-by-step solutions. Practice online or make a printable study sheet.
Wolfram Language »
Knowledge-based programming for everyone.
Powered by Wolfram Mathematica © 2014 Wolfram Demonstrations Project & Contributors  |  Terms of Use  |  Privacy Policy  |  RSS Give us your feedback
Note: To run this Demonstration you need Mathematica 7+ or the free Mathematica Player 7EX
Download or upgrade to Mathematica Player 7EX
I already have Mathematica Player or Mathematica 7+