home clear 64x64
en blue 200x116 de orange 200x116 info letter User
suche 36x36

Fast Growing Hierarchy Calculator -

Logicians use ordinal analysis to measure the strength of formal systems. An FGH calculator helps visualize how fast a system’s provably total functions grow.

increases, the functions represent increasingly powerful mathematical operations: fast growing hierarchy calculator

Using the calculator is straightforward. Here are a few examples: Logicians use ordinal analysis to measure the strength

(a mathematical generalization of numbers that includes infinite values like ). It builds on itself using three simple rules: Rule 0 (The Base): (just adding one). Rule 1 (Successor): f sub alpha applied to itself times. For example, is repeated addition, which becomes Rule 2 (Limit): is a "limit ordinal" (like ), we use a fundamental sequence to pick a smaller value based on the input . Effectively, Common Milestones in FGH is repeated addition