One Giant In The Field
- MatthewNotebook
- Jan 24
- 2 min read
Updated: Feb 8
Before I begin, I intended there to be subscripts but I don't know how to add them into Wix. Also, I don't know where this actually falls in the Fast-Growing Hierarchy, which is the benchmark for functions, as this literally attempts to exceed that whenever possible
Define a limit hierarchy for the FGH as a modification of the Wainer Hierarchy where wx = w(x-1)^^…with w(x-1) arrows…w(x-1)
1 giant in the field equals fw1(1)
X giants in the field equals fwww…with (X-1 giants in the field) w’s…(X-1 giants in the field)((X-1 giants in the field)).
1 giant in the field = fw1(1)
w1 = w0^^...w0^^...w0
w0=1
fw1(1)=f1(1) = f0(1) = 2
1 giant in the field = 2
2 giants in the field equals fww2(2)
w2 = w1^^...w1
w1 = w0^^..w0
w0 = 2
w1 = 2^^2 = 2^2 = 4
w2 = 4^^^^4
fww2(2) = fw(4^^^^4)(2) (which is actually larger than 2^^^...n ^'s...2, as f3(2) = 8 so f4(2) = f3(8) = 1024 so f5(2) = f4(1024) and etc
X giants in 1 field equals X giants in the field
X giants in 2 fields equals (X giants in 1 field) giants in 1 field
X giants in Y fields equals (X giants in 1 field) giants in Y-1 fields)
1 giant in 2 fields equals (1 giant in 1 field) giants in 1 field
1 giant in 1 field = 2
(2) giants in 1 field = fw(4^^^^4)(2)
2 giants in 2 fields = (2 giants in 1 field) giants in 1 field
= fw(4^^^4)(2) giants in 1 field
Pretty big...
Other fun ones I'm going to define:
2 giants in 2 fields as a number literally means 2 giants in 2 fields as a function. Giant 2 = 2 Giants in 2 fields Giant Millillion = Millillion giants in Millillion fields
Giant Googol = Googol giants in Googol fields
Giant Googolplex = Googolplex giants in Googolplex fields
Giant Rayo = Rayo's number giants in Rayo's number fields
Giant Megaversal Limentallo = Megaversal Limentallo giants in Megaversal Limentallo fields Giant Botrakalillion = Botrakalillion giants in Botrakalillion fields
Giant Lin-Megoogol = Lin-Megoogol giants in Lin-Megoogol fields
Giant Terotetrep = Terotetrep giants in Terotetrep fields