#70 Alan Turing: Der Vater der heutigen Informatik (Turing-Complete, Turing-Test, Halting-Problem, Turing-Maschine, Captcha)

Engineering Kiosk

Wenn man sich eigentlich mal fragt, auf wen die ganze heutige Entwicklung in der Informatik zurückführt, taucht immer wieder ein Name auf: Alan Turing. Sei es der Turing-Award (der Nobelpreis der Informatik), die Turing-Maschine oder der Turing-Test. Doch wer ist bzw. war Alan Turing eigentlich? Warum wurde nach ihm ein Award benannt? Was ist die Turing-Maschine und wofür ist sie gut? Was bedeutet es, wenn etwas Turing-Complete ist und wieso ist das Bestehen des Turing-Tests eigentlich so schwer?

In dieser Episode machen wir mal einen kleinen (historischen) Ausflug in einen Teil der theoretischen Informatik und schmeißen mit Begriffen wie dem Hilbert Kalkül, das Halting-Problem, dem Lambda Kalkül und Co um uns.

Bonus: Was die Band Abba mit Turing zu tun hat und warum Turing Serverless erfunden hat.

Unsere aktuellen Werbepartner findest du auf https://engineeringkiosk.dev/partners

Das schnelle Feedback zur Episode:

👍 (top) 👎 (geht so)

Feedback (gerne auch als Voice Message)

• EngKiosk Community: https://engineeringkiosk.dev/join-discord
• Email: [email protected]
• Mastodon: https://podcasts.social/@engkiosk
• Twitter: https://twitter.com/EngKiosk
• WhatsApp [phone]

Gerne behandeln wir auch euer Audio Feedback in einer der nächsten Episoden, einfach Audiodatei per Email oder WhatsApp Voice Message an [phone]

Links

• Engineering Kiosk Episode #68 Im "Flow" und Deepwork mit Kirill Sivy: https://engineeringkiosk.dev/podcast/episode/68-im-flow-und-deepwork-mit-kirill-sivy/
• Hackernews: https://news.ycombinator.com/
• printf Turing Complete: https://www.ioccc.org/2020/carlini/index.html
• Turing Award Gewinner: https://de.wikipedia.org/wiki/Turing_Award
• Engineering Kiosk Episode #48 Der Layer unter Docker: containerd, Kubernetes, Container Runtime Interface, CRI-O und Open Container Initiative (OCI): https://engineeringkiosk.dev/podcast/episode/48-der-layer-unter-docker-containerd-kubernetes-container-runtime-interface-cri-o-und-open-container-initiative-oci/
• Engineering Kiosk Episode #46 Welches Problem löst Docker?: https://engineeringkiosk.dev/podcast/episode/46-welches-problem-l%C3%B6st-docker/
• Advent of Code: https://adventofcode.com/
• Chatbot Eugene Goostman: https://de.wikipedia.org/wiki/Eugene_Goostman
• Google Duplex: An AI System for Accomplishing Real-World Tasks Over the Phone: https://ai.googleblog.com/2018/05/duplex-ai-system-for-natural-conversation.html
• LaMDA: our breakthrough conversation technology: https://blog.google/technology/ai/lamda/
• ‘Godfather of AI’ Geoffrey Hinton quits Google and warns over dangers of misinformation: https://www.theguardian.com/technology/2023/may/02/geoffrey-hinton-godfather-of-ai-quits-google-warns-dangers-of-machine-learning
• Künstliche Intelligenz und LaMDA: Warum Google einen neuen Turing-Test will: https://www.heise.de/hintergrund/Kuenstliche-Intelligenz-Warum-Google-einen-neuen-Turing-Test-will-7145019.html

Sprungmarken

(00:00:00) Intro

(00:00:53) Ist printf oder CSS Turing-Complete?

(00:04:40) Alan Turing und der Turing-Award und der Gruppenzwanz

(00:06:55) Was ist der Turing Award?

(00:11:33) Wer ist Alan Turing?

(00:14:12) Was ist die Turing-Maschine und was bedeutet Turing-Complete?

(00:30:45) Das Halting-Problem

(00:35:27) Was ist der Turing-Test? Wer hat diesen bestanden? Und die Geschichte von CAPTCHA

(00:50:39) Welche Relevanz hat der Turing Test zur heutigen Zeit?

Hosts

• Wolfgang Gassler (https://mastodon.social/@woolf)
• Andy Grunwald (https://twitter.com/andygrunwald)

Feedback (gerne auch als Voice Message)

• EngKiosk Community: https://engineeringkiosk.dev/join-discord
• Email: [email protected]
• Mastodon: https://podcasts.social/@engkiosk
• Twitter: https://twitter.com/EngKiosk
• WhatsApp [phone]