Subscribe to RSS feed
Foundations of Mathematics
Demonstrations 21 - 40 of 45
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 Tables
Venn Diagrams for Two Sets
Goodstein Function in Terms of Fast-Growing Function Hierarchies
Arithmetic in Lambda Calculus
Proofs in Multiway Systems
Binary Operators Satisfying Two Axioms
Plots of Compositions of Bitwise Operations
One-Term Nestedly Recursive Functions
Collatz Problem as a Cellular Automaton
Enumerating the Rationals
Rolling Wheel with Spoke
The Chow-Ruskey Order 5 Venn Diagram
The #1 tool for creating Demonstrations
and anything technical.
Explore anything with the first
computational knowledge engine.
The web's most extensive
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.
Join the initiative for modernizing
Note: Your message & contact information may be shared with the author of any specific Demonstration for which you give feedback.
© 2017 Wolfram Demonstrations Project & Contributors |
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