Fictional Googology Wiki
Advertisement

This is a notation used to define FG numbers

The notation[]

  • FG:[] starts the notation
  • (Y) = (D) : define (Y) as (D)
  • N: : “a number in which”
  • A(dir: < or >): : “a prefix/suffix in which” | also defines input +H
  • C: : “a concept in which”
  • [] : the equivalent of parentheses
  • +(U) : depends on input (U)
    1. +S : self
    2. +H : input if affix
    3. +N : all positive numbers
    4. ++(n) : variable (n)
  • !(m) : not (m)
  • B > (n) : “bypasses (n)”
  • S > (n) : “surpasses (n)”
  • [(Y: verb)] > (n) : “(Y)s (n)”
  • C(m) > (n) : statement that (m) contains (n)
  • [(m)](T) : depends on input (T)
    1. [(m)]- : “it doesn’t/isnt (m)”
    2. [(m)]?- : “cannot (m)”
  • (stuff)|(o)!(n) : applies (stuff) to itself starting at (o) (n) times
  • M{(t)} : standard mathematical or number expression (t)
  • W(O: list of FG:[] statements){(t)} : word and sentence based expression (t), “O[(u)]” being the (u)th FG:[] statement within O
  • (A)-(b) : apply affix (A) to (b)
  • var+(n) : create variable named (n)
  • S/(n: _ > _) : strictly (n)
  • , : extra statement

Notation ideas[]

Examples and translations[]

free to edit section

  1. 0 : FG:[N:S > !+N]
  2. The Strict End of Numbers: FG[S/(n: N:S > +N)]
Advertisement