To enthrall mathematicians and the public, set theory needs intricate computer generated images, algorithms, results on finite algebras, and practical applications.
Ternary Laver table calculator
Notice: We are currently improving our ternary Laver table calculator. The calculator will be offline until we finish our improvements.
Warning: Endomorphic Laver table computation behaves erratically, and the computation may take a long time and/or crash your browser.
For “term one”, “term two”, “term three”, the expression  is valid. If x and y are valid expressions, then [x,y] is also a valid expression, and the only valid expressions are built inductively using these two rules. For example, [,[[,[,]],]] is a valid expression. The valid expressions represent terms in the language with one variable and one binary function symbol.