Wolfram Research

Mathematica MathWorld Wolfram Science More »

Formula Generator


	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
	Show Initialization Code

First-Order Logic (Wolfram MathWorld)

Skolemized Form (Wolfram MathWorld)

"Formula Generator" from The Wolfram Demonstrations Project
http://demonstrations.wolfram.com/FormulaGenerator/

Contributed by: Hector Zenil

Mathematica 7 Just Released--Get Mathematica Player 7 Free--Download Now

Related Topics

Browse all topics

Some Related Demonstrations

Share & Bookmark This Demonstration

Contribute

Powered by Wolfram Mathematica

Give us your feedback

	Source page:
	Email	Name (optional)
	Occupation (optional)	Organization (optional)
	I use Mathematica often occasionally never
	Country (optional) Remember me
	Note: Please do not include anything you consider confidential or proprietary. Your message and contact information may be shared with the author of any specific Demonstration for which you give feedback, but will not otherwise be published or distributed. Privacy Policy »

© 2009 Wolfram Demonstrations Project & Contributors

Wolfram Research

Site Index

RSS

Atom

Note: To run this Demonstration you need the free
Mathematica Player or Mathematica 7+