Magic: The Gathering ist Turing vollständig und es ist unbekannt, ob eine Turingmaschine entscheiden kann ob ein Zug legal ist.
--------
35:29
EIG048 Tausend Seiten Beweis (mit Manon)
Mit Manon Bischoff von Spektrum der Wissenschaft geht es unter anderem um die Bedeutung von langen Beweisen am Beispiel des geometrischen Langlands-Programms.
--------
41:50
EIG047 Wahrscheinlichkeitsworte
Bayern wird wahrscheinlich wieder Meister. Das ist leicht gesagt, aber wie wahrscheinlich ist das dann? Wie rechnet man das aus? Was bedeutet die Aussage überhaupt?
--------
31:22
EIG046 Die Zahllücke
In dieser Folge geht es um OEIS Musik und OEIS Statistiken. Das neue Intro wurde aus Primzahlen komprimiert und dann schauen wir nochmal nach, wie häufig, welche Zahl in der OEIS vorkommt. Wir sind Sloane's gap, der Zahllücke auf der Spur!
--------
33:33
EIG045 Umzugshilfe (mit Claudia)
Claudia Frick ist wieder da und hat ein Mathe-TikTok über das Moving Sofa Problem mitgebracht. Wir sprechen über dieses regelmäßig auftretende Umzugsproblem, TikTok, Friends, den elektrischen Mönch usw.
Österreich