Binphi

Binphi is equal to \(f_{\varphi(\varphi(1,0),0)}(10)\) using the fast-growing hierarchy.My system of number names (FGS) - Traveling To The Infinity The term was coined by wiki user Denis Maksudov. It is equal to \(f_{\varphi(\varepsilon_0,0)}(10)\). The number is comparable to tethrato-tethrathoth.
== Etymology ==
The 3 parts of the name, "bi", "in" and "phi", mean 2, the "in-" operation and \(\varphi\) function respectively, which form \(\varphi(\varphi(\varphi(0,0),0),0)\) (i.e. 2 more insertions of \(\varphi\)) when concatenated backwards. So the full name indicates the ordinal index of the FGH.
== Sources ==
Category:Numbers
Category:Numbers by Denis Maksudov
Category:10-based FGH numbers
Category:Binary phi level
Category:-phi