# Proof of a Goal from a Hypothesis

Requires a Wolfram Notebook System

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

Requires a Wolfram Notebook System

Edit on desktop, mobile and cloud with any Wolfram Language product.

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

detailSectionParagraph## Permanent Citation

"Proof of a Goal from a Hypothesis"

http://demonstrations.wolfram.com/ProofOfAGoalFromAHypothesis/

Wolfram Demonstrations Project

Published: March 7 2011