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:
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
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
Transkript
Wolfi Gassler(00:00:03 - 00:00:48)
Dank Chet, GPT und Co. ist der Turing-Test in aller Munde. Aber was steckt eigentlich dahinter? Und damit willkommen zu einer neuen Episode des Engineering Kiosks. Einer ganz besonderen Episode. Denn sie ist der Start einer neuen Serie, in der wir Personen und ihre Erfindungen betrachten, die einen fundamentalen Einfluss auf die Informatik gehabt haben. In dieser Episode starten wir mit Alan Turing, dem Erfinder der Turing-Maschine und Namensgeber des Turing-Tests. Wir tauchen in die Berechenbarkeit ein, besprechen, ob Quantencomputer mehr leisten können, was das Hilbert-Kalkül ist, was Lambda-Funktionen damit zu tun haben und ob man Gott eigentlich logisch beweisen kann. Begleitet uns also auf eine Reise von den Anfängen der Computer bis zu den aktuellsten Themen im Spannungsfeld KI und Mensch. Und los geht's!
Andy Grunwald(00:00:53 - 00:01:02)
Wolfgang, ein Standardritual bei mir ist ein schlechtes Ritual. Ich nehme mein Handy abends mit ins Bett und scrolle immer zum Einschlafen durch Hackernews.
Wolfi Gassler(00:01:02 - 00:01:03)
Immerhin schon besser als Instagram.
Andy Grunwald(00:01:03 - 00:01:04)
Richtig.
Wolfi Gassler(00:01:05 - 00:01:08)
Hast du dein Display dann wenigstens auf diesen Nachtmodus geschalten?
Andy Grunwald(00:01:08 - 00:01:12)
Neuerdings wieder. Letzte Woche genauso umgestellt, nachdem es mich dann wieder nachts geblendet hat.
Wolfi Gassler(00:01:13 - 00:01:17)
Weil dich Kirill erinnert hat in unserem Gespräch über Flo, richtig?
Andy Grunwald(00:01:17 - 00:01:27)
Teilweise richtig, aber wenn wir Kirill jetzt auch wieder in der Leitung hätten, würde er sagen, nee, lass mal bitte das Handy irgendwie eine Stunde vorm Schlafen gehen irgendwie in der Küche und nimm das auf keinen Fall mit.
Wolfi Gassler(00:01:27 - 00:01:33)
Wer jetzt nicht weiß, von was wir sprechen, springt einfach zwei Episoden zurück zu Episode 68, da haben wir Kirill.
Andy Grunwald(00:01:33 - 00:01:40)
Auf jeden Fall kriegt man da ja auf Hacker News, das ist ja irgendwie, weiß ich nicht, so ein Nährboden für Trivia-Wissen. Interessante Dinge, die kein Mensch braucht.
Wolfi Gassler(00:01:40 - 00:01:42)
Da bist du Spezialist drin, ja das stimmt.
Andy Grunwald(00:01:43 - 00:02:01)
Ich mag es, deswegen lese ich Hacker News. Und ich lese Hacker News, damit ich mehr so Trivia-Wissen kriege. Wie dem auch sei. Ich weiß aber auch, es schadet mir. Auf jeden Fall. Wusstest du, dass das printf-Statement in der Problemiersprache C inzwischen mehr oder weniger als Turing-Complete gehandelt wird?
Wolfi Gassler(00:02:02 - 00:02:10)
Habe ich nicht gewusst, aber ich habe jetzt gleich parallel gegoogelt natürlich und der erste Treffer ist, dass es scheinbar nicht Turing-Complete ist, weil es irgendeine Schleife außen herum hat.
Andy Grunwald(00:02:10 - 00:03:19)
Das ist korrekt, aber ich finde es sehr sehr interessant und zwar ist die Main-Funktion wirklich eine While-Schleife und in dieser While-Schleife gibt es wirklich nur ein Printf-Befehl, was von einer unglaublich langen Kette an C-Makros zusammengehalten wird. Und zugegeben, da haben die auch noch ein scanf-Befehl, also um Eingaben von der Tastatur entgegenzunehmen. Und damit spielen die tic-tac-toe. Also ich wusste, ich hab gedacht, printf ist super, dass man dann irgendwie Dezimalzahlen immer mit zwei Nachkommastellen formatieren kann und sowas. Alles klasse. Aber dass man da wirklich so hart mit programmieren kann, muss ich zugeben, fand ich schon sportlich. Den C-Code für dieses mehr oder weniger Turing-Beispiel, Turing-Completeness-Beispiel für Printf verlinken wir natürlich auch in den Show Notes. Schaut euch's mal an. Ich hab versucht, hinterher zu steigen. Irgendwann hab ich aufgegeben. Und ich weiß ja nicht, ob... Ja, die Kritik. Hm. Ja, die ist valide. Das einzige printf-Statement oder das printf-Statement alleine ist gegebenenfalls nicht Turing-Complete, wegen der While-Schleife und wegen der Verwendung von einem scanf-Befehl. Aber hey, dass man so weit mit einem einzigen printf-Statement kommt, da muss ich schon sagen, Hut ab.
Wolfi Gassler(00:03:20 - 00:03:37)
Ein anderes klassisches Beispiel, was ja ganz oft erwähnt wird, ist CSS, dass CSS Turing Complete sei. Für die Vorbereitung für diese Episode habe ich jetzt aber herausgefunden, scheinbar ist es doch nicht Turing Complete. Also da scheiden sich die Geister. Aber jetzt mal eine Frage an dich. Hast du vor dieser Episode gewusst, was wirklich Turing Complete heißt?
Andy Grunwald(00:03:38 - 00:03:52)
Ich hatte eigentlich gedacht, du wolltest mich jetzt fragen, kann ich ein Div centern? Horizontal und vertikal. Die Antwort wäre nein gewesen. Und wenn du mir eine Person nennst, die das aus dem Stehgreif kann, dann unterstelle ich dir, dass du lügst.
Wolfi Gassler(00:03:52 - 00:03:54)
Du meinst, es ist komplizierter als Turing-Complete zu sein?
Andy Grunwald(00:03:54 - 00:04:02)
Ich finde, die Definition von Turing-Complete sollte irgendwie so in diese Richtung der Zentralisierung eines Div-Elements auf einer HTML-Seite gehen.
Wolfi Gassler(00:04:03 - 00:04:10)
Vielleicht kann dir ja irgendwer von unseren HörerInnen dann erklären, wie man Flexbox verwendet und sowas zentriert heutzutage.
Andy Grunwald(00:04:10 - 00:04:12)
Macht man heutzutage mit Flexbox.
Wolfi Gassler(00:04:12 - 00:04:13)
Sag mal, du hast unsere Webseite gebaut.
Andy Grunwald(00:04:14 - 00:04:37)
Ich glaube nicht, dass man einen Diff mit Flexbox centern, aber ich muss auch zugeben, ich habe keine Ahnung von CSS. Aber zurück zu deiner Frage. Wusste ich, was TuringComplete ist, bevor wir die Vorbereitung für diese Episode gestartet haben? Die richtige Antwort, also ich hätte es dir, glaube ich, nicht hinschreiben können, aber ich hätte dir sagen können, dass PowerPoint oder Excel oder Minecraft TuringComplete ist. Aber warum? Sehr wahrscheinlich, weil ich es auf HackerNews gelesen habe.
Wolfi Gassler(00:04:38 - 00:05:15)
Also immer dieses gefährliche Halbwissen. Ich muss ja dazu sagen, es ist gar nicht so leicht, diese ganze Theorie und darum haben wir uns ja überlegt, dass wir eben diese Episode dem ganzen Thema Turing widmen und vielleicht sogar noch ein bisschen weiter, dass wir eine Serie daraus machen. Es gibt nämlich den berühmten Turing Award, den wahrscheinlich auch viele schon mal gehört haben und in dem Turing Award gibt es ausgezeichnete Personen, die irgendwas Großes geschaffen haben für die Informatikwelt. Und wir haben uns eigentlich überlegt, dass es super interessant wäre, sich diese Personen mal genauer anzusehen und auch die Technologien, die dahinter stecken und was die uns gebracht haben und wo die denn jetzt aktuell liegen.
Andy Grunwald(00:05:15 - 00:06:02)
Einspruch. Du hast dir das überlegt, weil es war nämlich wie immer. Es war mal wieder ein Tag vor Episodenaufnahme. Die Standardfrage ging durch den Slack. Welches Thema machen wir denn? Grübel, grübel, grübel. Niemand kam zu einer Antwort. Und du hast vorgeschlagen, hey, pass mal auf, da gibt es doch diesen Turing Award. Lass uns doch mal schauen, wer denn so alles gewonnen hat. Und vielleicht machen wir daraus eine Serie. Und dann hab ich mir gedacht, das hat ja letztes Mal schon so super geklappt. Wir haben auch gedacht, wir machen jetzt eine komplette Serie zu Containern und Dockern und diesem ganzen Cloud-Native-Ekosystem und allem drum und dran. Und sind bei Folge 2 von Docker erstmal ausgestiegen. Und jetzt bin ich gespannt, wie lange wir hier mit dieser Serie, wie soll man sagen, durchhalten, bevor wir überhaupt die erste Episode aufgenommen haben. Aber ich mag deine Ambition, Wolfgang.
Wolfi Gassler(00:06:02 - 00:06:11)
Ja, ab zwei ist es eine Serie, oder? So wie die Physiker zählen, eins, zwei, viele. Das ist eindeutig schon eine Serie. Sobald du mehr als eine Episode hast, hast du schon eine Serie.
Andy Grunwald(00:06:11 - 00:06:17)
Hatte ich dir eigentlich mal erzählt, dass ich dem Begriff des Gruppenzwangs mal auf den Grund gegangen bin?
Wolfi Gassler(00:06:17 - 00:06:18)
Nein, erhelle mich bitte.
Andy Grunwald(00:06:18 - 00:06:26)
Ich habe mich damals gefragt, ab wann ist Gruppenzwang eigentlich Gruppenzwang? Das führt dann auf die Sprache zurück oder auf die Frage, ab wann ist eine Gruppe eine Gruppe?
Wolfi Gassler(00:06:27 - 00:06:30)
Ja, das ist die Frage, ob es eine mathematische Gruppe ist oder eine physikalische Gruppe.
Andy Grunwald(00:06:30 - 00:07:03)
Das ist genau richtig. Du bist schon sehr, sehr nah dran. Im mathematischen Sinne ist es eine Gruppe von zwei Leuten. Im sozialen, gesellschaftlichen Sinne ist es eine Gruppe von drei Elementen oder Leuten. Also, wenn jemand sagt, dass du alleine unterwegs bist, du musst jetzt auch eine kurze Hose tragen, wegen Gruppenzwang, kannst du sagen, tut mir leid, in der sozialen Sichtweise sind wir hier beide keine Gruppe. Es sei denn, du bist mit einem Mathematiker unterwegs, dann gibt es eine lustige Diskussion. Soviel dazu. Kommen wir zurück zu Turing Award. Wenn ich sage Turing Award, was ist das Erste, was dir einfällt?
Wolfi Gassler(00:07:03 - 00:07:04)
Nobelpreis der Informatik.
Andy Grunwald(00:07:04 - 00:07:08)
Boah, du hast das jetzt so richtig hochgestochen, weißt du, mit hohem Kinn erwähnt.
Wolfi Gassler(00:07:08 - 00:07:32)
Natürlich. Das ist interessant. Egal, wo du liest oder hörst vom Turing Award, es wird immer dazu gesagt, der Nobelpreis der Informatik. Das ist schon fast automatisch mit dabei. Du kannst mal googlen bei irgendwelchen News. Es steht immer dabei, der Nobelpreis der Informatik. Damit die Leute, die keine Ahnung haben, wer Turing eigentlich ist, auch verstehen, um was es sich eigentlich dreht. Aber für mich als Informatiker, ich kenne mehr Turing Award Gewinner als Nobelpreisträger.
Andy Grunwald(00:07:32 - 00:07:42)
Ich habe mir gerade die Frage gestellt, warum gibt es eigentlich gar keinen Nobelpreis für Mathematik und Informatik? Weil der Nobelpreis wird ja immer für Medizin und Chemie und so verteilt.
Wolfi Gassler(00:07:42 - 00:07:44)
Chemie, Chemie bitte, wichtig.
Andy Grunwald(00:07:44 - 00:07:56)
China, China, jaja klar. Das ist mal eine interessante Frage. Weiß ich nicht, okay. Okay, Nobelpreis der Informatik. Nobelpreis, da sag ich immer, die Leute sind danach reich. Kriegt man da auch Geld beim Nobelpreis der Informatik?
Wolfi Gassler(00:07:56 - 00:08:09)
Ja, man kriegt mittlerweile eine Million, wobei das jetzt ... Wird man beim Nobelpreis wirklich reich? Ich glaub, da bekommt man auch relativ wenig, oder? Ich glaub, das Ansehen ist sowohl beim Nobelpreis als auch beim Turing Award eigentlich das Wichtigere.
Andy Grunwald(00:08:09 - 00:08:12)
Okay, also eigentlich wie in der klassischen Forschung, man kriegt da eh kein Geld.
Wolfi Gassler(00:08:13 - 00:08:22)
Du kriegst eine Million mittlerweile, primär von Google gesponsert. Früher war es ein bisschen weniger. Aber wie gesagt, ums Geld geht es da eigentlich kaum.
Andy Grunwald(00:08:22 - 00:08:30)
Ich würde mal fast sagen, die Leute, die den Preis gewonnen haben, die haben zeittechnisch und arbeitstechnisch ein bisschen mehr als eine Million investiert, oder?
Wolfi Gassler(00:08:30 - 00:08:37)
Ja, die sind meistens auch schon ziemlich alt, die den bekommen, muss man eigentlich auch ganz klar sagen. bekommst du ja meistens für dein Lebenswerk.
Andy Grunwald(00:08:37 - 00:08:47)
Gib mir doch mal ein paar Namen, beziehungsweise gib mir doch mal ein paar Sachen, die erschaffen wurden, wofür dann dir Düring Award verliehen wurde. Das, was so eigentlich jedem mal was sagt.
Wolfi Gassler(00:08:47 - 00:09:20)
Also 1966 hat das Ganze begonnen und seitdem ist jedes Jahr eine Person ausgezeichnet worden. Gerade zu Beginn eigentlich hauptsächlich Männer, muss man sagen. Also es hat 40 Jahre gebraucht, bis die erste Frau ausgezeichnet wurde. Und da sind so Namen drunter, die wahrscheinlich jeder, der im Informatikbereich ein bisschen unterwegs ist, kennt von Donald Knuth zum Beispiel, der Tech erfunden hat, also das Grundsystem von LaTeX, was viele vielleicht kennen von der Uni-Zeit. Dijkstra, Dijkstra-Algorithmen im Grafenbereich kennt man wahrscheinlich. Tim Berners-Lee fürs World Wide Web.
Andy Grunwald(00:09:20 - 00:09:35)
Besonders Dijkstra. kenne ich immer nur zur Routenfindung und Routenalgorithmus und soviel ich weiß wird das auch sehr sehr viel in Netzwerkroutern und wirklich in Netzwerkswitches zur Shortest-Path-Analysis und sowas eingenutzt, oder?
Wolfi Gassler(00:09:36 - 00:09:59)
Ja, ja, also grundsätzlich haben diese Leute meistens ganz viele Algorithmen entwickelt. Und wie gesagt, es ist ein Lebenswerk, aber man kennt halt dann meistens eine Erfindung, die halt dann ganz groß geworden ist. Zum Beispiel die erste Frau, oder die zweite Frau, sorry, war die Barbara Liskov. Da kennt man zum Beispiel das Liskov'sche Substitionsprinzip aus der Objektorientierung, hat man vielleicht schon mal gehört. Aber die hat natürlich viel mehr gemacht.
Andy Grunwald(00:10:00 - 00:10:00)
Ich stehe auf dem Schlauch.
Wolfi Gassler(00:10:01 - 00:10:04)
Ja, das ist, weil du nur Go programmierst, da gibt es keine Objektorientierung.
Andy Grunwald(00:10:04 - 00:10:07)
Erklär das mal bitte für Leute wie mich, die ja nicht studiert haben.
Wolfi Gassler(00:10:07 - 00:10:17)
Ja, das ist im Prinzip, was du heute unter Polymorphie kennst bei der Objektorientierung, dass du einfach abgeleitete Klassen so behandeln kannst wie die Parent-Klasse, die übergeordnete Klasse.
Andy Grunwald(00:10:17 - 00:10:21)
Also sarkastisch gesprochen, normales Java Enterprise.
Wolfi Gassler(00:10:21 - 00:11:03)
Genau, genau. Oder dann gibt's zum Beispiel Helmen und Diffie. Diffie kennt man vielleicht aus der Kryptographie. Man kennt ja diese Nachnamen meistens nur von den Algorithmen, die es gibt. Und da kennt man halt dann meistens einen Algorithmus. Douglas Engelbart kennt man vielleicht Hypertext oder der Erfinder der Maus. Graham aus dem Compilerbau kennt man vielleicht. Dennis Ritchie, Betriebssysteme und C-Erfinder. Also er hat keine Betriebssysteme erfunden, aber er hat C erfunden und hat ganz viel in den Betriebssystembereichen, im Bereich der Betriebssysteme erfunden und keine Ahnung, kennst du vielleicht Carnegie und Ritchie? Das ist so die Standardkombination und das Horror-Autoren-Team, würde ich fast sagen, von diesem Buch, was kein Mensch versteht. Ich finde, das ist eines der unverständlichsten Bücher, die es gibt über C. Aber.
Andy Grunwald(00:11:03 - 00:11:22)
Weiß ich gar nicht, nur immer wenn ich Cunningham und Ritchie höre, dann frage ich mich, packst du die geschweifte Klammer in dieselbe und in die nächste Zeile? Ich glaub, da kennen die meisten Leute die beiden Namen her, weil dieser Coding-Style-Guide von Klammer in derselben Zeile wird ja auch sehr viel diskutiert. Und ich glaub, der heißt auch Cunningham und Ritchie-Style-Guide.
Wolfi Gassler(00:11:23 - 00:12:25)
Aber man sieht schon, es gibt aus allen Bereichen Leute, die den gewonnen haben und die wirklich viel für die Informatik getan haben und darum rentiert sich das meiner Meinung nach auch da mal in die Tiefe zu gehen. Aber bevor wir das Ganze machen, müssen wir natürlich den Grundvater mal verstehen, Turing, was Turing eigentlich so gemacht hat und warum der Preis eigentlich nach ihm benannt ist und was der für die Informatik so geleistet hat. Und Turing kennen wahrscheinlich viele aus Filmen, weil mittlerweile hat Hollywood das auch erkannt. Das war ein schräger Vogel, dieser Turing. Und der war ja auch im Weltkrieg in irgendeiner Form beteiligt. Zumindest wird das jetzt immer in diesen Filmen komplett herausgestrichen, dass der halt die Enigma damals entschlüsselt hat, also die Chiffriermaschine von den Deutschen. Und da kann man natürlich extrem cool Hollywood-Filme draufsetzen. Und darum werden wir das ganze rund um den Krieg und die Verschlüsselung und Entschlüsselung einfach mal auf die Seite legen, da kann man irgendwelche Hollywoodfilme anschauen, wenn man das unbedingt wissen will. Wir konzentrieren uns nochmal auf die andere Seite, auf die Logikermathematik und Informatikaseite und weniger die Kryptoseite.
Andy Grunwald(00:12:25 - 00:12:31)
Du hast ihn gerade als Vater genannt, Alan Turing war der Grundvater und ich habe mal nachgeguckt, soviel ich weiß, hatte er keine Kinder.
Wolfi Gassler(00:12:32 - 00:12:34)
Ja, die ganzen Preisträger sind ja seine Kinder, oder?
Andy Grunwald(00:12:34 - 00:12:43)
Ja, das ist so ne, so ne, so ne Frage. Also, ich mein, Alan Turing hat von 1912 bis 1954 gelebt und der Alan Turing Award oder der Turing Award wurde 1966 das erste Mal vergeben. Somit weiß er es ja eigentlich nicht.
Wolfi Gassler(00:12:47 - 00:13:04)
Ja, dumm gelaufen für ihn. Aber das ist ja meistens, wenn man post-Doom irgendwie so einen Preis bekommt oder so groß in die Höhe gelobt wird. Oft kommt man halt erst später drauf, wie intelligent alle waren. Also das Engineering-Kiosk wird man auch erst in 100 Jahren wahrscheinlich verstehen, was wir da geleistet haben, indem wir es miteinander ausgehalten haben.
Andy Grunwald(00:13:04 - 00:13:59)
Ich hoffe, die Gesellschaft ist dann schon ein bisschen weiter, als über die Themen, mit denen wir hier sprechen. Aber naja. Auf jeden Fall wurde der sogenannte Herr leider nicht sehr alt, 41 Jahre. Wie der Wolfgang schon sagte, war er Briti, Mathematiker, Kryptoanalytiker und Informatiker, obwohl man natürlich 1912 bis 1950 noch nicht ganz so viel von Informatik sprechen konnte. Deswegen hatte man das, glaube ich, eher Logiker genannt damals noch. Leider wurde der Herr nicht sehr alt, weil er Selbstmord begangen hat. Und zwar auf Basis einer Depression. Alan Turing war selbst homosexuell und damals war das noch eine Straftat. Und er wurde 1952, also zwei Jahre vor seinem Tod, zu einer chemischen Kastration verurteilt. Und anhand der nachfolgenden Hormonbehandlung erlitt er dann eine Depression und hat sich dann zwei Jahre später leider selbst umgebracht.
Wolfi Gassler(00:14:00 - 00:14:07)
Übrigens kleine Randnotiz, weil du gerade gesagt hast, damals war Homosexualität verboten, bis 1994 war das in Deutschland auch verboten.
Andy Grunwald(00:14:07 - 00:14:11)
Ich hoffe doch, dass die Gesellschaft sich weiterentwickelt und ja, gut.
Wolfi Gassler(00:14:11 - 00:14:26)
Aber tauchen wir mal ein in die Mathematik. Was wahrscheinlich ganz viele kennen ist ja die Turing-Maschine, hat man schon mal gehört. Den Turing-Test hat man wahrscheinlich auch mal gehört. Und warum diese zwei Dinge so fundamental sind, probieren wir jetzt mal zu analysieren.
Andy Grunwald(00:14:26 - 00:14:39)
Ich kann mich erinnern, dass ich im Studium irgendwas zur Turing-Maschine hatte. Theoretische Informatik 1 oder irgendwie sowas hieß das. Ich gebe zu, ich glaube, es hat mich in dem Beruf der Webentwicklung und Co. bisher noch nicht weitergebracht. Jetzt möchte ich von dir.
Wolfi Gassler(00:14:39 - 00:14:41)
Hast du das damals überhaupt verstanden?
Andy Grunwald(00:14:41 - 00:15:24)
Ey, das wäre die nächste Frage. Ich glaube, damals lag mein Fokus nicht auf das Verstehen der Turing-Maschine, sondern eher auf das Bestehen der Klausur. Kriegst du es hin, mir die Turing-Maschine jetzt so zu erklären, dass ich sie nie wieder vergesse? Dieses Trivia-Wissen, von dem wir am Anfang gesprochen haben, das bleibt mir ja immer im Kopf. Zum Beispiel, was eine Gruppe im mathematischen und sozialen Sinne ist und so weiter. Kriegst du es hin, mir die Turing-Maschine so zu erklären, dass wenn du mich in vier Jahren fragst, wenn ich betrunken bin, dass ich dir immer noch die Turing-Maschine erklären kann. Wenn du das schaffst, Wolfgang, dann würde ich sagen, bist du deiner Lehrverpflichtung als Akademiker nachgekommen.
Wolfi Gassler(00:15:24 - 00:15:51)
Kleines Funfact am Rande, ich wollte ja eigentlich den Master in Logik machen, in theoretischer Informatik. Und ich habe das ein paar Semester verfolgt und dann sind die Vorlesungen aber so hart geworden. Und bei der Vorlesung Computability, die war für mich damals so schockierend, dass ich es dann gelassen habe und dann zu Datenbanken geswitcht bin. Also du hast da jetzt vielleicht nicht den perfekten Menschen vor dir, der dir die theoretische Informatik näher bringen kann, aber ich werde mein Bestes versuchen, Andi.
Andy Grunwald(00:15:51 - 00:15:55)
Dann gib dem Ganzen doch mal eine Chance. Kleiner Tipp, mich kriegst du ja immer mit Praxis.
Wolfi Gassler(00:15:56 - 00:16:30)
Also dass es sehr fundamental ist, haben wir ja schon besprochen, weil wenn man sagt, okay CSS ist so toll, Turing Complete, Turing vollständig, dann muss das ja irgendwas Fundamentales sein. Und Turing Complete oder vollständig wird alles bezeichnet, das so mächtig ist in der Programmierung, wie eine Turing Maschine. Also die Turing Maschine liegt dem Ganzen zugrunde. Das ist dieses theoretische Modell. Alles was du heute machen kannst, alles was du in deiner Go-Programmiersprache machen kannst, kannst du auch mit einer Turing-Maschine machen. Also es gibt nichts mächtigeres als eine Turing-Maschine.
Andy Grunwald(00:16:30 - 00:16:37)
Okay, heftiges Statement. Meine nächste Frage ist, wie launche ich denn Go-Routinen auf einer Turing-Maschine? Aber machen wir weiter, vielleicht komme ich ja dazu noch.
Wolfi Gassler(00:16:38 - 00:19:21)
Ja, das Schöne an einem theoretischen Modell ist ja, dass es theoretisch ist. Das heißt, du brauchst gar nichts praktisch machen. Das heißt, du kannst dir das alles nur im Kopf zusammendenken. Und eigentlich, wenn wir dabei sind, im Kopf zusammendenken, daher kommt das Ganze. Also Hilbert, das war ein Mathematiker damals, der hatte sich überlegt, wenn wir im Kopf uns was zusammendenken, dann müsste man das doch auch mathematisch darstellen können, mathematisch formalisieren. Also Hilbert war eigentlich der, der die Mathematik richtig formalisiert hat, der weg von der Sprache ist, wo man sehr viel Interpretation hat, hin zu Symbole und wirklich die Mathematik formalisiert hat und probiert hat, das was wir so im Alltag machen, denken, überzuleiten in Formalismus. Und er hat das sogenannte Hilbert-System oder Hilbert-Kalkül erfunden, das eigentlich beschreibt, wie so ein mathematisches System funktioniert. Und er hat da eben so drei Eigenschaften definiert. Der hat gesagt, okay, so ein mathematisches System, das muss complete sein, konsistent und entscheidbar. Das heißt, complete, alle Statements, die in so einem mathematischen System leben, können geprüft werden, bewiesen werden, dass da alles passt. Konsistenz heißt, dass es keine Widersprüche gibt. Das heißt, ich kann keine widersprüchliche Aussage in so einem System finden, die vielleicht einmal wahr und einmal falsch ist. Es muss alles genau definiert sein und eben widerspruchslos. Und die Entscheidbarkeit, dass ich in so einem mathematischen System immer entscheiden kann, ob etwas richtig oder falsch ist. Also wenn ich da irgendeine Formel habe, dann kann ich entscheiden, ist es richtig oder falsch und das kann ich entscheiden mit einer effektiven Prozedur oder Ablauf, wie er das genannt hat. Das war so seine Definition von dem Ganzen. Und er hat aber nicht so richtig gewusst, was so eine Effective Procedure ist. Er hat es nur mal so definiert. Und jetzt kommt eigentlich der Turing ins Spiel. Weil der Turing hat den Algorithmus erfunden. Davor hat es dieses Wort Algorithmus eigentlich nicht gegeben. Turing war der erste, der sich überlegt hat, so eine effektive Procedure, so eine Prozedur, die im Kopf abläuft bei den Menschen, so ein Algorithmus, heute ist es ganz klar, das was du im Kopf machst, ist auch irgendwie ein Algorithmus, der ablauft. Früher war das was komplett Neues und Turing hat den Algorithmus definiert und wie so ein Algorithmus überhaupt hingeschrieben werden kann, definiert werden kann, der gebraucht wird, um im Hilbert-System dann eben diese Entscheidbarkeit überhaupt anzuwenden, dass man Algorithmus hat. ist etwas falsch, ja, nein, entscheidbar. Und das, was du heute in deinem Go-Programm machst, so ein Algorithmus, das geht alles zurück auf Turing. Das heißt, Turing ist der Erfinder des Algorithmus. Das heißt, ohne Turing könntest du dein ganzes Webzeug gar nicht machen.
Andy Grunwald(00:19:21 - 00:19:33)
Verstehe ich das denn jetzt richtig, dass die Turing-Maschine gar keine Maschine ist, gar kein reelles Ding, was in der realen Welt existiert, sondern eigentlich nur eine Formalisierung meiner Gedanken? Oder wie man meine Gedanken beziehungsweise in einer mathematischen Formel irgendwie ausdrücken kann?
Wolfi Gassler(00:19:33 - 00:20:26)
Also Turing-Maschine geht jetzt noch einen Schritt weiter. Jetzt sind wir nur mal bei dem Algorithmus. Und jetzt hat er sich überlegt, okay, wenn ich so einen Algorithmus habe, wie kann ich denn diesen Algorithmus ausführen? Und da hat er die Turing-Maschine entworfen. Dies ermöglicht jeden beliebigen Algorithmus auszuführen. Das heißt, alles was du jetzt in deinem Go-Programm prokribieren könntest, kannst du eben auch mit einer Turing-Maschine ausführen. Und eine Turing-Maschine ist ganz einfach aufgebaut. Du kannst dir das so vorstellen wie ein ganz langes Blatt Papier, so Streifen von einem Blatt Papier, wo ein Schreibkopf Symbole draufschreiben kann auf dieses Papier. Und der kann natürlich auch wieder lesen, wie so ein klassischer alter Festplattenkopf, der liest und schreibt, aber halt auf einem Blatt Papier. Und die Turing-Maschine hat, nachdem es ein theoretisches Modell ist, kann man da auch sowas definieren wie ein unendlich langes Blatt Papier, so ein Streifen.
Andy Grunwald(00:20:26 - 00:20:27)
Das ist ja jetzt Quatsch, merkst du selbst, ne?
Wolfi Gassler(00:20:28 - 00:20:31)
Ja, es hat bisher noch nie jemand das Gegenteil bewiesen.
Andy Grunwald(00:20:31 - 00:20:33)
Dass es ein unendlich langes Blatt gibt.
Wolfi Gassler(00:20:33 - 00:20:51)
Ja, du musst dir das natürlich vorstellen, aber du bist natürlich in der Realität limitiert, aber du bist ja beim Computer auch. Du hast ja einen limitierten Speicherplatz. Du könntest natürlich jetzt auch so ein komplexes Programm schreiben, das du nicht mehr ausrechnen könntest, weil dir dein Speicher vollläuft. Das heißt aber nicht, dass das Programm irgendwie ungültig wäre. oder nicht berechenbar ist.
Andy Grunwald(00:20:51 - 00:21:12)
Das bedeutet aber in der Realität, eine richtige Turing-Maschine kann man gar nicht bauen. Weil du sagtest ja gerade, man kann jeden Algorithmus ausführen, aber das ist ja dann in der Realität nicht möglich, weil man hat ja nur endliche Ressourcen. Unter dem Gedankenexperiment, dass wir unendliche Ressourcen hätten, so wie dein unendlich langes Blatt, ich rede jetzt von unendlich viel Terabyte RAM und Petabyte und keine Ahnung was, dann sprechen wir von einer Turing-Maschine, oder?
Wolfi Gassler(00:21:13 - 00:21:52)
Ja, nachdem du ja unendlich viele Meter von deinem Blatt Papier, von dem Streifen hinzufügen kannst und da ja eigentlich kein Ende ist, kannst du das als unendlich ansehen. Also klar ist es theoretisch, aber du kannst schon sehr weit gehen. Du kannst ja auch immer bessere Computer bauen, immer mehr Festplatten, immer mehr Speicher. Aber in dem theoretischen Modell ist es natürlich unendlich, damit du auch wirklich alles ausrechnen kannst. Und die dritte Komponente, also wir haben jetzt diesen Speicher, dieses Blatt Papier. Wir haben den Lesekopf und Schreibkopf. Und die dritte Komponente von so einer Turing-Maschine ist ein Automat. Kannst du dich noch an Automaten erinnern in deiner Studiumszeit?
Andy Grunwald(00:21:52 - 00:21:58)
Da klingelt was. Erfolgreich aufgesogen, wieder in die Klausur gepackt und wieder rausgeschmissen.
Wolfi Gassler(00:21:59 - 00:22:39)
Also Automaten sind so definiert, dass man verschiedene Zustände hat. Man kann sich das in so Kreisen vorstellen, wird es nochmal dargestellt. Und zwischen den Kreisen kann man hin- und herspringen, zwischen den Zuständen. Je nachdem, was man zum Beispiel auf das Band schreibt oder liest, kann man zwischen Zustände hin- und herspringen. Und das ist eigentlich der Algorithmus an sich. Also in diesen Zuständen, in diesen Automaten ist dein Algorithmus gespeichert. Verstehst du mal die drei Komponenten bisher, was in deinem Kopf so vorgeht? Wenn du einen Algorithmus machst, wenn du was abarbeitest, dann hast du ja auch ein Blatt Papier, einen Stift und dein Algorithmus läuft im Kopf ab und das genau das gleiche machst du in der Tülgenmaschine auch.
Andy Grunwald(00:22:39 - 00:22:40)
Ich bin froh, wenn ich einen Bubble Sorting kriege.
Wolfi Gassler(00:22:40 - 00:22:50)
Ja, weil der ist schon viel komplizierter. Wir können ja mal ein ganz einfaches Beispiel machen. Du willst checken, ob eine Zeichenkette ein Palindrom ist. Palindrom, sagt dir noch was?
Andy Grunwald(00:22:50 - 00:22:57)
Ein Wort, was man von vorne und hinten gleichzeitig lesen kann. Also der Name Anna zum Beispiel wäre ein Palindrom.
Wolfi Gassler(00:22:57 - 00:23:05)
Genau, und jetzt machen wir es ein bisschen einfacher. Wir verwenden nicht 26 Buchstaben, oder wie viele gibt es im Alphabet? 24, ich bin da immer verwirrt.
Andy Grunwald(00:23:05 - 00:23:08)
26. Im deutschen Alphabet ohne Zahlen, ja.
Wolfi Gassler(00:23:08 - 00:23:13)
Genau, also wir nehmen ein vereinfachtes Alphabet, wo es nur A und B gibt, damit man das ein bisschen einfacher machen kann.
Andy Grunwald(00:23:13 - 00:23:14)
Also die Band ABBA.
Wolfi Gassler(00:23:14 - 00:23:26)
Genau, ein sehr gutes Beispiel. Da kommt wieder das wichtige Wissen rein. Danke, Andi. Okay, jetzt hast du das auf dem Blatt Papier stehen und willst überprüfen, ob das ein Palindrom ist. Wie würdest du das jetzt im Kopf machen?
Andy Grunwald(00:23:27 - 00:23:47)
Ich würde mir den ersten Buchstaben schnappen und den letzten und würde vergleichen, ob die gleich sind. Wenn das der Fall ist, dann würde ich mir den zweiten Buchstaben und den vorletzten nehmen und dann immer so weiter, bis ich die Anzahl der Buchstaben durch zwei und das ist die Anzahl der Schritte, die ich gehen muss, bis ich alle Buchstaben habe.
Wolfi Gassler(00:23:48 - 00:25:19)
Und genau so machst du das auch in der Turing-Maschine. Die Turing-Maschine macht nichts anderes, also sie nimmt das Blatt Papier, wo jetzt Upper zum Beispiel oben steht, und fangt einfach ganz links an, liest diesen Buchstaben ein, weiß, okay, da steht ein A, wandert dann ganz auf die andere Seite nach rechts, bis keine Buchstaben mehr da sind, dann weiß die Turing-Maschine, ah, ich bin am Ende, und prüft, ob dieser Buchstabe ein A ist. Wenn ja, fährt die Maschine wieder ganz nach links auf diesem Band und prüft den zweiten Buchstaben. Und damit sie sich merken kann, wo sie gewesen ist, löscht sie den Buchstaben immer. Das heißt, sobald sie einen Buchstaben liest, wird der vom Band gelöscht, überschrieben, mit einem Leerraum zum Beispiel. Weil wenn du geprüft hast, okay, A ganz links, A ganz rechts, kannst du die A's einfach überschreiben, whitespace, weil die hast du ja schon geprüft. Dann fährst du wieder ganz nach links bis zum Buchstaben, das wäre jetzt ein B, löscht den wieder, fährst dann wieder nach rechts bis zum letzten Buchstaben, ist auch ein B. Wenn du dann am Ende bist, wenn es keine Buchstaben mehr gibt, weißt du, es ist ein Palindrom und sonst brichst du irgendwo ab. Also dieser Algorithmus ist programmiert in so einem Automaten über die Zustände und Verbindungen zwischen den Zuständen. Und das Wort steht auf dem Papierstreifen und wird einfach abgearbeitet. Also genau das, was du im Kopf machst, wird dann in der Turing-Maschine gemacht. Und genau so hat sich das damals Turing eigentlich auch hergeleitet. Genau das, was wir im Kopf so machen, hat er probiert in eine Maschine überzuführen. Und zwar in so eine Maschine, die dann eben alles berechnen kann, was wir uns so vorstellen können als Algorithmus.
Andy Grunwald(00:25:20 - 00:25:40)
Aber wenn du doch die vorhandenen Buchstaben wieder überschreibst, dann, also technisch gesprochen, ist das ja dann mehr oder weniger dein Garbage-Collector. Also du hast deine Informationen gespeichert, brauchst sie jetzt nicht mehr und der Garbage-Collector schmeißt sie weg. Warum braucht dann eine Turing-Maschine unendliche Ressourcen? Weil eigentlich... Ah, die unendliche Ressourcen wird benötigt, um jeden Algorithmus ausführen zu können, oder?
Wolfi Gassler(00:25:41 - 00:26:24)
Genau, du kannst dir unter Umständen auch gewisse Sachen wieder zwischenspeichern auf deinem Band hin und her fahren, dann brauchst du noch mehr Speicher. Wenn du alles auf einem so einen Streifen abbildest, sehr komplexe Programme, brauchst du immer mehr Speicher, um Zwischenzustände zu speichern, um gewisse Dinge abzulegen auf dem Band und drum ist es in der Theorie zumindest unendlich. Und mit diesem einfachen System kannst du theoretisch oder nicht nur theoretisch, sondern auch praktisch kannst du heute jedes Programm, dein komplexes Go-Programm, kannst du so weit runterbrechen, dass du das auf einer Turing-Maschine mit den simplen drei Komponenten, mit einem Automaten, mit dem Papierstreifen und dem Lese-Schreibe-Kopf abbilden kannst.
Andy Grunwald(00:26:24 - 00:26:27)
Da bin ich schon glücklich, dass es hohe Programmiersprachen gibt.
Wolfi Gassler(00:26:27 - 00:26:34)
Ja, ich glaube, da sind wir alle froh. Ich meine, ich würde auch nicht gerne Assembler programmieren, obwohl das auch schon im Gegensatz zu einer Turing-Maschine sehr, sehr hoch ist.
Andy Grunwald(00:26:35 - 00:26:38)
Inwieweit können denn Quantencomputer jetzt dabei helfen?
Wolfi Gassler(00:26:39 - 00:27:22)
Ja, die Quantencomputer sind ein ziemliches Problem, weil bisher, und das ist ja jetzt eigentlich 100 Jahre alt, bisher galt das als das berechenbare Modell. Also alles, was berechenbar ist, lässt sich mit der Turing-Maschine berechnen und dieses Modell beschreibt, was wir heutzutage berechnen können. Und jetzt sind diese dummen Quantencomputer gekommen und die Physiker mit ihren Quanten und haben das alles über den Haufen geworfen, weil Quantencomputer können in der Theorie zumindest, so richtig bauen kann man die ja noch nicht, in der Theorie können die mehr berechnen als die Turing-Maschine. Und darum sind die ja so ein großes Problem, dass man dann in der Kryptografie eben Sachen schneller entschlüsseln kann, weil die Berechenbarkeit plötzlich eine andere ist und mächtiger ist als in der Turing-Maschine.
Andy Grunwald(00:27:22 - 00:27:38)
Also eigentlich wissen wir gar nicht, was in der Gesellschaft dann so alles Doofes passieren könnte, wenn Quantencomputer mal Realität werden, oder? Also ich stelle mir das schon ziemlich böse vor, wenn die RSA-Algorithmen jetzt mal eben ratzfatz geknackt werden und ähnliches. Also ich glaube, da haben wir alle ein paar Probleme.
Wolfi Gassler(00:27:39 - 00:28:06)
Ja man ganz allgemein, wie ich ja immer auch sage, Vorhersagen sind schwierig, vor allem wenn sie die Zukunft betreffen, aber wenn natürlich sowas Grundlegendes auch noch über den Haufen geworfen wird, wie die gesamte Berechenbarkeit, dann kann es natürlich schon sein, dass da viel passieren könnte. Ja korrekt. Und was vielleicht auch noch ganz interessant ist, es hat nicht nur den Turing damals gegeben, der so ein Modell entwickelt hat, sondern es hat auch den Alonzo Church gegeben. Hast du den schon mal gehört?
Andy Grunwald(00:28:06 - 00:28:15)
In bestimmten paar Mafia-Filmen habe ich den Namen Alonzo schon mal gehört und Church bestimmt den Begriff von Churchill, also Alonzo, Church, die Mix habe ich noch nicht gehört, ne tut mir leid.
Wolfi Gassler(00:28:15 - 00:28:25)
Der hat nämlich zur gleichen Zeit ein anderes System erfunden, wie der Turing, und zwar den Lambda-Kalkulus. Hast du den vielleicht schon mal gehört? Lambda-Kalkül.
Andy Grunwald(00:28:25 - 00:28:35)
Lambda-Kalkül habe ich schon mal gehört, ich kann es dir jetzt auch nicht sagen, was es ist. Ich komme mir hier gerade total dumm vor. Du fragst mich immer irgendwelche Themen, habe ich alles schon mal irgendwie gehört, aber ich kann dir das alles nicht erklären.
Wolfi Gassler(00:28:36 - 00:29:35)
Ja, es ist ja sehr unfair, weil ich bin ja natürlich vorbereitet. Ich habe das ja noch mal durchgelesen. Also es war jetzt nicht, dass ich das aus dem Stehgreif alles so von mir geben könnte. Aber das Interessante ist ja, dass der mit dem Lambda-Kalkulus eigentlich das gleichmächtige System wie die Turing-Maschine entworfen hat, ohne dass sie voneinander gewusst haben am Anfang. Und man ist dann später draufgekommen oder beziehungsweise sie sind selber schnell draufgekommen, dass die gleichmächtig sind. Aber durchgesetzt hat sich die Turing-Maschine, weil die vielleicht einfacher zu verstehen ist. Aber was wir alle noch von dem ganzen Lambda-Kalkulus haben, der sehr sehr wichtig ist übrigens in der ganzen theoretischen Informatik, sind die Lambda-Functions. Die gehen ja auf diesen Lambda-Kalkulus zurück. Das heißt, wenn du in Python zum Beispiel eine Lambda-Function schreibst oder was halt eine Lambda-Function sonst in den Programmiersprachen ist, die gehen alle auf dieses lambda kalkül zurück und sind heute in beinahe allen programmiersprachen in irgendeiner form möglich also diese ganze funktionale welt kommt aus diesen lambda kalkulus und ist auch wieder gleichmächtig wie die thuringmaschine und das war alles vor hundert jahren.
Andy Grunwald(00:29:36 - 00:30:00)
Also haben die beiden herren serverless erfunden sozusagen kann man kann man das so festhalten. Liebe Hörerinnen und Hörer, das aktuelle Bild, was ich hier gerade sehe, ist ein purer Genuss. Wolfgang muss echt hart überlegen, ob Lambda Functions, was glaube ich unter anderem anonyme Funktionen innerhalb des Quellcodes sind, auch was mit Serverless und AWS Lambda zu tun hat. Könnt ihr so Aufzugmusik spielen, würde das passen?
Wolfi Gassler(00:30:00 - 00:30:06)
Ja, es ist wirklich schwierig, da eine gute Connection herzustellen. Aber ich gebe dir den Punkt einfach mal, Turing hat Serverless erfunden.
Andy Grunwald(00:30:07 - 00:30:24)
Wäre auf jeden Fall eine geile neue Headline für so einen Artikel. Turing hat Serverless erfunden. Wäre jetzt mal interessant zu wissen, wie die Person oder die Personengruppe bei Amazon damals mit dem Namen Lambda ausgetaucht ist, ob die darüber nachgedacht haben. Also das würde ich jetzt schon mal gerne mal wissen.
Wolfi Gassler(00:30:24 - 00:30:29)
Ja, das will ich wohl hoffen, dass die gewusst haben, woher Lambda kommt und warum dieses Zeichen verwendet wird.
Andy Grunwald(00:30:29 - 00:30:33)
Ja, aber ob das eher Zufall war oder ob die wirklich dann sich die ganze Sache so hergeleitet haben wie du dir gerade.
Wolfi Gassler(00:30:33 - 00:30:36)
Du meinst, die waren einfach nur verliebt in das Lambda-Symbol?
Andy Grunwald(00:30:36 - 00:30:44)
Keine Ahnung. Aber wow, mein Kopf explodiert gerade. Turing hat Serverless erfunden. Okay, lassen wir das so stehen.
Wolfi Gassler(00:30:44 - 00:30:54)
Aber wenn wir jetzt von Turing schon reden, dann ist natürlich ein Punkt noch ganz, ganz wichtig und zwar das Halting Problem. Das Halte Problem. Hast du wahrscheinlich auch schon irgendwo mal gehört, oder?
Andy Grunwald(00:30:54 - 00:31:00)
Das einzige Problem habe ich, um anzuhalten, ist, wenn ich ganz schnell fahre und da kommt eine rote Ampel. Ist das auch das Halte Problem?
Wolfi Gassler(00:31:00 - 00:31:05)
Das ist deutsche halt das Problem, in der Auto-Nation Nummer 1.
Andy Grunwald(00:31:05 - 00:31:27)
Passiert ab und zu auch mit meinem Aufsitzrasenmäher in meinem Garten. Dann kommt da auf einmal eine Pflanze und dann habe ich Probleme anzuhalten. Weil, Achtung, mein Aufsitzrasenmäher selbst hat keine Bremse. Der hat eine Kupplung. Und dann rollt der aus. Also eigentlich ist er lebensgefährlich, muss ich zugeben, jetzt wo ich drüber nachdenke. Und er hat auch keine Servolenkung, also ist ein bisschen schwierig.
Wolfi Gassler(00:31:27 - 00:31:49)
Ich probiere gerade da einen Link herzubekommen, aber es ist gar nicht so schwierig eigentlich mit deinem Rasenmäher, weil so ähnlich läuft das Halteproblem auch ab. Du weißt eigentlich nicht, wann das Ding stehen bleibt. Und zwar definiert das Halting Problem, das Halteproblem, dass du nicht beweisen kannst oder definieren kannst, dass du entscheiden kannst, ob ein Programm terminiert oder nicht.
Andy Grunwald(00:31:49 - 00:31:52)
Terminiert heißt, ob das Programm Ende ist.
Wolfi Gassler(00:31:52 - 00:32:02)
Genau, ob das einfach beendet wird, ob das durchläuft. Du kannst es nicht entscheiden, du kannst keinen Algorithmus schreiben, der sich dein Programm ansieht und sagt, es terminiert oder terminiert nicht.
Andy Grunwald(00:32:03 - 00:32:06)
Na ja, auf Linux würde ich sagen, hat er das Ding Exit Code, ne?
Wolfi Gassler(00:32:06 - 00:32:39)
Ja, aber dann ist es schon beendet. Aber du kannst von außen nicht sagen, läuft es durch in alle Ewigkeit oder beendet es. Natürlich kannst du das, wenn da eine While-Schleife, While True irgendwo drin ist und du schaust drauf, dann ist dir das klar. Okay. Aber sobald es ein komplexeres Programm ist, kannst du das nicht mehr programmatisch entscheiden, beendet das Ding oder nicht. Was natürlich super relevant ist heutzutage in der Programmierung, weil du wirst ja vielleicht automatisch überprüfen, hast du irgendwo einen Fehler in deinem Programm. Hast du da irgendwo ne Schleife drin, die dann nie mehr beendet wird?
Andy Grunwald(00:32:39 - 00:33:03)
Also ich sag mal so, wenn das möglich wäre, würde mir das total helfen, und zwar jeden Dezember. Da gibt's diese Competition, die nennt sich Advent of Code. Und ich bin sehr doof im Algorithmen schreiben. Und spätestens am Tag drei schreibe ich irgendwelche Brutforce-Algorithmen, lass die laufen, und nach zwei Stunden, nachdem mein Laptop mein Zimmer schon aufgeheizt hat, hab ich gedacht, vielleicht sollte ich das mal abbrechen. Hätten wir das Halting-Problem gelöst, würde ich sehr viel Energie sparen.
Wolfi Gassler(00:33:04 - 00:33:49)
Und du würdest wahrscheinlich einen Turing Award bekommen und nicht nur das, du hättest wahrscheinlich die halbe Mathematik außer Kraft gesetzt, weil Turing damals schon bewiesen hat, dass das einfach nicht geht. Bevor es überhaupt Computer gegeben hat, in den 30er Jahren, hat er bewiesen, dass du das nicht überprüfen kannst. Und das ist bis heute der Fall und du kannst es nicht überprüfen. Natürlich, du kannst manchmal überprüfen, ob es terminiert. Also du kannst bei vielen Programmen sagen, es terminiert, aber du kannst nicht sagen, ob es nicht terminiert. Weil du kannst dir das so vorstellen, wenn man das ein bisschen vereinfacht. Wenn du da irgendwo eine Endlosschleife hast, damit du weißt, dass das eine Endlosschleife ist, musst du durch die Endlosschleife durchgehen und dir das durchrechnen und dann hängt dein Programm, was das prüft, auch in dieser Endlosschleife und beendet sich nicht mehr.
Andy Grunwald(00:33:49 - 00:33:54)
Na super, jetzt hast du mir wieder ein Projekt für meine lange To-Do-Liste gegeben. Danke, Wolfgang.
Wolfi Gassler(00:33:54 - 00:34:39)
Kannst du gerne probieren. Turing wird es dir danken. Aber in der Tat ist es heutzutage in der Wissenschaft ein großes Thema in der theoretischen Informatik, was kann ich überprüfen, was terminiert, gerade wenn es um das ganze Testen geht von Software, weil du wirst ja, wenn du dann eine Software hast, die die Rakete steuert, wirst du ja, dass das wirklich immer terminiert, dass das sauber durchläuft, dass du da keine Endlosschleifen drinnen hast, die dann womöglich irgendwie die Rakete zum Absturz bringen. Also bei so kritischen Programmen ist das natürlich ein großes Thema und wenn du die Programme ein bisschen vereinfachst, dann kannst du unter Umständen sagen, es terminiert oder wenn du gewisse Einschränkungen machst. Aber eben zu entscheiden, terminiert etwas ja oder nein im Allgemeinen für alle Programme, funktioniert nicht und das ist das berühmte Halteproblem von Turing.
Andy Grunwald(00:34:40 - 00:34:47)
Kommen wir zurück zu meinem Rasenmäher. Der hat eine relativ einfache Exit-Strategie, wenn der Sprit leer ist.
Wolfi Gassler(00:34:47 - 00:35:05)
Und wenn man das ganze Horting-Problem erwähnt, dann müsste man eigentlich auch Gödel erwähnen. Ich als Österreicher sowieso, weil der war ja aus Wien und da gibt es viele schöne Geschichten, aber ich bin mir sicher, es würde dich langweilen. Aber um Gödel zu teasern, wenn wir mal eine eigene Gödel-Episode machen, er hat daran gearbeitet, Gott logisch zu beweisen.
Andy Grunwald(00:35:05 - 00:35:11)
Ich habe bisher noch keine Schlagzeilen in der Bild-Zeitung gelesen, dass das jemand geschafft hat, deswegen gehe ich mal davon aus, er war nicht erfolgreich.
Wolfi Gassler(00:35:11 - 00:35:26)
Es hat vor kurzer Zeit mal wieder so ein Update gegeben bezüglich dem Gottesbeweis, aber ehrlich gesagt, ich weiß nicht mehr, was rausgekommen ist. Und im Gegensatz zu allen anderen Dingen, die Gödel so gemacht hat, die wirklich weltbewegend waren, geht mir der Gottesbeweis eher so irgendwo vorbei.
Andy Grunwald(00:35:27 - 00:35:39)
Okay, genug Theorie, kommen wir mal wieder zu der Praxis und zwar zu einer Sache, die auch sehr stark von Alan Turing getrieben wurde, die heute noch eine starke Relevanz spielt und wo sich wirklich ganz viele Leute die Köpfe einschlagen.
Wolfi Gassler(00:35:40 - 00:35:51)
Moment, willst du mir jetzt sagen, dass die Turing-Maschine keine Relevanz mehr hat? Da baut die gesamte Informatik auf. Jede einer deiner Go-Routinen baut auf der Turing-Maschine auf. Aber komm mal zu deinem Turing-Test, ist schon okay.
Andy Grunwald(00:35:51 - 00:36:05)
Das ist richtig, aber das soziale Wesen Mensch braucht ja was zum Streiten. Und ich finde, die Turing-Tests sind da perfekt dafür. Weil da gab es in letzter Zeit nämlich schon noch ein bisschen Streit drum. Das ist nämlich eine tolle Sache. Aber fangen wir ganz von Anfang an.
Wolfi Gassler(00:36:05 - 00:36:26)
Genau, und zwar der Turing-Test ist ja auch sowas wie die Turing-Maschine, das hört man immer. CSS ist Turing-Complete. Dann hört man, okay, diese AI hat den Turing-Test bestanden oder nicht bestanden, oder wir sind noch weit weg, dass dieser Turing-Test besteht. Also was ist denn der Turing-Test? Wie ist der definiert? Weil auch da kennen die wenigsten wahrscheinlich die Definition. Ich kenne sie ehrlich gesagt auch nicht. Also, Andi, schieß los.
Andy Grunwald(00:36:26 - 00:36:29)
Also erstens, der Turing-Test kommt gar nicht von Alan Turing.
Wolfi Gassler(00:36:29 - 00:36:30)
Jetzt bin ich enttäuscht.
Andy Grunwald(00:36:30 - 00:36:38)
Er hat nämlich nur das theoretische Modell, die theoretische Skizze formalisiert, aber nie wirklich zu dem gemacht, was es eigentlich heute ist.
Wolfi Gassler(00:36:38 - 00:36:40)
Hat er das damals schon Turing-Test genannt?
Andy Grunwald(00:36:40 - 00:37:16)
Soviel ich weiß, wurde der nur nach Alan Turing benannt, da der ursprüngliche Test und das sogenannte Imitation Game auf Turing basiert. Das Imitation Game war früher folgendes Szenario. Du hast drei Räume und die drei Räume sind durch drei Terminals verbunden, wo du nur Text eingeben kannst. In einem Raum saß ein Richter, in einem anderen Raum ein Mann und im dritten Raum eine Frau. Die Frau hatte das Ziel, sich als Mann auszugeben und der Richter hatte das Ziel, zu erkennen, wer ist der Mann. Und die konnten nur über Textnachrichten kommunizieren. Das war das sogenannte Imitation Game.
Wolfi Gassler(00:37:17 - 00:37:22)
Und das hat Thuring erfunden. Damals hat es noch gar keine Terminals gegeben, 1930.
Andy Grunwald(00:37:22 - 00:38:35)
Das theoretische Modell des Turing-Tests hat darauf basiert, denn Turing selbst beschäftigte sich intensiv mit dem Problem der künstlichen Intelligenz und mit deren Kriterien. Und später hat man die ganze Sache erst konkreter ausformuliert, also nach Turings Tod, weil später erst die künstliche Intelligenz als Teilbereich der Informatik als eigenständiges akademisches Fachgebiet ausgewiesen wurde. Also zu dem Zeitpunkt, wo Alan Turing darüber geforscht hat, hatte das akademisch noch gar keine Relevanz. Und dieses Imitation Game wurde dann mehr oder weniger weiterentwickelt zu dem heutigen Turing-Test. Und das Ziel des Turing-Tests ist es, ob ein Computer in der Lage ist, sich wie ein Mensch zu verhalten. Und der Aufbau ist eigentlich dasselbe. Du hast drei Terminals, zwei Menschen, ein Computer. Alle sind physisch voneinander getrennt. Ein Mensch ist der Fragesteller und erstellt Fragen in einem vorgegebenen Format und einem vorgegebenen Kontext, also wirklich von einem Thema. Am Ende der Testdurchläufe wird der Fragesteller immer wieder gefragt, wer ist denn jetzt der Mensch? Und wird in entweder 30% oder 50% der Fälle der Computer nicht eindeutig identifiziert, wird laut dem Turing-Test der Computer als künstlich intelligent eingestuft.
Wolfi Gassler(00:38:36 - 00:38:39)
Und wie viele Fragen hat man da zur Verfügung? Das ist wahrscheinlich alles nicht definiert, oder?
Andy Grunwald(00:38:39 - 00:38:54)
Ne, das ist alles nicht definiert und da kommt natürlich dann in irgendeiner Art und Weise ein bisschen Knatsch zustande. Kommen wir aber gleich noch zu der Kritik und wie sich das also in der Praxis verhält. Was ich aber wirklich mindblowing finde, und jetzt halte ich fest. Sitzt du, Wolfgang? Halte ich am Stuhl fest?
Wolfi Gassler(00:38:54 - 00:38:55)
Natürlich, natürlich. Ich halte mich fest, ja.
Andy Grunwald(00:38:56 - 00:39:18)
Turing hat damals schon vermutet, dass es im Jahr 2000 möglich sein werde, Computer so zu programmieren, dass der durchschnittliche Anwender eine höchstens 70-prozentige Chance habe, Mensch und Maschine erfolgreich zu identifizieren, nachdem er fünf Minuten mit ihnen in Anführungszeichen gesprochen hat. Ist das nicht mindblowing?
Wolfi Gassler(00:39:18 - 00:39:20)
Ziemlich. Gute Schätzung, ja.
Andy Grunwald(00:39:20 - 00:39:34)
Ziemlich harter Tobak. Denn zugegeben, bis zum Jahr 2008 kam kein Computerprogramm wirklich nah ran, um den Turing-Test zu bestehen. Aber da kommen wir gleich zu.
Wolfi Gassler(00:39:34 - 00:39:47)
Aber man muss ja auch sagen, dass der ja zu Zeiten gelebt hat, wo es gar keinen richtigen Computer gegeben hat. Also in den 50ern ist ja das gerade so gestartet mit den Computern. Und dann hat er das auf 50 Jahre vorhergesagt.
Andy Grunwald(00:39:47 - 00:39:52)
Das ist hart, oder? Also ich meine, zugegeben, 60 Jahre wäre deutlich genauer gewesen, aber hey, wow.
Wolfi Gassler(00:39:53 - 00:39:57)
Ich habe gerade nachgeschaut, er hat genau 1950 das vorhergesagt, auf 50 Jahre.
Andy Grunwald(00:39:58 - 00:40:42)
Aber ich habe ja am Anfang gesagt, da gibt es immer so ein bisschen Knatsch drum, weil was wären wir Menschen heute ohne zu meckern? Und zwar gibt es Kritik am Turing-Test. Auf der einen Seite kritisieren Leute die Art der Fragen oder die Art des Kontextes. Also auf der einen Seite früher war es nur erlaubt im Turing-Test limitierende Fragen zu stellen, also die man wirklich nur mit Ja oder Nein beantworten kann oder das Wissensgebiet am Anfang einzuschränken. Heutzutage ist das natürlich relativ fragwürdig, ob das dann auch Sinn macht, den Turing-Test so durchzuführen, nur mit Ja und Nein zu beantworten. Speziell im Bereich von Large Language Models, Chat-GPT und Co. Deswegen kann die Kritik eher so als überholt oder mehr oder weniger valide in der Hinsicht anerkannt werden.
Wolfi Gassler(00:40:43 - 00:41:21)
Es ist ja auch immer die Frage, wie Personen dann schlussendlich damit umgehen mit dem Computer. Weil wenn man daran, wenn man da zum Beispiel an ELISA denkt, an das Projekt von Weizenbaum 66, wo ja Leute schon mit dem Computer in einem Raum alleingelassen werden wollten, damit sie mit dem Computer alleine sprechen können, sozusagen alleine chatten können. Dann haben die Personen zwar gewusst, es ist ein Computer, aber sie haben trotzdem irgendwie dem Computer persönliche Dinge anvertraut und haben das Ganze fast wie ein Wesen gesehen. Also auch wenn der Turing-Tester nicht bestanden wird, ist trotzdem die soziale Interaktion dann sehr interessant, was Leute mit einem Computer machen.
Andy Grunwald(00:41:21 - 00:42:03)
Und du sprichst da einen sehr, sehr guten Punkt an, denn das ist eigentlich so die meiste Kritik, die heutzutage in den Tag gelegt werden. Die meisten sagen, der Turing-Test ist gar nicht mehr relevant. Der ist völlig irrelevant, weil wen interessiert, ob der Computer sich als Mensch ausgeben kann? Viel wichtiger ist die Interaktion zwischen Mensch und Maschine, dass die intuitiv und effizient gestaltet wird. Und das prüft der Turing-Test halt auch nicht mehr. Und auch sehr relevant, in erster Linie geht es im Turing-Test ja eher um Täuschung. Ein Computer täuscht vor, ein Mensch zu sein. Und somit teste man eher die menschliche Leichtgläubigkeit anstatt echte künstliche Intelligenz. Das ist heute so die Kritik so an den Tag gelegt wird. Und ich muss zugeben, ganz Unrecht haben die Kritiker ja hier nicht.
Wolfi Gassler(00:42:03 - 00:42:20)
Ja, es ist halt so ein bisschen dieses Schreckgespenst, dass ich einen Computer nicht mehr identifizieren kann und unterscheiden kann vom Menschen. Darum ist es, glaube ich, auch so interessant, dass man eben so einen Test anwendet, weil das ist ja so die Horrorvorstellung. Ich kann nicht mehr unterscheiden, ob du jetzt ein Roboter bist oder ein Mensch.
Andy Grunwald(00:42:21 - 00:42:43)
Und genau zu dem Problem kommen wir gleich, wenn wir den ganzen Turing-Test mal in die Praxis setzen und sagen, okay, wie läuft die ganze Sache denn heute. Aber auf Basis dieser Kritik haben die ganzen Leute dann natürlich auch irgendwie Weiterentwicklungen und Varianten vom Turing-Test entwickelt. Da gibt es etliche, aber zwei fand ich irgendwie ganz lustig. Und zwar gibt es einen umgekehrten Turing-Test.
Wolfi Gassler(00:42:43 - 00:42:44)
Der Computer testet, ob du ein Mensch bist.
Andy Grunwald(00:42:45 - 00:43:04)
Der Mensch versucht dem Computer davon überzeugen, dass er kein Computer ist, genau. Und das beste Beispiel dafür ist das klassische Capture. Ne, so hier diese Thematik, du siehst neun Bilder, klicke alles an, was ein Bus im Bild hat oder ähnliches. Oder schreibe diese Zahlen- und Buchstabenfolge, die immer zerkritzelt ist, in dieses Feld daneben.
Wolfi Gassler(00:43:05 - 00:43:08)
Das heißt, wir machen eigentlich ständig diesen Reverse-Turing-Test.
Andy Grunwald(00:43:08 - 00:43:10)
Dauerhaft, dauerhaft.
Wolfi Gassler(00:43:10 - 00:43:16)
Kleines Fun-Fact am Rande. Am Rande? Am Rande. Weißt du, wer der Captcha-Erfinder ist?
Andy Grunwald(00:43:16 - 00:43:20)
Nee, aber den würde ich ... Ich glaube, viele Menschen haben Hass auf den.
Wolfi Gassler(00:43:20 - 00:43:31)
Es war, glaube ich, sogar ein universitäres Projekt, aber es ist der Gründer von Duolingo, dieser Vokabellernsoftware oder Sprachenlernsoftware. Der hat das Captcha erfunden.
Andy Grunwald(00:43:31 - 00:43:34)
Lustig. Zweiter Fun-Fact. Weißt du eigentlich, wofür Captcha steht?
Wolfi Gassler(00:43:37 - 00:43:38)
Nein.
Andy Grunwald(00:43:38 - 00:43:52)
CAPTCHA selbst hat seinen Namen vom Turing-Test und CAPTCHA steht für Completely Automated Public Turing Test to Tell Computers and Humans Apart. Völlig mindblowing, wie die ganze Klamotte doch zusammenhängt, oder?
Wolfi Gassler(00:43:52 - 00:43:55)
Da siehst du wieder, wie viel Einfluss Turing hatte.
Andy Grunwald(00:43:55 - 00:44:07)
Es gibt aber noch eine weitere Weiterentwicklung, eine weitere Weiterentwicklung, auch geil, vom Turing-Test. Und zwar ist das der Markus-Test, bei dem ein Programm, das eine Fernsehsendung sehen kann, also wirklich gucken kann.
Wolfi Gassler(00:44:07 - 00:44:14)
Moment, das kommt bei mir nicht von Markus Lanz. Schreibt man denn Markus mit K oder mit C? Mit C. Okay, dann kann es nicht der Lanz sein. Gut, ich bin zufrieden, ist keine deutsche Erfindung.
Andy Grunwald(00:44:15 - 00:44:25)
Naja, auf jeden Fall guckt dann halt dieses Programm dieser Fernsehsendung und danach stellst du dem Programm sinnvolle Fragen zum Inhalt der Sendung. Wenn das Programm das beantworten kann, dann hat es halt den Markus-Test bestanden. Gilt als Weiterentwicklung vom Turing-Test.
Wolfi Gassler(00:44:25 - 00:44:27)
Hat JetGPT dann den Markus-Test schon bestanden?
Andy Grunwald(00:44:27 - 00:44:31)
Das weiß ich nicht, habe ich jetzt noch nicht nachgeguckt, aber das kann ich mal eben gucken.
Wolfi Gassler(00:44:31 - 00:44:43)
Ganz allgemein hat der JetGPT den Turing-Test erfolgreich absolviert. Also ihr würdet mal davon ausgehen, dass sowohl Markus-Test wie auch Turing-Test eigentlich mit JetGPT möglich sein sollte, oder?
Andy Grunwald(00:44:43 - 00:44:47)
Ist es möglich, mit Chachipiti in eine Fernsehsendung zu gucken?
Wolfi Gassler(00:44:47 - 00:44:49)
Ja, du musst es transkribieren natürlich zuerst.
Andy Grunwald(00:44:49 - 00:44:57)
Wenn man die Fernsehsendung in ein Textformat umwandelt, dann ist es ja keine Fernsehsendung gucken mehr. Also ich glaube, du musst da schon eine Kamera mit Imagerecognition und so hinten hinstellen.
Wolfi Gassler(00:44:57 - 00:45:03)
Ja, aber das könntest du auch zusammenbauen. Da gibt's ja heute genug Interfaces dafür. Das kann man ja zusammenstöpseln.
Andy Grunwald(00:45:03 - 00:45:38)
Okay, es geht aber hier nicht um den Marcus-Test, es geht um den Turing-Test. Und hat JetGPT den Turing-Test bestanden? Ja, und zwar eigentlich offiziell als zweite KI, weil Google Lambda hat 2022, wenige Monate davor, auch als eher erste KI den Turing Test bestanden. Es gab immer wieder ganz ganz ganz viel Streit darum, ah war jetzt nicht 2008 oder 2011 mit dem Cleverbot oder oder 2014 mit dem Eugene Gooseman Chatbot, das ist immer so ein bisschen bisschen krumm gewesen.
Wolfi Gassler(00:45:38 - 00:45:44)
Ja, gibt es da definiertes Fragenset, was heutzutage verwendet wird? Das ist ja wahrscheinlich auch alles frei definiert, oder?
Andy Grunwald(00:45:44 - 00:46:59)
Genau, es ist alles frei definiert, weil du musst halt schon einen Menschen täuschen in der Hinsicht. Und da kommt halt die ganze Kritik. Also 2011 gab es mal eine Web-Applikation, die nannte sich Cleverbot. Da ging es darum, dass genau dieser Turing-Test gemacht wurde, aber die Fragen nicht von einem Fragesteller kamen, sondern von einer Gruppe von Zuschauern. Also gar nicht von den Juroren selbst. Und deswegen gilt die Kritik, okay, der Cleverbot hat den Turing-Test nicht bestanden. Ja, weil das nicht anhand der Formalien des Turing-Tests erfolgt ist. 2014 gibt es dann immer noch, was im Internet hochgehandelt wird, so ein Chatbot namens Eugene Gooseman. Eugene Gooseman ist ein Chatbot, der als 13-jähriger Junge aus der Ukraine sich verhält oder so agiert. Und der war in der Lage, 33% der Juoren zu täuschen, dass es ein Chatbot ist. Super interessant. Kritik dabei ist jedoch, a, es gab zu wenig Juoren, B. Der Test dauerte nur 5 Minuten, also 5 Minuten Konversation pro Jury-Mitglied mit dem Chatbot. Und C. Es wurde gesagt, dass von diesem Chatbot Englisch nicht die Muttersprache ist, weil 13-jähriger Junge aus der Ukraine. Und das soll die Juorin dazu verleitet haben, über grammatikalische Fehler leichter hinwegzusehen.
Wolfi Gassler(00:47:00 - 00:47:15)
Ist irgendwie nachvollziehbar, ja. Wobei, wenn man so schaut, was heutzutage Leute schreiben, so auf WhatsApp, und ich will jetzt nicht die Jugend verdammen oder so, aber es fällt bei Jugendlichen irgendwie mehr auf, da muss man da heutzutage sowieso bei Menschen über die Grammatikfehler hinwechseln.
Andy Grunwald(00:47:15 - 00:47:51)
Okay, Boomer. Aber ja, gehen wir nochmal zu der ursprünglichen Kritik vom Turing-Test, so das geht eher um die Täuschung, da würde ich sagen, okay, der Chatbot Eugene Guzman hat es ja irgendwie geschafft, die Leute zu täuschen, ja, weil er hat eine Identität da irgendwie kreiert und dann allem drum und dran, also das finde ich schon irgendwie interessant. Eine weitere tolle Story ist eigentlich 2018, da hat Google was rausgebracht auf der Google I.O., nannte sich Google Duplex. Und Google Duplex war eine KI, die hat dann bei einem Friseur in einem Restaurant angerufen, um Termine zu machen. Und jetzt Funfact, ich war auf der Google IO und hab mir diese Keynote angesehen und das war schon sehr impressive, muss ich zugeben.
Wolfi Gassler(00:47:51 - 00:48:04)
Wobei die auch die besten Gespräche rausgebickt haben. Ich kann mich erinnern, ich hab die dann auch angeschaut. Aber meines Wissens wird es in England zumindest eingesetzt, ist voll im Betrieb und erfragt vor allem die Öffnungszeiten bei Geschäften.
Andy Grunwald(00:48:04 - 00:48:46)
Also ob das jetzt im Betrieb ist oder so, weiß ich nicht, aber viele Leute sagen, okay, dieses Google Duplex, also eine KI, die dann mit Restaurants und was weiß ich nicht, Friseuren Termine machen kann, Das gilt eher so als modernes Bestehen des Turing-Tests, weil das ist ja wirklich schon, die Leute sehen sich nicht, die telefonieren nur, der andere Gesprächspartner weiß ja überhaupt nicht, dass da ein Computer dran ist, aber er agiert mit dem wie Mensch, wie ein Mensch und das ist wirklich, es gibt keine vorgefertigten Fragen oder ähnliches. Es gibt keine limitierten Fragen, wie ja, nein, sondern es ist ja schon ein reales Gespräch. Und das Tolle ist an Google Duplex, die Erfinder haben dann eher so Laute dann halt immer so injectet, so wie aha und mh, was das halt deutlich realistischer macht, was ja super interessant war.
Wolfi Gassler(00:48:47 - 00:49:03)
In der Realität müssen die, glaube ich, aber auch immer dazu sagen, dass sie Computer sind, wenn sie irgendwo anrufen. Also sie dürfen sich nicht als Menschen ausgeben, meines Wissens. Aber die haben natürlich auch Tests gemacht, wo Leute das nicht gewusst haben oder begleitete Tests, wo Leute dann einspringen können und solche Dinge.
Andy Grunwald(00:49:03 - 00:49:09)
Ja, ich glaube, das ist von Land zu Land unterschiedlich. Wo es mehr Rechte gibt, müssen die das, glaube ich, sagen, wo es weniger Rechte gibt, glaube ich nicht.
Wolfi Gassler(00:49:09 - 00:49:17)
Aber darum glaube ich, ist es eben bisher nur in der UK im Einsatz, weil das eben auf der rechtlichen Seite bisschen schwierig ist teilweise.
Andy Grunwald(00:49:18 - 00:49:44)
So, und kommen wir jetzt wieder zu der formalen Geschichte. Hat Google Duplex damit den Turing-Test bestanden, ja oder nein? Und die Kritiker sagen, formal nicht, weil die Zuschauer wussten ja, wer wer ist. Also, du hattest ja eigentlich nur zwei Leute in dem Turing-Test und nicht drei. Einmal die Person, die angerufen wurde, und dann die KI. Die Zuschauer, die wussten ja das. Und das Gespräch war auf Terminvereinbarung konzentriert. Also, wieder dieser enge Gesprächskontext.
Wolfi Gassler(00:49:45 - 00:50:06)
Du hast ja so einen Kontext und eigentlich, das Gespräch wurde geleitet vom Anrufer, das heißt vom Bot. Die andere Seite beantwortet ja eher Fragen. Das heißt, du hast ja auch keine Fragen, die irgendwie das Gegenüber challengen könnten oder da irgendwie probieren, irgendwelche Infos rauszubicken, weil du antwortest ja als Restaurant zum Beispiel nur und sagst Termin frei, nicht frei oder so.
Andy Grunwald(00:50:07 - 00:51:31)
Da sagt man jetzt halt okay, alles so zwischen 2.8, also 2.8 fing der ganze Spaß jetzt an, so realistisch an mit den Turing-Tests und relativ nah an diese 30%-Täuschung ranzukommen. 2.14 gab es halt mal so ein bisschen dieser 13-jährige Junge aus der Ukraine, Eugene Guzman, dieser Chatbot. Aber wo sich halt alle Medien wirklich so einig sind, ganz formal, ist, dass 2022 Google Lambda und ChatGPT den Turing-Test bestanden haben in der Hinsicht und da gibt es dann jetzt eigentlich relativ wenig Kritik drüber. So und jetzt kann man sagen, ja gut, jetzt wurde letztes Jahr der Turing-Test bestanden von diesen Large-Language-Models, aber wie sieht das denn heutzutage in der Praxis aus? Ist der Turing-Test überhaupt noch relevant? Und meines Erachtens nach ja, sogar relevanter denn je. Denn wenn man Spam abwehren möchte, zum Beispiel E-Mail-Spam, dann ist es halt wirklich erforderlich, AI- oder KI-generierten Texts und Eingaben von Menschen unterscheiden zu müssen. Es gibt ja sogar inzwischen Browser-Extensions, die versuchen, Chat-GPT-generierte Texte zu erkennen. Und eigentlich ist das ja nichts anderes als der Turing-Test, also ein nicht bestandener Turing-Test. Und ich finde, das ist heute umso wichtiger, besonders wenn wir mal an diese Deepfake-Geschichten denken und was weiß ich nicht, was da noch so gibt. Ah, kleiner Brottipp, wusstest du eigentlich schon, dass bei diesen generierten AI-Bildern, dass die bisher noch sehr schwach sind im Generieren von Händen?
Wolfi Gassler(00:51:31 - 00:52:37)
Ja, ja, natürlich. Also alles, was so Körperteile sind, sind teilweise sehr verunstaltet, ja. Das kann man noch relativ einfach erkennen, aber das wird sich mit der Zeit auch legen. Und um jetzt noch einen ganz aktuellen Kontext mit reinzubringen, Ich weiß nicht, ob du es mitbekommen hast, aber Geoffrey Hinton von Google, der so als einer der Väter von AI gilt, hat seinen Job zurückgelegt bei Google, weil er das ganze AI-Movement als zu gefährlich ansieht und nicht mehr mitmachen will. Und der hat eben auch begründet, dass in den nächsten Jahren wir mit so Informationen von AIs geflooded werden, überrollt werden, sei es Bilder, sei es Texte. Und dass es immer schwieriger wird, eben zu erkennen, ist es ein künstlich generiertes Text, Bild, was auch immer, oder ist es was Menschliches? Also auch da wieder richtig, wie du sagst, der Turing-Test wird immer wichtiger, um zu erkennen, ob was künstlich generiert wurde. Und wenn jetzt sogar die großen Befürworter von AI oder die Erfinder von AI jetzt so einen Schritt zurück machen, ist es schon auch ein bisschen beunruhigend, muss ich sagen.
Andy Grunwald(00:52:38 - 00:53:44)
Ja, was ich jetzt so in meinem Freundeskreis mitkriege, jeder fragt mich schon, hast du schon JGPT ausprobiert? Und jeder ist halt super begeistert, weil man kann ja super viele kleine Aufgaben automatisieren. Und es ist auch wirklich impressive. Schreibt mir bitte einen Song über meinen Kegelklub im Stile von Rammstein oder ähnliches. Tolle Sachen kommen da raus. Doch am Ende vom Tag denke ich, wir als Gesellschaft müssen irgendwie lernen, noch damit umzugehen. Und ich glaube, die Entwicklung ist halt unglaublich schnell. Und irgendwo in einem Podcast oder so habe ich gehört, wir drehen uns ja immer nur um sogenannte LLMs, Large Language Models, also ganz große neurale Netzwerke und KI-Modelle, AI-Modelle, die super viele Dokumente irgendwie als Input haben. Und wenn das jetzt im selben Speed so weitergeht, wie wir das jetzt im letzten Jahr, letzten anderthalb Jahren gesehen haben, dann werden sich in Zukunft nur noch zwei, drei große Firmen herauskristallisieren, die sich dann einzig und allein nur noch leisten können, larger large language models zu generieren, weil die Generation von solchen großen Modellen ja immer und immer und immer teurer wird. Was ist das für eine ganz interessante Reise, wo wir gerade sind? Warten wir mal ab.
Wolfi Gassler(00:53:45 - 00:53:45)
Aber!
Andy Grunwald(00:53:45 - 00:54:50)
Nochmal ein finales Kommentar zum Turing-Test. Besonders weil du auch gerade Google erwähnt hast. Google selbst fordert nämlich einen neuen Turing-Test. Weil die sagen, okay, der alte passt jetzt gerade nicht mehr zu der AI und KI, die wir gerade haben. Und zwar benennen die Forscher den neuen Turing-Test Big. Big Bench. Also eigentlich Beyond the Imitation Game Benchmark. finde ich auch sehr schön. Und dieser besteht dann aus 204 konkreten KI-Aufgaben, die dann eine KI lösen muss. Und das geht dann natürlich weiter als nur die klassische Täuschung von Menschen, sondern wirklich gibt es denn da zusammengesetztes Wissen und so weiter und so fort. Also sehr interessante Entwicklung, und das haben sie, glaube ich, letztes Jahr oder vorletztes Jahr irgendwie bekannt gegeben, dass sie das fordern. Ich habe das jetzt nicht wirklich im Detail verfolgt, ob das was geworden ist, aber ich kann mir schon vorstellen, dass umso mehr KI auf den Markt kommt, dass man irgendwie, ich sag mal, gute KI von schlechter KI unterscheiden können muss, und dann kommt vielleicht dieser Beyoncé-Imitation-Game-Bingenschmark irgendwie in der Relevanz.
Wolfi Gassler(00:54:50 - 00:55:14)
Also wenn man das Ganze zusammenfasst, könnte man sagen, alles was Turing im Namen hat oder was Turing auch so gemacht hat, ist die Definition einerseits vom Computer, was kann der Computer, aber auch was kann der Mensch oder was unterscheidet den Menschen vom Computer. Also er hat einerseits die ganze Berechenbarkeit definiert, aber auch irgendwo die Menschheit, um das Ganze zu unterscheiden. Und da fragst du noch, was Turing so für uns gemacht hat.
Andy Grunwald(00:55:15 - 00:55:20)
Ja, völlig mindblowing. Also ich sage das nicht oft, aber da muss ich echt drüber nachdenken.
Wolfi Gassler(00:55:20 - 00:56:02)
Während du nachdenkst, möchte ich die Zeit nutzen, um mich mal zu entschuldigen bei allen theoretischen InformatikerInnen, was ich so heute von mir gegeben habe. Es ist kein leichtes Thema. Wir verlinken natürlich auch einiges noch in den Shownotes zu allen Punkten, die wir erwähnt haben. Wer sich da ein bisschen mehr damit beschäftigen will, ein paar Startpunkte. Und weil es so gut funktioniert hat mit den großen Mathematikern und Informatikern, versprechen wir schon, dass es nächste Woche nochmal eine große Informatikerpersönlichkeit gibt, damit wir die Serie endlich zu einer Serie machen können, zumindest mit mindestens zwei Episoden. Wobei du ja nicht sagst, dass zwei Episoden schon eine Serie sind, oder? Oder eine mathematische Gruppe, oder wie war das?
Andy Grunwald(00:56:03 - 00:56:09)
Ja, eine mathematische Gruppe ist bei zwei. Jetzt weiß ich nicht, was eine Serie ist. Ist eine Serie eine Gruppe? Keine Ahnung.
Wolfi Gassler(00:56:09 - 00:56:11)
Wir lassen das mal mit zwei durchgehen, ganz eindeutig.
Andy Grunwald(00:56:11 - 00:56:16)
Also, ich sag mal so, wenn wir eine dritte Folge dann machen, dann wäre das schon die längste Serie, die wir in diesem Podcast bisher gemacht haben.
Wolfi Gassler(00:56:16 - 00:56:18)
Aber wir haben doch auch drei Docker-Folgen, oder?
Andy Grunwald(00:56:18 - 00:56:20)
Nee, nee, zwei.
Wolfi Gassler(00:56:20 - 00:56:20)
Waren das nur zwei?
Andy Grunwald(00:56:20 - 00:56:29)
Waren das nur zwei. Ich glaub, ich vote dann zwischendurch mal für eine dritte Docker-Folge. Oder eher Container-Folge oder eher Cloud-Native-Folge.
Wolfi Gassler(00:56:29 - 00:56:50)
Also wer Vorschläge hat in Richtung Container und Docker, schaut vorbei bei uns in der Community. Übrigens auch ein großes Problem, viele kennen unsere Community nicht, obwohl sie uns schon sehr lange hören. Wir haben immer wieder Leute, die uns erklären, sie haben nichts von der Community gewusst. Vielleicht sollten wir das einfach am Anfang erwähnen anstatt immer am Ende, aber jetzt ist es zu spät. In dem Sinne, eine schöne Woche.
Andy Grunwald(00:56:51 - 00:56:52)
Tschüss, bis zum nächsten Mal. Bye bye. Ciao.