Heiner Marxen discovered BB(5) some thirty years ago or so. But it was not proven until just recently. Now it has been formally proven.
Massive victory for Heiner Marxen
Moderator: Ras
-
- Posts: 12778
- Joined: Wed Mar 08, 2006 8:57 pm
- Location: Redmond, WA USA
Massive victory for Heiner Marxen
Taking ideas is not a vice, it is a virtue. We have another word for this. It is called learning.
But sharing ideas is an even greater virtue. We have another word for this. It is called teaching.
But sharing ideas is an even greater virtue. We have another word for this. It is called teaching.
-
- Posts: 3621
- Joined: Wed Mar 08, 2006 8:15 pm
- Full name: Jouni Uski
Re: Massive victory for Heiner Marxen
Please explain problem in 1-3 sentences. Stupid videos
.

Jouni
-
- Posts: 12778
- Joined: Wed Mar 08, 2006 8:57 pm
- Location: Redmond, WA USA
Re: Massive victory for Heiner Marxen
The busy beaver game aims to find a terminating program of a given size that (depending on definition) either produces the most output possible, or runs for the longest number of steps. Since an endlessly looping program producing infinite output or running for infinite time is easily conceived, such programs are excluded from the game.
The most interesting thing about this problem is the connection to other mathematical problems.
The most interesting thing about this problem is the connection to other mathematical problems.
Taking ideas is not a vice, it is a virtue. We have another word for this. It is called learning.
But sharing ideas is an even greater virtue. We have another word for this. It is called teaching.
But sharing ideas is an even greater virtue. We have another word for this. It is called teaching.
-
- Posts: 865
- Joined: Thu Mar 09, 2006 4:50 pm
- Location: Austria
- Full name: Franz Huber
Re: Massive victory for Heiner Marxen
Hi,
here is Heiner's website about Busy Beavers:
http://turbotm.de/~heiner/BB/index.html
Regards,
Franz
here is Heiner's website about Busy Beavers:
http://turbotm.de/~heiner/BB/index.html
Regards,
Franz