[pkl] Warum wir noch Mathematiker brauchen
Oliver Bandel
oliver at first.in-berlin.de
Fr Mär 19 22:58:40 CET 2021
Liebe Leute,
vor einigen Jahren fand ich auf dem Mediaserver des CCC einen sehr
interessanten Vortrag mit dem Titel "Warum wir noch Mathematiker brauchen":
https://media.ccc.de/v/gpn11-6-warum_wir_noch_mathematiker_brauchen
Leider ist die Aufzeichnung von nicht all zu guter, und im Verlaufe
des Videos auch noch abnehmender Qualität.
Meine Transkriptionsversuche der Formeln am Ende des Vortrags waren
aussichtslos.
Kürzlich rang ich mich dazu durch, den nomeata ausfindig zu machen und
fand dahinter Joachim Breitner.
Zwar gab es den Vortrag nicht nochmals in besserer Qualität (was ich mir
erst erhoffte), dafür aber das Manuskript des Vortrags, welches hier zu
finden ist:
https://entropia.de/wiki/images/a/ab/ChurchTalk.pdf
Das Manuskript zum Vortrag - ich hatte auch danach gefragt, aber
das war ja wirklich mehr, als ich wirklich ausfindig zu machen
zu hoffen wagte. :-)
Mithilfe des Lambda-Calculus wird dort gezeigt, wieso eine rein
algorithmische Lösung mathematischer Probleme nicht möglich ist.
Am Ende des Vortrags heisst es, daß damit gezeigt sei, daß es
hoffnungslos ist, Mathematiker durch Algorithmen (somit auch Computer
klassischer Bauart (somit auch Turingmaschine)) zu ersetzen.
Das ist nett formuliert.
Aber es liesse sich auch anders ausdrücken: Menschen sind in der Lage
Proleme zu lösen, die rein klassisch-algorithmisch nicht zu lösen sind.
Das heisst dann aber auch: es gibt eine Rationalität, die die einer
Turingmaschine übersteigt.
Und verfügbar ist diese Rationalität(sform) (wenngleich untermischt mit
viel Irrationalität) in biologischen Wesen, dem Menschen.
Mit dem eleganten Weg über den Lambda-Calculus kann man also mit einem
Handstreich die Computerträume (KI/AI, Machine Learning, echt denkende
Computer/Maschinen) aus dem Wege räumen.
Der Weg, dies über die Turingmaschine zu zeigen ist demnach eher ein
Umweg. Da jedenfalls der Lambda-Claculus turingvollständig ist,
und die Umkehrung wohl auch gilt ( was ich fast schon schade finde ;-) )
können die Turingmaschinen-Enthusiasten ab dem Punkt einpacken!
Gruß,
Oliver
Mehr Informationen über die Mailingliste pkl