Thread 16804422

>TREE(3)
>Graham's Number
>Cantor's infinities

i've read the description of TREE() several times and can not for the life of me understand it nor how it gets so big so quickly

>>16804430
What's so difficult about it?

>>16804430
me neither. its very badly explained

>>16804430
the possibility is endless
that's about it

>>16804422 (OP)
>>16804430
Successor(TREE(3))
CHECKMATE.

>>16804430
It's a number that doesn't fit in the universe, let alone our heads, but it does fit though, because the universe should and MUST contain everything, but it actually doesn't fit, but it does exist, now, if it exists, the only being who could contain it is God, but if God contains everything, how can we even being to approach such a concept when we can't even wrap our minds around a measly FINITE number? So, if such a thing as God exists, it's
completely beyond our understanding by infinite orders or magnitude, which means "Heaven", "Hell", etc. is just man made bullshit.

>>16805513
>you have to count every number less than a number or else it doesn't fit
Commie bullshit.

>>16805226
TREE(Successor(TREE(3)))

>>16804422 (OP)
TREE(3)+1
Graham's Number+1

>>16806446
Successor(TREE(Successor(TREE(3))))

>>16806926
TREE(Successor(TREE(Successor(TREE(3)))))
i get the feeling that TREE() is just acting as a very fancy Successor() and that our back and forth is isomorphic to just using Successor(), making >>16805226=4, >>16806446=5, >>16806926=6, and this post=7

SNEED(Chuck(1))

Collatz(Tree(Graham’s number)))

>>16804430
i think it was made for the purpose of showing you can make a function that's definable in mathematics/first order logic, but you can't prove its outputs were finite without invoking second order logic. basically the threshold of what was definable vs. provable, all because it has massive as fuck outputs.

>>16808368
Successor(TREE(Successor(TREE(Successor(TREE(3))))))

>>16808419
oh, that goes to the 421 loop, i saw it in a dream inside a dream
>>16808716
which is isomorphic to 8, i concede, take care and have a good day

>>16809048
>which is isomorphic to 8, i concede
No one was asking you for your opinions on eight.

>>16808387
your +1 is already included in infinity

>>16804422 (OP)
Ah yes, the largest Math is Graham Tree