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]
Contributed by: Abigail Nussey (March 2011)
Based on code by: Oyvind Tafjord
Open content licensed under CC BY-NC-SA
Snapshots
Details
detailSectionParagraphPermanent Citation
"Proof of a Goal from a Hypothesis"
http://demonstrations.wolfram.com/ProofOfAGoalFromAHypothesis/
Wolfram Demonstrations Project
Published: March 7 2011