Berechnung der Busy-Beaver-Funktion
Die Busy-Beaver-Max-Shift-Funktion hat bekannte Werte für . Gibt es einen grundlegenden strukturellen Grund, warum es unvorstellbar ist, dass wir jemals für ? Was ist so anders an als an ? Oder ? Irgendwo auf dem Weg muss es einen fundamentalen Unterschied geben, sonst wäre im Prinzip für alle...