Engineering Kiosk #70 Alan Turing: Der Vater der heutigen Informatik (Turing-Complete, Turing-Test, Halting-Problem, Turing-Maschine, Captcha)
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:
Feedback (gerne auch als Voice Message)
- EngKiosk Community: https://engineeringkiosk.dev/join-discord
- Email: stehtisch@engineeringkiosk.dev
- Mastodon: https://podcasts.social/@engkiosk
- Twitter: https://twitter.com/EngKiosk
- WhatsApp +49 15678 136776
Gerne behandeln wir auch euer Audio Feedback in einer der nächsten Episoden, einfach Audiodatei per Email oder WhatsApp Voice Message an +49 15678 136776
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: stehtisch@engineeringkiosk.dev
- Mastodon: https://podcasts.social/@engkiosk
- Twitter: https://twitter.com/EngKiosk
- WhatsApp +49 15678 136776