EIG039 Fünf fleißige Biber

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.
Ihr findet den Podcast im Original als "Eigenraum" in eurer Podcastapp.

[@mikebyron4092]

Ja, schöne Erklärung. Die Turing Maschine kannte ich nur vom hörensagen. Aber ist ja - wenn gut erklärt recht einfach. Danke :) LG

[@ThomasKahle]

Danke fürs Feedback!