Proof of a Goal from a Hypothesis
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?"[more]
"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.[less]
Contributed by: Abigail Nussey (March 2011)
Based on code by: Oyvind Tafjord
Open content licensed under CC BY-NC-SA
"Proof of a Goal from a Hypothesis"
Wolfram Demonstrations Project
Published: March 7 2011