# Royal infinities
Queen Máxima on global policy for the people: “I urge you to aim high!”
# Jump recursion types
Summary of the main ideas of previous chapters:
We add units 1
to form natural numbers
1.. :n
and produce the Big ones
in a general recursive function F(X)
over a finite matrix X
.
Up to maximum system G(n)
we know numbers will be finite,
because all repetitions come to a halt.
To add 1..
without end means to jump
>>
to infinity,
namely omega ω
.
Substitution of omega in various
F(ω,X)
results in the ordinal numbers up to a recursive maximum
G(ω)
.
After all ω0
we jump >>
to real number infinity in the
ω1
realm.
Further jumps >>
over recursion over ωn
≡ Ωn
expand to the omega
stairs
of atoms Ω...n
up to
Ω(U)
jump recursive size.
- Ω ≡ Ω() = ω0 >> G(n) = 1.. :m
- Ω(n) = ωn >> G(ωn-)
- Ω(U) == Ω(v,1) = Ωv ≡ ωv >> G(ωv-) {v=Ω0...<<<Ω1}
The universal matrix Ω(U)
on Omega contains just natural indexes.
It functions as an array ω{U}
that names higher infinite omega.
Its reduction to a series Ω...n
of Omega signs in v
is appended right of the initial function atom
Ω = Ω0
and not to be added, but as infinite indexes.
No sign in structure U
and the resulting series v
is an Omega type >>>
higher than the initial atom
Ω0
.
See last jump
section to make sense of
v-
that subtracts 1
from the
ω
subscript staircase.
Now conjure up a maximal general recursive jump function
H
for a single variable, to counter the following issue:
Sequences of Ω...
output by different jump algorithms, such as
Box, Btrix
or Beaf where atoms Ω
are uploaded, may not arrive in the same order as results
of similar expressions with natural numbers or ordinals.
How to know for sure if a level so elusive as the
deepest structure
compares the same for all
Ω
inspired array functions?
A generic rewrite function H
selects an algorithm that maximizes output for some
Ωt
atom input.
We can always choose those rules in H
that make all jump comparisons work out in an orderly manner,
optimized for constructions with any infinite atom.
From now on replace
Ωt(U)
by recursion in
H(Ωt)
over Omega jump types.
H(n) = G(n) = Fmax(X) {p<<ω in X}
H(Ω0) ≈>> G(Ω0v) > Ω0v
Remember how omegas
ωn1
came by jumping >>
over all recursions over previous
ωn
omega.
Now we are ready to define the first batch
Ωn1
of next Bigger
>>>
Omega jumps.
Use the single dot as a left bracket
for a number group that runs to the right end.
Ω1 >>> H(Ω0)
H(Ωn) ≈>> Ωnv >> G(Ωn.v-) {v=Ωn...<<<Ωn1}
Ωn1 >>> H(Ωn)
No atom Omega in the series v
has a higher index that the initial Omega on the left.
Eternally soon Omega receives infinite indexes.
Again only the inner limit functions remain.
ΩΩ >>> H(ΩG(n)) ≈>> Ωmv {m<<ω}
ΩΩ+1 >>> H(ΩΩ) ≈>> ΩΩv
ΩG(Ω) >>> H(ΩG(Ω)-) >> ΩG(Ω)-
ΩΩ.1 >>> H(ΩG(Ω)) >> ΩG(Ω)
ΩΩ.n1 >>> H(ΩG(Ω.n)) >> ΩG(Ω.n)
The indexes are names for Ω
and can be repeated to an index staircase as before,
expressed in an array function,
and extended to the most general recursive structure.
ΩΩ1 >>>> ΩH(Ω) >> H(ΩG(Ω).v) > H(ΩΩ.v) >> ΩΩ.v
UNDER CONSTRUCTION @ June 2014
# Heaven's gate
Roadmap for the coming sections:
The indexes are names for Ω
and can be repeated to an index staircase and then an array,
extended to a structure that covers
Ψ.u
a 3rd general recursion.
The 2nd recursive array was the
Ω.v
jump staircase ωv
.
We can see each recursive array as attached to the ω
jump hub, or better perhaps the 1
unit hub,
because 1
is the primordial jump from
0
nothing.
Such recursive jump hub arrays can be counted, multiplied, jumped from, etc,
where the hub ω
or 1
mimics the function of the ,
separator in nested arrays and its further deep attachments.
In natural setting the character ,
can be followed by many more (see Chris Bird),
leading to the general recursion over character signs
that is Gödel encoding, etcetera.
Then we can jump-jump to an even higher-higher recursion.
But if we keep going, can the jump mechanism ever be exhausted-exhausted,
like the 1st general recursion that couldn't reach infinity?
To stop counting is natural, and the other option is not to stop,
that is to jump to infinity. What logic would allow us a third option?
Not-not to stop could be something different!
This defines the first imfinity
(included middle)
for mathematical problems where the
excluded middle
of higher infinities cannot offer a solution.
(Brother Eg....bertus, why did you imp that far?)
The finite, infinite, imfinite, etc,
leads to an im-jump-recursive series of
not-...
stopables definable in male logic.
After that come the fim-jump-recursive
fe-...
male logics.
Not to mention the realms of whatever.
(To stop and talk constructively is always easier!)