User:Vel!


 * Help me develop Faust!

I founded this wiki in December 2008.

Here are some pages of mine:


 * Laws of googology: Some rules that hopefully contribute to the hypothetical unified theory of googology.
 * Turing golf: A game played on Turing machines. (Popular!)
 * FOST: Like Turing golf, but for first-order set theory (and little more serious).
 * Croutonillion: A salad number to end all salad numbers.
 * Naming systems: Systems of names for your large number systems.
 * Prime blocks: Formalization and extension of BEAF using ordinals.
 * E^: Failed attempt at formalizing and extending E^ using ordinals.
 * Ordinal Hyper-E: Incomplete second attempt at ordinalizing E^.
 * Extended Veblen function: A failed attempt at extending the Veblen function like BEAF.
 * How to count up to infinity: A deleted article. I've also annotated it.
 * Random sketches

((0∈K)∧(𝓞(0)=0))∧(∀i∈K:(𝓞(n)=α)⇒((2^i∈K)∧(𝓞(2^i)=α+1))∧(i≺2^i))∧(∀i∈K:(∀n∈ℕ₀:(fᵢ(n)∈K)∧(fᵢ(n)≺fᵢ(n+1)))⇒((3*5^i∈K)∧(𝓞(3*5^i)=sup{fᵢ(n)|n∈ℕ₀})∧(∀n∈ℕ₀:fᵢ(n)≺3*5^i)))∧(∀i∈K:∀j∈K:∀l∈K:((i≺j)∧(j≺k))⇒(i≺k))