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.