My number is larger [GAME]

A forum for topics that don't fit elsewhere. Introduce yourselves to other members of the forums, discuss how your name evolves when written out in the Game of Life, or just tell us how you found it. Forum rules still apply.
User avatar
Moosey
Posts: 4315
Joined: January 27th, 2019, 5:54 pm
Contact:

Re: My number is larger [GAME]

Post by Moosey »

that's way too big a jump imo

we're not even out of tetration yet, let alone into expansion
κ is measurable iff there is a nontrivial elementary embedding j:V→M (M transitive) with critical point κ
MathAndCode
Posts: 5274
Joined: August 31st, 2020, 5:58 pm

Re: My number is larger [GAME]

Post by MathAndCode »

Code: Select all

if the Ackermann function is considered to be past up-arrows:
    2↑↑9
else:
    A(4, 6)
I am tentatively considering myself back.
Hunting
Posts: 4401
Joined: September 11th, 2017, 2:54 am

Re: My number is larger [GAME]

Post by Hunting »

Moosey wrote: November 27th, 2020, 12:11 pm 2^^6 (sorry, quite a jump)
What does this mean
User avatar
Moosey
Posts: 4315
Joined: January 27th, 2019, 5:54 pm
Contact:

Re: My number is larger [GAME]

Post by Moosey »

MathAndCode wrote: November 27th, 2020, 8:55 pm

Code: Select all

if the Ackermann function is considered to be past up-arrows:
    2↑↑9
else:
    A(4, 6)
they're basically the same thing, so either is fine
Hunting wrote: November 27th, 2020, 9:40 pm
Moosey wrote: November 27th, 2020, 12:11 pm 2^^6 (sorry, quite a jump)
What does this mean
wdym? if you're asking what 2^^6 is, it's 2 tetrated to the 6 = 2^2^2^2^2^2 (associative right; that is, (2^(2^(2^(2^(2^2))))))
κ is measurable iff there is a nontrivial elementary embedding j:V→M (M transitive) with critical point κ
Hunting
Posts: 4401
Joined: September 11th, 2017, 2:54 am

Re: My number is larger [GAME]

Post by Hunting »

Moosey wrote: November 27th, 2020, 9:43 pm
MathAndCode wrote: November 27th, 2020, 8:55 pm

Code: Select all

if the Ackermann function is considered to be past up-arrows:
    2↑↑9
else:
    A(4, 6)
they're basically the same thing, so either is fine
Hunting wrote: November 27th, 2020, 9:40 pm
Moosey wrote: November 27th, 2020, 12:11 pm 2^^6 (sorry, quite a jump)
What does this mean
wdym? if you're asking what 2^^6 is, it's 2 tetrated to the 6 = 2^2^2^2^2^2 (associative right; that is, (2^(2^(2^(2^(2^2))))))

Code: Select all

f(0)=1
f(x) = 3 ↑^f(x-1) 3
f(3856)

// This is my 3856th post
User avatar
wzkchem5
Posts: 127
Joined: April 17th, 2020, 2:19 am
Location: Valles Marineris, Mars

Re: My number is larger [GAME]

Post by wzkchem5 »

Hunting wrote: November 27th, 2020, 9:53 pm f(0)=1
f(x) = 3 ↑^f(x-1) 3[/code]

f(3856)

// This is my 3856th post
I would say this is too much a jump
The Red Phoenix, The Yellow Phoenix, The Pink Phoenix And The Multicolored Phoenix
Hunting
Posts: 4401
Joined: September 11th, 2017, 2:54 am

Re: My number is larger [GAME]

Post by Hunting »

wzkchem5 wrote: November 28th, 2020, 2:20 am
Hunting wrote: November 27th, 2020, 9:53 pm f(0)=1
f(x) = 3 ↑^f(x-1) 3[/code]

f(3856)

// This is my 3856th post
I would say this is too much a jump
Well this is my best attempt at something non-trivial (i. e. not just adding arrows)
User avatar
Moosey
Posts: 4315
Joined: January 27th, 2019, 5:54 pm
Contact:

Re: My number is larger [GAME]

Post by Moosey »

Hunting wrote: November 28th, 2020, 3:53 am
wzkchem5 wrote: November 28th, 2020, 2:20 am
Hunting wrote: November 27th, 2020, 9:53 pm f(0)=1
f(x) = 3 ↑^f(x-1) 3[/code]

f(3856)

// This is my 3856th post
I would say this is too much a jump
Well this is my best attempt at something non-trivial (i. e. not just adding arrows)
it's to much of a jump
it's roughly g3856

anyway 2^^15
κ is measurable iff there is a nontrivial elementary embedding j:V→M (M transitive) with critical point κ
Hunting
Posts: 4401
Joined: September 11th, 2017, 2:54 am

Re: My number is larger [GAME]

Post by Hunting »

Moosey wrote: November 29th, 2020, 11:54 am
Hunting wrote: November 28th, 2020, 3:53 am
wzkchem5 wrote: November 28th, 2020, 2:20 am

I would say this is too much a jump
Well this is my best attempt at something non-trivial (i. e. not just adding arrows)
it's to much of a jump
it's roughly g3856
Well, I don't know any googology or what is g.

So

Code: Select all

f(0)=1
f(y)=y↑↑f(f(y-1), y)
f(3856)
User avatar
Moosey
Posts: 4315
Joined: January 27th, 2019, 5:54 pm
Contact:

Re: My number is larger [GAME]

Post by Moosey »

Hunting wrote: November 29th, 2020, 11:59 am
Moosey wrote: November 29th, 2020, 11:54 am
Hunting wrote: November 28th, 2020, 3:53 am

Well this is my best attempt at something non-trivial (i. e. not just adding arrows)
it's to much of a jump
it's roughly g3856
Well, I don't know any googology or what is g.

So

Code: Select all

f(0)=1
f(y)=y↑↑f(f(y-1), y)
f(3856)
:thinking: you don't define how f takes two arguments, that's not even defined
κ is measurable iff there is a nontrivial elementary embedding j:V→M (M transitive) with critical point κ
Hunting
Posts: 4401
Joined: September 11th, 2017, 2:54 am

Re: My number is larger [GAME]

Post by Hunting »

Moosey wrote: November 29th, 2020, 12:14 pm
Hunting wrote: November 29th, 2020, 11:59 am
Moosey wrote: November 29th, 2020, 11:54 am
it's to much of a jump
it's roughly g3856
Well, I don't know any googology or what is g.

So

Code: Select all

f(0)=1
f(y)=y↑↑f(f(y-1), y)
f(3856)
:thinking: you don't define how f takes two arguments, that's not even defined
Sry ignore the second argument

it was left there when simplifying
User avatar
Moosey
Posts: 4315
Joined: January 27th, 2019, 5:54 pm
Contact:

Re: My number is larger [GAME]

Post by Moosey »

Hunting wrote: November 29th, 2020, 12:16 pm
Moosey wrote: November 29th, 2020, 12:14 pm
Hunting wrote: November 29th, 2020, 11:59 am

Well, I don't know any googology or what is g.

So

Code: Select all

f(0)=1
f(y)=y↑↑f(f(y-1), y)
f(3856)
:thinking: you don't define how f takes two arguments, that's not even defined
Sry ignore the second argument

it was left there when simplifying
ok, that's still illdefined though: observe:

f(4) = 4^^f(f(3)) = 4^^f(27) -> eventually references f(4) again, thus f(4) and everything above is illdefined
f(3) = 3^^f(f(2)) = 3^^2 = 27
f(2) = 2^^f(f(1)) = 2
f(1) = 1

I'd recommend you make it f(y+1) = y^^f(y) or something so that it's defined and pentation level (but that's still WAAAAY too big)
κ is measurable iff there is a nontrivial elementary embedding j:V→M (M transitive) with critical point κ
Hunting
Posts: 4401
Joined: September 11th, 2017, 2:54 am

Re: My number is larger [GAME]

Post by Hunting »

Moosey wrote: November 29th, 2020, 12:18 pm
Hunting wrote: November 29th, 2020, 12:16 pm
Moosey wrote: November 29th, 2020, 12:14 pm

:thinking: you don't define how f takes two arguments, that's not even defined
Sry ignore the second argument

it was left there when simplifying
ok, that's still illdefined though: observe:

f(4) = 4^^f(f(3)) = 4^^f(27) -> eventually references f(4) again, thus f(4) and everything above is illdefined
f(3) = 3^^f(f(2)) = 3^^2 = 27
f(2) = 2^^f(f(1)) = 2
f(1) = 1

I'd recommend you make it f(y+1) = y^^f(y) or something so that it's defined and pentation level (but that's still WAAAAY too big)
Dang. I still need two arguments

f(x, 0)=1
f(x, y)=y↑↑f(x-1, f(x, y-1))

Isn't pentation too trivial as it's just adding an arrow to tetration?
User avatar
Moosey
Posts: 4315
Joined: January 27th, 2019, 5:54 pm
Contact:

Re: My number is larger [GAME]

Post by Moosey »

Hunting wrote: November 29th, 2020, 1:03 pm
Moosey wrote: November 29th, 2020, 12:18 pm
Hunting wrote: November 29th, 2020, 12:16 pm
Sry ignore the second argument

it was left there when simplifying
ok, that's still illdefined though: observe:

f(4) = 4^^f(f(3)) = 4^^f(27) -> eventually references f(4) again, thus f(4) and everything above is illdefined
f(3) = 3^^f(f(2)) = 3^^2 = 27
f(2) = 2^^f(f(1)) = 2
f(1) = 1

I'd recommend you make it f(y+1) = y^^f(y) or something so that it's defined and pentation level (but that's still WAAAAY too big)
Dang. I still need two arguments

f(x, 0)=1
f(x, y)=y↑↑f(x-1, f(x, y-1))

Isn't pentation too trivial as it's just adding an arrow to tetration?
not at this point, no
still illdefined since x will go to 0 and you don't have a condition for that
κ is measurable iff there is a nontrivial elementary embedding j:V→M (M transitive) with critical point κ
User avatar
Moosey
Posts: 4315
Joined: January 27th, 2019, 5:54 pm
Contact:

Re: My number is larger [GAME]

Post by Moosey »

2^^32
κ is measurable iff there is a nontrivial elementary embedding j:V→M (M transitive) with critical point κ
User avatar
EvinZL
Posts: 1075
Joined: November 8th, 2018, 4:15 pm
Location: here

Re: My number is larger [GAME]

Post by EvinZL »

2^^^5
User avatar
Moosey
Posts: 4315
Joined: January 27th, 2019, 5:54 pm
Contact:

Re: My number is larger [GAME]

Post by Moosey »

2^^^6 // thx
κ is measurable iff there is a nontrivial elementary embedding j:V→M (M transitive) with critical point κ
User avatar
NoAyeBeardo
Posts: 261
Joined: June 16th, 2020, 12:38 pm
Location: A house, or a flat, or a [click to expand]

Re: My number is larger [GAME]

Post by NoAyeBeardo »

2^^^8
Not inactive any more! :D
Hunting
Posts: 4401
Joined: September 11th, 2017, 2:54 am

Re: My number is larger [GAME]

Post by Hunting »

2 ↑^(2^^^8) 8
User avatar
Hdjensofjfnen
Posts: 1769
Joined: March 15th, 2016, 6:41 pm
Location: Eastern Time (UTC-4)

Re: My number is larger [GAME]

Post by Hdjensofjfnen »

Hunting wrote: November 30th, 2020, 9:18 pm 2 ↑^(2^^^8) 8
// That looks pretty large in comparison to the last number.
User avatar
Moosey
Posts: 4315
Joined: January 27th, 2019, 5:54 pm
Contact:

Re: My number is larger [GAME]

Post by Moosey »

Hdjensofjfnen wrote: November 30th, 2020, 9:44 pm
Hunting wrote: November 30th, 2020, 9:18 pm 2 ↑^(2^^^8) 8
// That looks pretty large in comparison to the last number.
// yup, 2{2^^^8}8 is a touch large compared to 2^^^8

2^^^12
κ is measurable iff there is a nontrivial elementary embedding j:V→M (M transitive) with critical point κ
Hunting
Posts: 4401
Joined: September 11th, 2017, 2:54 am

Re: My number is larger [GAME]

Post by Hunting »

Moosey wrote: November 30th, 2020, 10:47 pm
Hdjensofjfnen wrote: November 30th, 2020, 9:44 pm
Hunting wrote: November 30th, 2020, 9:18 pm 2 ↑^(2^^^8) 8
// That looks pretty large in comparison to the last number.
// yup, 2{2^^^8}8 is a touch large compared to 2^^^8

2^^^12
It's getting boring
2^^^(2^^6)
User avatar
Moosey
Posts: 4315
Joined: January 27th, 2019, 5:54 pm
Contact:

Re: My number is larger [GAME]

Post by Moosey »

k
2^^^(2^^^4)
κ is measurable iff there is a nontrivial elementary embedding j:V→M (M transitive) with critical point κ
User avatar
EvinZL
Posts: 1075
Joined: November 8th, 2018, 4:15 pm
Location: here

Re: My number is larger [GAME]

Post by EvinZL »

2^^^^4
User avatar
Moosey
Posts: 4315
Joined: January 27th, 2019, 5:54 pm
Contact:

Re: My number is larger [GAME]

Post by Moosey »

that's exactly the same but ok
3^^^^3 = g1
note: inductively, 3^^^^3 > 2^^^^4 = 2^^^2^^^4
3^^^^3 = 3^^^3^^^3

3^^^3 > 2^^^4

2^4 = 16 > 3^3 = 27
κ is measurable iff there is a nontrivial elementary embedding j:V→M (M transitive) with critical point κ
Post Reply