Ein fleiĂiger Biber ist eine Code-Golf-Gewinner-Turingmaschine -- eine die mit möglichst wenig Programmcode möglichst lange lĂ€uft ohne in eine Endlosschleife zu gehen. Völlig ĂŒberraschend wurde kĂŒrzlich bewiesen, dass 5 interne ZustĂ€nde eine maximale Laufzeit von 47,176,870 Schritten ermöglichen. Das ist ein Durchbruch!
Dieses Mal gehtâs wieder etwas in die theoretische Informatik. Ein paar sogenannte Hobbymathematiker*innen haben nĂ€mlich BB(5) berechnet, d.h. die maximale Laufzeit einer anhaltenden Turingmaschine mit 5 internen ZustĂ€nden.
Was das mit Berechenbarkeit, groĂen Zahlen und der Goldbachvermutung zu tun hat, bespreche ich hier in der Sommerfolge. Wir mĂŒssen nĂ€mlich nur noch bis BB(27) vorstoĂen, bis wir die Goldbachvermutung algorithmisch lösen können. Kann aber noch dauern, denn BB(5) hat 41 Jahre gedauert.
Â
Feedback gerne auf Mastodon @Eigenraum@podcasts.social, an feedback (bei) eigenpod.de oder in die Kommentarspalte auf der Episodenseite.