Massive victory for Heiner Marxen

Discussion of anything and everything relating to chess playing software and machines.

Moderator: Ras

Dann Corbit
Posts: 12778
Joined: Wed Mar 08, 2006 8:57 pm
Location: Redmond, WA USA

Massive victory for Heiner Marxen

Post by Dann Corbit »

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.
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.
Jouni
Posts: 3621
Joined: Wed Mar 08, 2006 8:15 pm
Full name: Jouni Uski

Re: Massive victory for Heiner Marxen

Post by Jouni »

Please explain problem in 1-3 sentences. Stupid videos :cry: .
Jouni
Dann Corbit
Posts: 12778
Joined: Wed Mar 08, 2006 8:57 pm
Location: Redmond, WA USA

Re: Massive victory for Heiner Marxen

Post by Dann Corbit »

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.
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.
User avatar
F.Huber
Posts: 865
Joined: Thu Mar 09, 2006 4:50 pm
Location: Austria
Full name: Franz Huber

Re: Massive victory for Heiner Marxen

Post by F.Huber »

Hi,

here is Heiner's website about Busy Beavers:
http://turbotm.de/~heiner/BB/index.html

Regards,
Franz