GPN11:Warum wir noch Mathematiker brauchen: Unterschied zwischen den Versionen

aus dem Wiki des Entropia e.V., CCC Karlsruhe
(→‎Dokumentation: mirror video)
(3 dazwischenliegende Versionen von 3 Benutzern werden nicht angezeigt)
Zeile 1: Zeile 1:
{{#css:/wiki/index.php?title=GPN11:Stylesheet&action=raw&ctype=text/css}}
{{#css:GPN11:Stylesheet}}
__NOTOC__
 
{{Youtube|id=FKKI8I9DPxA}}
 
Vortrag von [[Benutzer:Nomeata|nomeata]] auf der [[GPN11]].
Vortrag von [[Benutzer:Nomeata|nomeata]] auf der [[GPN11]].


Zeile 21: Zeile 23:
== Dokumentation ==
== Dokumentation ==
* Text: [[Media:ChurchTalk.pdf|PDF]]
* Text: [[Media:ChurchTalk.pdf|PDF]]
* Video-Aufzeichnung: [http://ftp.ccc.de/events/gpn11/gpn11-warum-wir-noch-mathematiker-brauchen.mkv gpn11-warum-wir-noch-mathematiker-brauchen.mkv] ([[Media:gpn11-warum-wir-noch-mathematiker-brauchen.mkv|Mirror]])
* Video-Aufzeichnung: [http://ftp.ccc.de/events/gpn/gpn11/gpn11-warum-wir-noch-mathematiker-brauchen.mkv gpn11-warum-wir-noch-mathematiker-brauchen.mkv] ([[Media:gpn11-warum-wir-noch-mathematiker-brauchen.mkv|Mirror]])
: (Die ersten 6 Minuten Audio sind unwiederbringbar kaputt. Sorry.)
: (Die ersten 6 Minuten Audio sind unwiederbringbar kaputt. Sorry.)


{{Navigationsleiste GPN11}}
{{GPN11 Vortrags Navigation}}
[[Kategorie:Vorträge]]

Version vom 8. April 2015, 03:48 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

(Die ersten 6 Minuten Audio sind unwiederbringbar kaputt. Sorry.)