Formula Generator

Requires a Wolfram Notebook System
Interact on desktop, mobile and cloud with the free Wolfram Player or other Wolfram Language products.
We show the first 3083 equational first-order formulas with up to five variables. This is done according to an enumeration procedure that assures going through all such formulas, which are in Skolemized form. The function is a pairing function and
is an interpretation function.
Contributed by: Hector Zenil (March 2011)
Open content licensed under CC BY-NC-SA
Snapshots
Details
detailSectionParagraphPermanent Citation
"Formula Generator"
http://demonstrations.wolfram.com/FormulaGenerator/
Wolfram Demonstrations Project
Published: March 7 2011