Unproven conjectures

A forum where anything goes. 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. This is the forum for "non-academic" content.
Post Reply
Hubi1857
Posts: 106
Joined: December 25th, 2019, 5:24 am
Location: Berlin/Germany
Contact:

Unproven conjectures

Post by Hubi1857 » January 23rd, 2020, 7:32 pm

Rhombic wrote:
January 10th, 2020, 6:56 pm
A philosophical question...

If a still life only has itself as a predecessor, clearly it is its only father, its only grandfather, its only great-grandfather and so on. Does that mean that it would be a Garden of Eden, by induction?
A philosophical answer:

If so Garden of Eden would be pretty overcrowded with still lifes. Absolutely no space anymore for apple trees, animals, galaxies and such...
Michael Ernst Hubi homo homunculus Hubertz
artist - composer - phantastrophysicist @ExtinctionRebellion

Lou Reed about time, Turing tapes and data streams:
"First thing you learn is that you always got to wait"

User avatar
Moosey
Posts: 4306
Joined: January 27th, 2019, 5:54 pm
Location: here
Contact:

Re: Unproven conjectures

Post by Moosey » January 23rd, 2020, 7:39 pm

Rhombic wrote:
January 10th, 2020, 6:56 pm
A philosophical question...

If a still life only has itself as a predecessor, clearly it is its only father, its only grandfather, its only great-grandfather and so on. Does that mean that it would be a Garden of Eden, by induction?
No; a still life is its own predecessor and therefore has a predecessor and therefore is not a garden of eden
Though if it is its only predecessor, it is a near GoE.
not active here but active on discord

Hubi1857
Posts: 106
Joined: December 25th, 2019, 5:24 am
Location: Berlin/Germany
Contact:

Re: Unproven conjectures

Post by Hubi1857 » January 23rd, 2020, 7:52 pm

Moosey wrote:
January 23rd, 2020, 7:39 pm
No; a still life is its own predecessor and therefore has a predecessor and therefore is not a garden of eden
Though if it is its only predecessor, it is a near GoE.
Oh, there are lots and lots and lots of unproven conjectures out there which only philosophers care much about.

BTW: Pleased to post you again, @Moosey!
Michael Ernst Hubi homo homunculus Hubertz
artist - composer - phantastrophysicist @ExtinctionRebellion

Lou Reed about time, Turing tapes and data streams:
"First thing you learn is that you always got to wait"

Hubi1857
Posts: 106
Joined: December 25th, 2019, 5:24 am
Location: Berlin/Germany
Contact:

Re: Unproven conjectures

Post by Hubi1857 » January 23rd, 2020, 8:49 pm

With each generation you usually have, digitally spoken,

1 father
10 grandfathers
100 great grandfathers
1000 great great grandfathers
10000 great great great grandfathers
100000 (great^100) grandfathers
1000000 (great^101) grandfathers
10000000 (great^(100^1)) grandfathe
100000000 (great^(100^10)) grandfathers
etc pp.

According to Gottfried Wilhelm Leibniz, at least.
See -> https://wikipedia.org/wiki/Gottfried_Wilhelm_Leibniz
Michael Ernst Hubi homo homunculus Hubertz
artist - composer - phantastrophysicist @ExtinctionRebellion

Lou Reed about time, Turing tapes and data streams:
"First thing you learn is that you always got to wait"

User avatar
Moosey
Posts: 4306
Joined: January 27th, 2019, 5:54 pm
Location: here
Contact:

Re: Unproven conjectures

Post by Moosey » January 23rd, 2020, 9:24 pm

Hubi1857 wrote:
January 23rd, 2020, 8:49 pm
With each generation you usually have, digitally spoken,

1 father
10 grandfathers
100 great grandfathers
1000 great great grandfathers
10000 great great great grandfathers
100000 (great^100) grandfathers
1000000 (great^101) grandfathers
10000000 (great^(100^1)) grandfathe
100000000 (great^(100^10)) grandfathers
etc pp.

According to Gottfried Wilhelm Leibniz, at least.
See -> https://wikipedia.org/wiki/Gottfried_Wilhelm_Leibniz
That seems kind of off-topic...
Also that reminds me of the Goodstein sequence
Last edited by Moosey on January 24th, 2020, 12:53 pm, edited 1 time in total.
not active here but active on discord

KennyFromSouthPark
Posts: 30
Joined: January 17th, 2020, 12:29 am

Re: Unproven conjectures

Post by KennyFromSouthPark » January 24th, 2020, 10:23 am

Moosey wrote:
January 23rd, 2020, 9:24 pm
That seems kind of off-topic...
Also that reminds me of the Goldstein sequence
Strictly speaking it was the reply of Hubi1857 to this philosophical question about grandfathers and the Garden of Eden:
Rhombic wrote:
January 10th, 2020, 6:56 pm
A philosophical question...

If a still life only has itself as a predecessor, clearly it is its only father, its only grandfather, its only great-grandfather and so on. Does that mean that it would be a Garden of Eden, by induction?
And your reply to Rhombic:
Moosey wrote:
January 23rd, 2020, 7:39 pm
Rhombic wrote:
January 10th, 2020, 6:56 pm
A philosophical question...

If a still life only has itself as a predecessor, clearly it is its only father, its only grandfather, its only great-grandfather and so on. Does that mean that it would be a Garden of Eden, by induction?
No; a still life is its own predecessor and therefore has a predecessor and therefore is not a garden of eden
Though if it is its only predecessor, it is a near GoE.
BTW: the Goldstein sequence is completely irrelevant and useless to skillful theoretical and mathematical physicists like me!
Kenny of South Park, homo extinctus maximus
@Hubi1857
artist - musician - communication scientist @ExtinctionRebellion

Laurie Anderson about years, quasi-religious rites and life as such:
"You were born, and so you're free, so, Happy Birthday!"

User avatar
Moosey
Posts: 4306
Joined: January 27th, 2019, 5:54 pm
Location: here
Contact:

Re: Unproven conjectures

Post by Moosey » January 24th, 2020, 12:53 pm

I meant goodstein
not active here but active on discord

User avatar
pcallahan
Posts: 854
Joined: April 26th, 2013, 1:04 pm

Re: Unproven conjectures

Post by pcallahan » January 24th, 2020, 1:04 pm

Moosey wrote:
January 24th, 2020, 12:53 pm
I meant goodstein
Your misspelling got the whole thread demoted to Sandbox. Shame on you! :D

KennyFromSouthPark
Posts: 30
Joined: January 17th, 2020, 12:29 am

Re: Unproven conjectures

Post by KennyFromSouthPark » January 24th, 2020, 1:08 pm

:wink:
Kenny of South Park, homo extinctus maximus
@Hubi1857
artist - musician - communication scientist @ExtinctionRebellion

Laurie Anderson about years, quasi-religious rites and life as such:
"You were born, and so you're free, so, Happy Birthday!"

User avatar
Moosey
Posts: 4306
Joined: January 27th, 2019, 5:54 pm
Location: here
Contact:

Re: Unproven conjectures

Post by Moosey » January 24th, 2020, 2:01 pm

pcallahan wrote:
January 24th, 2020, 1:04 pm
Moosey wrote:
January 24th, 2020, 12:53 pm
I meant goodstein
Your misspelling got the whole thread demoted to Sandbox. Shame on you! :D
Actually it was just the off topic posts by Hubi and me
Not sure why this went to the sandbox since it was on topic
not active here but active on discord

User avatar
dvgrn
Moderator
Posts: 10713
Joined: May 17th, 2009, 11:00 pm
Location: Madison, WI
Contact:

Re: Unproven conjectures

Post by dvgrn » January 24th, 2020, 2:35 pm

Moosey wrote:
January 24th, 2020, 2:01 pm
Not sure why this went to the sandbox since it was on topic
There were some further off-topic replies to your message, so it seemed less confusing to just split the thread at the point where it went off the rails. There were already a couple of on-topic replies that addressed the same point, but mostly your post was an unintended casualty; feel free to re-post if you want.

User avatar
pcallahan
Posts: 854
Joined: April 26th, 2013, 1:04 pm

Re: Unproven conjectures

Post by pcallahan » January 24th, 2020, 2:42 pm

Well, "unproven conjectures" means conjectures about CGOL and this is backed up by the first post:
Are there any interesting unproven conjectures in the Game of Life?
So I think it is off-topic unless it is at least about cellular automata. (Never mind, I just followed Moosey's "this" link and I agree it's on topic)

Hubi1857
Posts: 106
Joined: December 25th, 2019, 5:24 am
Location: Berlin/Germany
Contact:

Re: Unproven conjectures

Post by Hubi1857 » January 24th, 2020, 6:38 pm

dvgrn wrote:
January 24th, 2020, 2:35 pm
There were already a couple of on-topic replies that addressed the same point, but mostly your post was an unintended casualty; feel free to re-post if you want.
And this is https://wikipedia.org/wiki/Goodstein%27s_theorem

Just in case you can afford a few minutes to waste, of course, or simply do not know what Goodsteins theorem is all about, feel free to read it thoroughly...
Michael Ernst Hubi homo homunculus Hubertz
artist - composer - phantastrophysicist @ExtinctionRebellion

Lou Reed about time, Turing tapes and data streams:
"First thing you learn is that you always got to wait"

Hubi1857
Posts: 106
Joined: December 25th, 2019, 5:24 am
Location: Berlin/Germany
Contact:

Re: POTY 2019 Nomination Thread

Post by Hubi1857 » January 28th, 2020, 9:45 am

Entity Valkyrie 2 wrote:
January 28th, 2020, 3:35 am
I nominate the P7 pipsquirter variants
And here all digital P011 pipsquirter variants:

Variant 000 = P{sunday, paradise, Garden of Eden, The Big Bang} is still mysteriously only conjectured so far and thus needs a proof urgently before the apocalypse strucks and it doesn't matter anymore.

The rest of the set is perfectly well known and widely accepted amongs each and every possible scientific community an average mathematician is able to imagine.

So here they are:

variant 001 = monday
variant 011 = tuesday
variant 011 = wednesday
variant 100 = thursday
variant 101 = friday
variant 110 = saturday
variant 111 = sunday
Michael Ernst Hubi homo homunculus Hubertz
artist - composer - phantastrophysicist @ExtinctionRebellion

Lou Reed about time, Turing tapes and data streams:
"First thing you learn is that you always got to wait"

Post Reply