WOLFRAM NOTEBOOK

WOLFRAM|DEMONSTRATIONS PROJECT

Primality Formal System Explorer

axioms

rules of inference

proof graph

display

identity

compact

terse

meaning

verbose

Select one or more axioms:

From axiom schema (xyDNDx):

2DND1	3DND1	4DND1	5DND1
3DND2	4DND2	5DND2	6DND2
4DND3	5DND3	6DND3	7DND3
5DND4	6DND4	7DND4	8DND4

fewer rows/columns

more rows/columns

other axioms:

axioms selected:

{}

deselect all axioms

Explore the primality formal system [1] by clicking buttons to select axioms and generate theorems. First, click blue buttons on the "axioms" page to select the axioms to use, then on the "rules of inference" page click red buttons, each of which represents the creation of a new theorem of the system by applying a rule of inference to an axiom or previous theorem. The "proof graph" page shows the steps of your proofs graphically. (This is in treating the system in mechanical (M) mode. When you start thinking about what it all means—generating proofs of the primality of prime numbers, you are in intelligent (I) mode.)

You are using a browser not supported by the Wolfram Cloud

Supported browsers include recent versions of Chrome, Edge, Firefox and Safari.

I understand and wish to continue anyway »