Proof of a Goal from a Hypothesis

Initializing live version
Download to Desktop

Requires a Wolfram Notebook System

Interact on desktop, mobile and cloud with the free Wolfram Player or other Wolfram Language products.

Proofs in mathematics can be visualized as rewriting strings at each step of the proof upon application of the rules (axioms). This Demonstration shows proofs starting with a hypothesis and positing a goal, represented by the strings "A" and "B", with simple rules of procedure given by string substitution rules. The question answered by this Demonstration is, "If you start at the hypothesis, can you reach the goal using the rules?"


"A" is represented by a light gray cell and "B" is represented by a black cell. The rule icon for the system is displayed above the evolution.


Contributed by: Abigail Nussey (March 2011)
Based on code by: Oyvind Tafjord
Open content licensed under CC BY-NC-SA




Feedback (field required)
Email (field required) Name
Occupation Organization
Note: Your message & contact information may be shared with the author of any specific Demonstration for which you give feedback.