Folge 43 - Das Halteproblem und wie Alan Turing herausfand, dass Computer nicht alles lösen können

Wer kennt es nicht: Man sitzt am Rechner und plötzlich friert das Pogramm ein, das man gerade nutzt. Aber was tun? Das Programm beenden? Darauf warten, dass es wieder funktioniert? Oder darauf, dass es sich von selbst beendet? Würde es sich denn irgendwann von selbst beenden?

In der 43. Folge von Informatik für die moderne Hausfrau beschäftigen wir uns mit einem der grundlegenden Probleme der theoretischen Informatik, nämlich mit dem sogenannten Halteproblem. Dazu tauchen wir ein wenig in die Welt des Informatikpioniers Alan Turing ein, der in den 1930er Jahren eine Art theoretisches Computermodell entwickelt hat, das wir heute als Turingmaschine kennen. Wir schauen uns an, welche Gedanken er sich zum Halteproblem gemacht hat und was diese über die Grenzen von Computern aussagen. 

Eine zugängliche (weil für Schüler*innen gedachte), ausführlichere Erklärung zu Turingmaschinen, dem Halteproblem und dem Begriff der Berechenbarkeit findet ihr hier: https://inf-schule.de/algorithmen/berechenbarkeit

Weitere anschauliche Informationen zur Turingmaschine findet ihr hier: https://www.matheprisma.uni-wuppertal.de/Module/Turing/pages/node3.htm

Eine Biographie von Alan Turing könnt ihr hier lesen: https://www.britannica.com/biography/Alan-Turing

Ein Doodle von Google zum 100. Geburtstag von Alan Turing und weitere Informationen über ihn und seine Arbeit findet ihr hier: https://doodles.google/doodle/alan-turings-100th-birthday/

Eine Folge des Mathematik-Podcasts "Eigenraum" von Thomas Kahle, die sich mit Turing-Maschinen beschäftigt, findet ihr hier: https://eigenpod.de/eig039-fuenf-fleissige-biber/

Alle Informationen zum Podcast findet ihr auf der zugehörigen Webseite https://www.informatik-hausfrau.de. Zur Kontaktaufnahme schreibt mir gerne eine Mail an mail@informatik-hausfrau.de oder meldet euch über Social Media. Auf Instagram und Bluesky ist der Podcast unter dem Handle @informatikfrau (bzw. @informatikfrau.bsky.social) zu finden. 

Wenn euch dieser Podcast gefällt, abonniert ihn doch bitte und hinterlasst eine positive Bewertung oder eine kurze Rezension, um ihm zu mehr Sichtbarkeit zu verhelfen. Rezensionen könnt ihr zum Beispiel bei Apple Podcasts schreiben oder auf panoptikum.social. 

Falls ihr den Podcast werbefrei hören möchtet oder die Produktion des Podcasts finanziell unterstützen möchtet, habt ihr die Möglichkeit, dies über die Plattform Steady zu tun. Weitere Informationen dazu sind hier zu finden: https://steadyhq.com/de/informatikfrau

Falls ihr mir auf anderem Wege etwas 'in den Hut werfen' möchtet, ist dies (auch ohne Registrierung) über die Plattform Ko-fi möglich: https://ko-fi.com/leaschoenberger

Dieser Podcast wird gefördert durch das Kulturbüro der Stadt Dortmund.