Wolfram Demonstrations Project
Foundations of Mathematics
1|2|  NEXT »
Demonstrations 1 - 20 of 36
Number Theory TablesCalkin-Wilf Tree of FractionsNumbers as SetsHereditary RepresentationFour-Variable Karnaugh Map
Number Theory Tables
Updated this month
Calkin-Wilf Tree of Fractions
Numbers as Sets
Hereditary Representation
Four-Variable Karnaugh Map
Propositional Logic TestLewis Carroll's Diagram and Categorical SyllogismsHasse Diagram of Power SetsAnother Knights and Knaves Puzzle GeneratorDeaf Island Puzzle Generator
Propositional Logic Test
Lewis Carroll's Diagram and Categorical Syllogisms
Hasse Diagram of Power Sets
Another Knights and Knaves Puzzle Generator
Deaf Island Puzzle Generator
Propositional Logic Puzzle GeneratorBochvar's Three-Valued LogicLukasiewicz's Three-Valued LogicCayley Tables for Small Groups and Moufang LoopsAlgebraic Loops (1); Properties
Propositional Logic Puzzle Generator
Bochvar's Three-Valued Logic
Lukasiewicz's Three-Valued Logic
Cayley Tables for Small Groups and Moufang Loops
Algebraic Loops (1); Properties
Finite Field TablesVenn Diagrams for Two SetsGoodstein Function in Terms of Fast-Growing Function HierarchiesArithmetic in Lambda CalculusProofs in Multiway Systems
Finite Field Tables
Venn Diagrams for Two Sets
Goodstein Function in Terms of Fast-Growing Function Hierarchies
Arithmetic in Lambda Calculus
Proofs in Multiway Systems

1|2|  NEXT »
 
RELATED RESOURCES
Mathematica »
The #1 tool for creating Demonstrations
and anything technical. 		Wolfram|Alpha »
Explore anything with the first
computational knowledge engine.		MathWorld »
The web's most extensive
mathematics resource.		Course Assistant Apps »
An app for every course—
right in the palm of your hand.
Wolfram Blog »
Read our views on math,
science, and technology.		Computable Document Format »
The format that makes Demonstrations
(and any information) easy to share and interact with.		STEM Initiative »
Programs & resources for
educators, schools & students.		Computerbasedmath.org »
Join the initiative for modernizing
math education.
Powered by Wolfram Mathematica © 2013 Wolfram Demonstrations Project & Contributors  |  Terms of Use  |  Privacy Policy  |  RSSGive us your feedback
Note: To run this Demonstration you need Mathematica 7+ or the free Mathematica Player 7EX
Download or upgrade to Mathematica Player 7EX
I already have Mathematica Player or Mathematica 7+