#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.Das schnelle Feedback zur Episode:👍 (top) 👎 (geht so)Feedback (gerne auch als Voice Message)EngKiosk Community: https://engineeringkiosk.dev/join-discord Email: [email protected]: https://podcasts.social/@engkioskTwitter: https://twitter.com/EngKioskWhatsApp +49 15678 136776Gerne behandeln wir auch euer Audio Feedback in einer der nächsten Episoden, einfach Audiodatei per Email oder WhatsApp Voice Message an +49 15678 136776LinksEngineering 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.htmlTuring Award Gewinner: https://de.wikipedia.org/wiki/Turing_AwardEngineering 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_GoostmanGoogle Duplex: An AI System for Accomplishing Real-World Tasks Over the Phone: https://ai.googleblog.com/2018/05/duplex-ai-system-for-natural-conversation.htmlLaMDA: 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-learningKü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.htmlSprungmarken(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?HostsWolfgang 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]: https://podcasts.social/@engkioskTwitter: https://twitter.com/EngKioskWhatsApp +49 15678 136776