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

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

Engineering Kiosk vor 3 Jahren

0:00

56:59

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: 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