Groups
Conversations
All groups and messages
Send feedback to Google
Help
Training
Sign in
Groups
Busy Beaver Discuss
Conversations
About
Groups keyboard shortcuts have been updated
Dismiss
See shortcuts
Busy Beaver Discuss
Contact owners and managers
1–30 of 46
Mark all as read
Report group
0 selected
Ewan Donovan
,
Terry Ligocki
4
12:04 AM
Question about BB(n) and different tape configurations.
You're very welcome. Hope to “see” you on the discord! Sent by modern magic - TJL On Feb 6, 2025,
unread,
Question about BB(n) and different tape configurations.
You're very welcome. Hope to “see” you on the discord! Sent by modern magic - TJL On Feb 6, 2025,
12:04 AM
Daniel Yuan
, …
Pascal Michel
5
Jan 17
New 2-state 5-symbol champion!
(1) Erratum: the first overflow rule should be 0 (11)^(x + 2) <A (23)^(y + 2) 0^3 --( 4x + 8y + 53
unread,
New 2-state 5-symbol champion!
(1) Erratum: the first overflow rule should be 0 (11)^(x + 2) <A (23)^(y + 2) 0^3 --( 4x + 8y + 53
Jan 17
Nicholas Drozd
, …
Terry Ligocki
33
10/31/24
Lin recurrence periods
Hey, I'm really late to the party but it was great to see what you've been working on and
unread,
Lin recurrence periods
Hey, I'm really late to the party but it was great to see what you've been working on and
10/31/24
Shawn Ligocki
9/20/24
One Collatz Coincidence
It turns out that many TMs (including the BB(5) and BB(2,4) champions) all simulate equivalent
unread,
One Collatz Coincidence
It turns out that many TMs (including the BB(5) and BB(2,4) champions) all simulate equivalent
9/20/24
Shawn Ligocki
, …
Pascal Michel
8
9/5/24
BB(3, 4) > Ack(14)
I have computed that t_1(n,e) = (16(4^n - 1)/3) e^2 + ((4^(n + 3) - 28)/3 - 3 x 2^(n + 2)) e + (4^(n
unread,
BB(3, 4) > Ack(14)
I have computed that t_1(n,e) = (16(4^n - 1)/3) e^2 + ((4^(n + 3) - 28)/3 - 3 x 2^(n + 2)) e + (4^(n
9/5/24
Shawn Ligocki
8/27/24
BB(2,4) proven
@mxdys has adapted their BB(5) Coq proof to show that S(2,4) = 3932964: https://www.sligocki.com/2024
unread,
BB(2,4) proven
@mxdys has adapted their BB(5) Coq proof to show that S(2,4) = 3932964: https://www.sligocki.com/2024
8/27/24
Shawn Ligocki
2
7/2/24
BB(5) Proven in Coq
Also, Blog post by Scott Aaronson about the new result: https://scottaaronson.blog/?p=8088 HackerNews
unread,
BB(5) Proven in Coq
Also, Blog post by Scott Aaronson about the new result: https://scottaaronson.blog/?p=8088 HackerNews
7/2/24
Shawn Ligocki
, …
Terry Ligocki
4
5/30/24
Allen Brady's Obituary
"I'm saddened by this..." On Wed, May 29, 2024 at 2:36 PM Terry Ligocki <tjligocki@
unread,
Allen Brady's Obituary
"I'm saddened by this..." On Wed, May 29, 2024 at 2:36 PM Terry Ligocki <tjligocki@
5/30/24
Pascal Michel
,
uni...@fu-solution.com
2
5/14/24
A (4,3) TM that never halts
sorry for the wasted effort. i've brushed up the code and fixed the bug and the good news is that
unread,
A (4,3) TM that never halts
sorry for the wasted effort. i've brushed up the code and fixed the bug and the good news is that
5/14/24
Shawn Ligocki
2
11/30/23
Spam
Ug, the spammers joined the group! I have added more restrictions including users having to request
unread,
Spam
Ug, the spammers joined the group! I have added more restrictions including users having to request
11/30/23
Shawn Ligocki
, …
Pascal Michel
4
11/9/23
BB(3, 3) is Hard
I give here more analysis of this (3,3) machine. If A(a,b,c) = ...0(12)^a (11)^b < A (11)^c 0...,
unread,
BB(3, 3) is Hard
I give here more analysis of this (3,3) machine. If A(a,b,c) = ...0(12)^a (11)^b < A (11)^c 0...,
11/9/23
Shawn Ligocki
10/19/23
Green's Machines
I have often heard about Milton Green's 1964 TMs, but found it hard to understand their behavior
unread,
Green's Machines
I have often heard about Milton Green's 1964 TMs, but found it hard to understand their behavior
10/19/23
uni...@fu-solution.com
, …
Shawn Ligocki
8
9/22/23
BB(2, 5) > 7.3 x 10^19016
Pascal, you inspired me to dig a little more into this TM! I also found it hard to characterize the
unread,
BB(2, 5) > 7.3 x 10^19016
Pascal, you inspired me to dig a little more into this TM! I also found it hard to characterize the
9/22/23
Shawn Ligocki
, …
nichol...@gmail.com
10
9/1/23
BB(2, 6) > 10↑↑70
I am delighted to report that my simulator is now able to verify Shawn's 10^^70 TM. The other big
unread,
BB(2, 6) > 10↑↑70
I am delighted to report that my simulator is now able to verify Shawn's 10^^70 TM. The other big
9/1/23
Pascal Michel
7/17/23
My webpages
My webpages about busy beavers are no longer at https://webusers.imj-prg.fr/~pascal.michel/index.html
unread,
My webpages
My webpages about busy beavers are no longer at https://webusers.imj-prg.fr/~pascal.michel/index.html
7/17/23
Shawn Ligocki
, …
Pascal Michel
5
6/2/23
BB(2, 6) > 10↑↑10↑↑10↑↑3
I give here more analyses on the Turing machine p3 found by Pavel Kropitz on May 19, 2023, with s(p3)
unread,
BB(2, 6) > 10↑↑10↑↑10↑↑3
I give here more analyses on the Turing machine p3 found by Pavel Kropitz on May 19, 2023, with s(p3)
6/2/23
Shawn Ligocki
5/17/23
BB(3, 4) > 10↑↑2048
Pavel Kropitz found a 3-state, 4-symbol TM which scores > 10↑↑2048! He originally shared it on the
unread,
BB(3, 4) > 10↑↑2048
Pavel Kropitz found a 3-state, 4-symbol TM which scores > 10↑↑2048! He originally shared it on the
5/17/23
Heiner Marxen
,
Shawn Ligocki
2
5/3/23
An encoding of large numbers
Thanks Heiner, this is very interesting. I especially like how they have made a standard way to
unread,
An encoding of large numbers
Thanks Heiner, this is very interesting. I especially like how they have made a standard way to
5/3/23
Pascal Michel
, …
Terry Ligocki
4
4/13/23
Paper from Vielhaber et al. on arxiv
Also, we may only be finding Collatz-like behavior in the BB candidates because it is one of the more
unread,
Paper from Vielhaber et al. on arxiv
Also, we may only be finding Collatz-like behavior in the BB candidates because it is one of the more
4/13/23
Konkhra
, …
Shawn Ligocki
3
11/24/22
AlphaTensor
Long ago when I started looking for Busy Beavers, my Dad and I tried using Simulated Annealing: https
unread,
AlphaTensor
Long ago when I started looking for Busy Beavers, my Dad and I tried using Simulated Annealing: https
11/24/22
nichol...@gmail.com
, …
Shawn Ligocki
16
10/24/22
Optimal block size
You're right, there's some kind of type error in what I'm trying to say. On the other
unread,
Optimal block size
You're right, there's some kind of type error in what I'm trying to say. On the other
10/24/22
Pascal Michel
9/1/22
My website
It seems that my website is no more available at its old address www.logique.jussieu.fr/~michel/ and
unread,
My website
It seems that my website is no more available at its old address www.logique.jussieu.fr/~michel/ and
9/1/22
Shawn Ligocki
,
Nicholas Drozd
2
7/12/22
BB(16) > Graham's number
I think it's entirely possible already that G < BB(6). G is a huge number of course, but it
unread,
BB(16) > Graham's number
I think it's entirely possible already that G < BB(6). G is a huge number of course, but it
7/12/22
nichol...@gmail.com
, …
Pascal Michel
6
6/28/22
Thoughts on the new champion
I give here more analysis about the machine M that Shawn ligocki found on May 27, 2022, with sigma(M)
unread,
Thoughts on the new champion
I give here more analysis about the machine M that Shawn ligocki found on May 27, 2022, with sigma(M)
6/28/22
Shawn Ligocki
, …
Sophie
25
6/22/22
BB(6, 2) > 4^4^4^4^4^7
The web page seems to crash when I use the Opera browser. On Wednesday, 22 June 2022 at 05:37:38 UTC+
unread,
BB(6, 2) > 4^4^4^4^4^7
The web page seems to crash when I use the Opera browser. On Wednesday, 22 June 2022 at 05:37:38 UTC+
6/22/22
Tristan Stérin
, …
Nicholas Drozd
5
6/11/22
Deciding 5-state bouncers collaboratively
Contributor @lijil has proposed a decider for Unilateral Bouncers: https://discuss.bbchallenge.org/t/
unread,
Deciding 5-state bouncers collaboratively
Contributor @lijil has proposed a decider for Unilateral Bouncers: https://discuss.bbchallenge.org/t/
6/11/22
Terry Ligocki
,
Tristan Stérin
3
6/9/22
Fwd: [EXTERNAL] Busy Beaver WWW site...
I listed the website on the newly created https://bbchallenge.org/story#related-links section. Don
unread,
Fwd: [EXTERNAL] Busy Beaver WWW site...
I listed the website on the newly created https://bbchallenge.org/story#related-links section. Don
6/9/22
Andrey Akinshin
, …
Bruce Smith
5
6/3/22
Beeping Busy Beavers and twin prime conjecture
> I think these are both reasonable points of view. They are. I interpreted his post as making a
unread,
Beeping Busy Beavers and twin prime conjecture
> I think these are both reasonable points of view. They are. I interpreted his post as making a
6/3/22
Tristan Stérin
6/2/22
On the hardness of knowing BB(15,2) and BB(5,4)
Dear all, I wanted to share with you a result that Damien and I worked on recently, available at
unread,
On the hardness of knowing BB(15,2) and BB(5,4)
Dear all, I wanted to share with you a result that Damien and I worked on recently, available at
6/2/22
Tristan Stérin
, …
Heiner Marxen
12
6/2/22
The Busy Beaver Challenge: https://bbchallenge.org
> Yes, the RPI page and work was very much like what you've started! The problem is these
unread,
The Busy Beaver Challenge: https://bbchallenge.org
> Yes, the RPI page and work was very much like what you've started! The problem is these
6/2/22