FANDOM


Can this be an official number on the wiki, with an article? It is named after me and my friend (Littlepeng9 didn't want any credit despite helping), since we helped come up with it. I am also considering naming it the Emlightened-Pellucid-Armstrong number, to reflect said poster'shelp. First we define the PPA (or EPA) Function as:

"The largest number defined by a formula φ, such that ZFC proves φ defines a unique number with a proof of length n"

And a proof of length n is defined as "n total applications of inference rules from the axioms of ZFC", using these rules and axiomization of ZFC: https://www1.maths.leeds.ac.uk/~rathjen/ICMend.pdf

http://wwwmath.uni-muenster.de/logik/Personen/Koulakis/Large_cardinals_and_elementary_embeddings_of_V.pdf

Then the number is defined as PPA(Googolcentiplex)(Googolcentiplex), i.e. PPA of Googolcentiplex iterated

Googolcentiplex times.

This number should be bigger than Fish Number 4 and possibly bigger than Xi(1,000,000), but smaller than Rayo's Number.

Ad blocker interference detected!


Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.