Engineering Kiosk

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


Listen Later

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 +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: [email protected]
  • Mastodon: https://podcasts.social/@engkiosk
  • Twitter: https://twitter.com/EngKiosk
  • WhatsApp +49 15678 136776
...more
View all episodesView all episodes
Download on the App Store

Engineering KioskBy Wolfgang Gassler, Andy Grunwald