Bachmann-Howard Notation

Ordinal system in proof theory for describing large countable ordinals.

MathematicsProof TheoryOrdinalsLogic

Complexity

Current best complexity is 87:

Bachmann-Howard Notation
87
Discover this myself!

Statistics

Discovered by
1board
Best recipe held by
1board
First discovered
28 hoursago
Crafted
1time
Made with
1recipe
Used in
1recipe

Highlights

  1. First discovered by
    Hello5184's board
    · 28 hours ago
  2. Lowest complexity87first held by
    Hello5184's board
    · 28 hours ago
  3. Last crafted by
    Hello5184's board
    · 28 hours ago
  4. Last used in a recipe by
    Hello5184's board
    · 28 hours ago

Related concepts

Infinity
Delta
Paradox
Binary System
Fractal
Sphere
Tesseract
Infinite
Hypercube
Cube
Redundancy
Tautology

Technical information

Concept ID
373062
Color
#7d3e76
Emoji
∞/📐📚
Categories
Mathematics, Proof Theory, Ordinals, Logic
Best complexity
87
First discovered
Nov 12, 2026, 21:31 UTC
Trademarked
No
Copyrighted
No

About "Bachmann-Howard Notation" concept

Bachmann-Howard Notation can be discovered in Concepts, categorized under Mathematics, Proof Theory, Ordinals, Logic. Ordinal system in proof theory for describing large countable ordinals.

It has been discovered by 1 board and crafted 1 time, first appearing 28 hours ago. Bachmann-Howard Notation can be created from 1 recipe, and goes on to appear as an ingredient in 1 other.

Bachmann-Howard Notation was first discovered by Hello5184's board 28 hours ago. They also hold the lowest-complexity recipe, at 87.

Related concepts worth exploring include Infinity, Delta, Paradox, Binary System, Fractal, Sphere, and 6 more.

Bachmann-Howard Notation ∞ | Concepts