GPN11:Warum wir noch Mathematiker brauchen: Unterschied zwischen den Versionen
(Die Seite wurde neu angelegt: „{{#css:/wiki/index.php?title=GPN11:Stylesheet&action=raw&ctype=text/css}} __NOTOC__ Vortrag von nomeata auf der GPN11. Hilbert hatte ei…“) |
(hier war kein embed drin? nuja jetzt schon) |
||
| (10 dazwischenliegende Versionen von 7 Benutzern werden nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
{{#css:/ | {{#css:GPN11:Stylesheet}} | ||
{{#ev:mediacccde|https://media.ccc.de/browse/conferences/gpn/gpn11/gpn11-6-warum_wir_noch_mathematiker_brauchen.html||right}} | |||
Vortrag von [[Benutzer:Nomeata|nomeata]] auf der [[GPN11]]. | Vortrag von [[Benutzer:Nomeata|nomeata]] auf der [[GPN11]]. | ||
| Zeile 14: | Zeile 16: | ||
sein junges Lambda-Kalkül, die Mutter aller funktionalen Programmiersprachen, | sein junges Lambda-Kalkül, die Mutter aller funktionalen Programmiersprachen, | ||
verwendet um das Entscheidungsproblem negativ zu | verwendet um das Entscheidungsproblem negativ zu | ||
lösen | lösen – wenige Monate bevor dies auch von Turing mit seiner bekannteren | ||
Arbeit zum Halteproblem gezeigt wurde. | Arbeit zum Halteproblem gezeigt wurde. | ||
Der vollständige [[Media:ChurchTalk.pdf|Text des Vortrages]] als auch der [[Media:ChurchTalkEn.pdf|englische Text]] des Orginalvortrages kann hier nachgelesen werden. | |||
== Dokumentation == | |||
* Text: [[Media:ChurchTalk.pdf|PDF]] | |||
* [https://media.ccc.de/v/gpn11-6-warum_wir_noch_mathematiker_brauchen Video-Aufzeichnung] ([[Media:gpn11-warum-wir-noch-mathematiker-brauchen.mkv|Mirror]]) | |||
: (Die ersten 6 Minuten Audio sind unwiederbringbar kaputt. Sorry.) | |||
{{GPN11 Vortrags Navigation}} | |||
Aktuelle Version vom 22. Juni 2023, 20:57 Uhr
Vortrag von nomeata auf der GPN11.
Hilbert hatte einen Traum: Er wünschte sich eine formale Sprache, in der
alle Mathematik formuliert werden kann, die widerspruchsfrei und
vollständig ist und eine Maschine, die jede Aussage als wahr oder falsch
identifiziert. Dann kam Church und weckte Hilbert aus seinem Traum: So
eine Maschine kann es nicht geben, wir brauchen also weiter Mathematiker
um Beweise zu finden.
Nach einer logikgeschichtlichen Einordnung werden wir sehen wie Church sein junges Lambda-Kalkül, die Mutter aller funktionalen Programmiersprachen, verwendet um das Entscheidungsproblem negativ zu lösen – wenige Monate bevor dies auch von Turing mit seiner bekannteren Arbeit zum Halteproblem gezeigt wurde.
Der vollständige Text des Vortrages als auch der englische Text des Orginalvortrages kann hier nachgelesen werden.
Dokumentation
- Text: PDF
- Video-Aufzeichnung (Mirror)
- (Die ersten 6 Minuten Audio sind unwiederbringbar kaputt. Sorry.)
Fahrplan ·
afk · Alternative Gulascherwärmung · Computerspiele, Kunst und Volksverhetzung · CouchDB · Die Werwölfe von Düsterwald · Dreißig Jahre Weltraumgeschichte · Einführung in Go · ENTE · Evolutionary Algorithms 101 · Game On · GSM · Gulaschbytes · Hackstation · Internet Governance · Invasion der Roboter · Laser · LASN - Labor zur Analyse Sozialer Netzwerke · Lautsprecherworkshop · Lightning Talks · Lockpicking · Lolpizza · Mercurial erweitern · Modernes JavaScript · Mysteriöse Ausstellung neben dem Hackcenter · Plausible Deniability · Programmierspiel · Shader magic · Tausendundeine Programmiernächte · Volkszaehler · Warum wir noch Mathematiker brauchen · Wavelets · What to hack · Zero Install