Edsger W. Dijkstra
Zu fragen, ob eine Maschine denken kann, ist ungefähr so nützlich wie zu fragen, ob ein U-Boot schwimmen kann: Besser ist es zu untersuchen, was Programme tatsächlich tun.
Leben
Niederländischer Informatiker (1930–2002), Träger des Turing-Preises 1972, der in Eindhoven und später an der University of Texas at Austin lehrte. Er entwickelte einen Algorithmus für kürzeste Wege (1956) und trat für eine strenge, beweisbasierte Programmierung ein. Für die großen Fragen ist er bedeutsam, weil er lockere Vergleiche zwischen Maschinen und Geist ablehnte: Zu fragen, ob eine Maschine denkt, erschien ihm so sinnlos wie zu fragen, ob ein U-Boot schwimmt.
Hauptwerke
Die Abhandlung, die den nach ihm benannten Algorithmus für kürzeste Wege beschreibt.
Er plädiert für eine strukturierte Programmierung, die leichter zu verstehen und auf Korrektheit zu beweisen ist.
Er leitet Programme gemeinsam mit ihren Korrektheitsbeweisen her.
In seinen eigenen Worten
« Alan M. Turing dachte über Kriterien nach, um die Frage zu entscheiden, ob Maschinen denken können – eine Frage, von der wir heute wissen, dass sie ungefähr so relevant ist wie die Frage, ob U-Boote schwimmen können. »