Edsger Wybe Dijkstra (am 11. Mai 1930 - am 6. August 2002)) war ein holländischer Computerwissenschaftler. Er hat den Turing 1972-Preis für grundsätzliche Beiträge zum Entwickeln von Programmiersprachen erhalten, und war der Schlumberger Hundertjährige Vorsitzende von Informatiken an Der Universität Texas an Austin von 1984 bis 2000.

Kurz vor seinem Tod 2002 hat er den ACM PODC Einflussreicher Papierpreis in der verteilten Computerwissenschaft für seine Arbeit an der Selbststabilisierung der Programm-Berechnung erhalten. Dieser jährliche Preis wurde der Dijkstra Preis im nächsten Jahr in seiner Ehre umbenannt.

Leben und Arbeit

Geboren in Rotterdam hat Dijkstra theoretische Physik an der Leiden Universität studiert, aber hat schnell begriffen, dass er sich mehr für die Informatik interessiert hat.

Ursprünglich verwendet von Mathematisch Centrum in Amsterdam hat er eine Professur an der Eindhoven Universität der Technologie gehalten, hat als ein Forschungsgefährte für Burroughs Corporation am Anfang der 1980er Jahre gearbeitet, und hat später den Schlumberger Hundertjährigen Stuhl in Informatiken an der Universität Texas an Austin in den Vereinigten Staaten gehalten. Er hat sich 2000 zurückgezogen.

Unter seinen Beiträgen zur Informatik sind der kürzeste Pfad-Algorithmus, auch bekannt als der Algorithmus von Dijkstra; Kehren Sie polnische Notation und verwandten Verschiebebahnhof-Algorithmus um; DAS Mehrprogrammiersystem, ein wichtiges frühes Beispiel, ein System als eine Reihe von Schichten zu strukturieren; der Algorithmus des Bankiers; und das Semaphor baut, um vielfache Verarbeiter und Programme zu koordinieren. Ein anderes Konzept wegen Dijkstra im Feld der verteilten Computerwissenschaft ist das der Selbststabilisierung - eine alternative Weise, die Zuverlässigkeit des Systems zu sichern. Der Algorithmus von Dijkstra wird in SPF verwendet, Kürzester Pfad Zuerst, der in den Routenplanungsprotokollen OSPF verwendet wird und IST - IST.

Während er umfassend im Maschinencode in den 1950er Jahren programmiert hatte, war er für seine niedrige Meinung von der GOTO Behauptung in der Computerprogrammierung, dem Schreiben bekannt, dass eine Zeitung 1965 und das Kulminieren im 1968-Artikel "A Case against the GO TO Statement", als ein Hauptschritt zur weit verbreiteten Missbilligung der GOTO Behauptung und seines wirksamen Ersatzes durch strukturierte Kontrollkonstruktionen, solcher als während Schleife betrachtet haben. Dieser Artikel wurde von Redakteur Niklaus Wirth wiederbetitelt, um zur Behauptung Überlegt Schädlich "Zu gehen", der den Ausdruck eingeführt hat, "hat als schädlich" in der Computerwissenschaft betrachtet. Diese Methodik wurde auch strukturierte Programmierung, den Titel seines 1972-Buches, coauthored mit C.A.R. Hoare und Ole-Johan Dahl genannt. Dijkstra hat auch stark dem Unterrichten von GRUNDLEGENDEN entgegengesetzt.

Wie man

bekannt, war Dijkstra ein Anhänger des Algols 60, und hat an der Mannschaft gearbeitet, die den ersten Bearbeiter für diese Sprache durchgeführt hat. Dijkstra und Jaap Zonneveld, der am Bearbeiter zusammengearbeitet hat, sind bereit gewesen sich nicht zu rasieren, bis das Projekt vollendet wurde. Es war einer der ersten Bearbeiter, die recursion unterstützen.

Dijkstra hat zwei wichtige Papiere 1968, gewidmet der Struktur einer Mehrprogrammierung Betriebssystem genannt, und zu Zusammenarbeitenden Folgenden Prozessen geschrieben.

Von den 1970er Jahren war das Hauptinteresse von Dijkstra formelle Überprüfung. Die vorherrschende Meinung war zurzeit, dass man zuerst ein Programm schreiben und dann einen mathematischen Beweis der Genauigkeit zur Verfügung stellen sollte. Dijkstra hat Anmerkung eingewandt, dass die resultierenden Beweise lang und beschwerlich sind, und dass der Beweis keine Scharfsinnigkeit darauf gibt, wie das Programm entwickelt wurde. Eine alternative Methode ist Programm-Abstammung, um Beweis und Programm-Hand in der Hand "zu entwickeln". Man fängt mit einer mathematischen Spezifizierung dessen an, was ein Programm tun soll und mathematische Transformationen auf die Spezifizierung anwendet, bis es in ein Programm verwandelt wird, das durchgeführt werden kann. Wie man dann bekannt, ist das resultierende Programm durch den Aufbau richtig. Viel spätere Arbeit von Dijkstra betrifft Weisen, mathematisches Argument zu rationalisieren. In einem 2001-Interview hat er einen Wunsch nach "der Anmut" festgesetzt, wodurch die richtige Annäherung Gedanken geistig würde bearbeiten, aber nicht versuchen sollen, sie zu machen, bis sie abgeschlossen sind. Die Analogie, die er gemacht hat, sollte den compositional Annäherungen von Mozart und Beethoven gegenüberstellen.

Dijkstra war einer der frühen Pioniere im Feld der verteilten Computerwissenschaft. Insbesondere sein Papier "Selbststabilisierungssysteme trotz der Verteilten Kontrolle" hat das Teilfeld der Selbststabilisierung angefangen.

Viele seiner Meinungen auf der Informatik und Programmierung sind weit verbreitet geworden. Zum Beispiel ist er berühmt, wegen den populären Programmierausdruck "zwei oder mehr ins Leben zu rufen, verwenden Sie für," auf die Faustregel anspielend, dass, wenn Sie sich finden, mehr als ein Beispiel einer Datenstruktur bearbeitend, es Zeit ist, um zu denken, diese Logik innerhalb einer Schleife kurz zusammenzufassen. Er war erst, um den Anspruch zu erheben, dass Programmierung so von Natur aus kompliziert ist, dass, um es erfolgreich zu führen, Programmierer jeden Trick und mögliche Abstraktion anspannen müssen. Als er die abstrakte Natur der Informatik ausgedrückt hat, hat er geschrieben

:The-Job [des Funktionierens oder Verwendens eines Computers] war wirklich außer der elektronischen Technologie des Tages, und, infolgedessen, der Frage dessen, wie man bekommt und die physische Ausrüstung mehr oder weniger in der Arbeitsbedingung behält, ist in den frühen Tagen die vollüberwiegende Sorge geworden. Infolgedessen ist das Thema — in erster Linie in den USA — vorzeitig bekannt als "Informatik" geworden — der, wirklich kennzeichnender Chirurgie als "Messer-Wissenschaft" ähnlich ist — und es fest implanted in den Meinungen von Leuten war, dass Rechenwissenschaft über Maschinen und ihr Peripheriegerät ist. Quod nicht [Latein: "Der"] nicht wahr ist.

Er ist in Nuenen am 6. August 2002 nach einem langen Kampf mit Krebs gestorben. Im nächsten Jahr wurde der ACM (Vereinigung, um Maschinerie Zu schätzen), PODC Einflussreicher Papierpreis in der verteilten Computerwissenschaft der Dijkstra Preis in seiner Ehre umbenannt.

EWDs und mit der Hand schreibend

Dijkstra war für seine Gewohnheit dazu bekannt, sorgfältig Manuskripte mit seinem Füllfederhalter zusammenzusetzen. Die Manuskripte werden EWDs genannt, seitdem Dijkstra sie mit EWD, seinen Initialen als ein Präfix gezählt hat. Gemäß Dijkstra selbst hat der EWDs angefangen, als er sich vom Mathematischen Zentrum in Amsterdam zur Eindhoven Universität der Technologie (dann Technische Hogeschool Eindhoven) bewegt hat. Nach dem Gehen zu Eindhoven hat Dijkstra einen Block eines Schriftstellers seit mehr als einem Jahr erfahren. Das Schauen nah an sich er hat dass begriffen, wenn er über Dinge geschrieben hat, dass sie am Festordner in Amsterdam schätzen würden, das seine Kollegen in Eindhoven nicht verstehen würden; wenn er über Dinge schriebe, möchten sie in Eindhoven, seine ehemaligen Kollegen in Amsterdam würden auf ihn herabsehen. Er hat sich dann dafür entschieden, nur für sich zu schreiben, und auf diese Weise sind die EWDs geboren gewesen. Dijkstra würde Fotokopien eines neuen EWD unter seinen Kollegen verteilen; weil viele Empfänger fotokopiert haben und ihre Kopie, die EWDs-Ausbreitung überall in der internationalen Informatik-Gemeinschaft nachgeschickt haben. Die Themen waren Informatik und Mathematik, und haben Reiseberichte, Briefe und Reden eingeschlossen. Mehr als 1300 EWDs sind mit einer steigenden Zahl seitdem gescannt worden, die abgeschrieben ist, um Suche zu erleichtern, und sind online am Archiv von Dijkstra der Universität Texas verfügbar.

Eine der Nebenbeschäftigungen von Dijkstra diente als Vorsitzender des Ausschusses erfundener Mathematics Inc., einer Gesellschaft, die er sich vorgestellt hat, die Produktion von mathematischen Lehrsätzen ebenso kommerzialisiert, dass Softwaregesellschaften die Produktion von Computerprogrammen kommerzialisiert hatten. Er hat mehrere Tätigkeiten und Herausforderungen von Mathematics Inc. erfunden und hat sie in mehreren Papieren in der EWD Reihe dokumentiert. Die imaginäre Gesellschaft hatte einen Beweis der Hypothese von Riemann erzeugt, aber hatte dann große Schwierigkeiten, Lizenzgebühren von Mathematikern sammelnd, die Ergebnisse bewiesen hatten, die die Hypothese von Riemann annehmen. Der Beweis selbst war ein Geschäftsgeheimnis.

Viele Beweise der Gesellschaft wurden die Tür getrieben, und dann musste viel Anstrengung der Gesellschaft für die Wartung ausgegeben werden.

Eine erfolgreichere Anstrengung war der Standardbeweis für den Lehrsatz von Pythagoras, der die mehr als 100 unvereinbaren vorhandenen Beweise ersetzt hat.

Dijkstra hat Mathematics Inc. als "das aufregendste und jämmerlichste jemals konzipierte Geschäft" beschrieben.

EWD 443 (1974) beschreibt seine erfundene Gesellschaft als, mehr als 75 Prozent des Marktanteils in der Welt zu haben.

Trotz viel von der Technologie der Software erfunden zu haben, hat sich Dijkstra des Gebrauches von Computern in seiner eigenen Arbeit viele Jahrzehnte lang enthalten. Fast alle EWDs, die nach 1972 erscheinen, waren handschriftlich. Wenn er liest, würde er Beweise in der Kreide auf einer Wandtafel schreiben, anstatt Oberfolien zu verwenden. Sogar nachdem er der Aufmunterung seiner UT Kollegen erlegen hat und einen Computer von Macintosh erworben hat, hat er sie nur für die E-Mail verwendet und für das World Wide Web zu durchsuchen.

Preise und besondere Auszeichnungen

Unter den Preisen und Ehren von Dijkstra sind:

• Mitglied der königlichen Kunstakademie von Niederlanden und Wissenschaften (1971)
• Der ausgezeichnete Gefährte der britischen Computergesellschaft (1971)
• Die Vereinigung, um Maschinerie vormittags Turing Preis (1972) zu schätzen
• Ausländisches Ehrenmitglied der amerikanischen Kunstakademie und Wissenschaften (1975)
• Arzt der Wissenschaft Honoris Causa von der Universität der Königin Belfast (1976)
• Computerpioniercharter-Empfänger von der IEEE Computergesellschaft (1982)
• Gefährte der Vereinigung, um Maschinerie (1994) zu schätzen
• Ehrendoktorat von der Athener Universität der Volkswirtschaft & des Geschäfts, Griechenland (2001).
• Computer und Kommunikationspreis (NEC Fundament), Japan (2002)

Siehe auch

• Der Algorithmus von Dijkstra
• Speisenphilosoph-Problem
• Vorsichtige Befehl-Sprach- und Prädikat-Transformator-Semantik
• Semaphor
• Smoothsort
• "Die Entsetzlichkeit des echten Unterrichtens der Informatik"

Kommentare

Schriften durch E.W. Dijkstra

• (EWD215)

• (EWD340) PDF, 1972 ACM Turing Preis-Vortrag

• (EWD498)
• Von meinem Leben (EWD1166)
• Dijkstra, E.W. (August 1975), Vorsichtige Befehle, nondeterminacy und formelle Abstammung des Programms. Kommunikationen des ACM, 18 (8):453-457.

http://doi.acm.org/10.1145/360933.360975

• Dijkstra, E.W. (1976), Eine Disziplin der Programmierung, Prentice-Saal-Reihe in der Automatischen Berechnung, internationale Standardbuchnummer 0 13 215871 X — Eine systematische Einführung in eine Version der vorsichtigen Befehl-Sprache mit vielen bearbeiteten Beispielen
• Ausgewählte Schriften auf der Computerwissenschaft: Eine Persönliche Perspektive, Texte und Monografien in der Informatik, dem Springer-Verlag, 1982, internationale Standardbuchnummer 0-387-90652-5
• Eine Methode, E.W. Dijkstra, W.H.J. Feijen, trsl. durch J. Sterringa, Addison Wesley 1988, internationale Standardbuchnummer 0-201-17536-3 Zu programmieren
• E. W. Dijkstra und Carel S. Scholten (1990). Prädikat-Rechnung und Programm-Semantik. Internationale Standardbuchnummer des Springers-Verlag 0-387-96957-8 — Eine abstrakte, formelle Behandlung der Prädikat-Transformator-Semantik
• O.-J. Dahl, Edsger W. Dijkstra, C. A. R. Hoare Strukturierte Programmierung, Akademische Presse, London, 1972 internationale Standardbuchnummer 0-12-200550-3
• dieses Volumen schließt eine ausgebreitete Version der Zeichen auf der Strukturierten Programmierung einschließlich eines verlängerten Beispiels ein, die strukturierte Annäherung zu verwenden, um einen denselben Weg zurückverfolgenden Algorithmus zu entwickeln, um das 8 Königin-Problem zu beheben.
• eine pdf Version dieses Buches ist in der ACM Klassischen Buchreihe verfügbar

Andere über Dijkstra, Lobreden

• Lebensbeschreibung Digidome
• Edsger Wybe Dijkstra (1930-2002): Ein Bildnis eines Genies (PDF) Todesanzeige in Formellen Aspekten der Computerwissenschaft mit einer kurzen Lebensbeschreibung
• Wie können wir Edsger W. Dijkstra zu denjenigen erklären, die kannten ihn nicht? durch David Gries
• Dijkstra Lobrede durch J Strother Moore
• In Memoriam Edsger Wybe Dijkstra durch Mario Szegedy
• Fotos von Edsger Dijkstra
• Das 1985-Interview mit Edsger Dijkstra, den er als das beste von seinem Leben gedacht

hat

Links

• Mündliches Geschichtsinterview mit Edsger W. Dijkstra, Institutuniversität von Charles Babbage Minnesotas, Minneapolis. Dijkstra zählt seine frühe Ausbildung und Ausbildung als ein theoretischer Physiker und als ein 'Programmierer' nach. Dijkstra beschreibt seine Arbeitsentwickeln-Software und seine Tätigkeiten auf mehreren frühen Informationsverarbeitungskonferenzen. Dijkstra bespricht die Entwicklung des Algols 60, der Algorithmus von Dijkstra, DAS Mehrprogrammiersystem. Kommentare zu solchen Zahlen wie Aad van Wijngaarden, Gerrit Blaauw, F.L. Bauer, Peter Naur, Tony Hoare, Niklaus Wirth, Alan Perlis. Vergleicht die Ursprünge der Rechenwissenschaft in Europa und Amerika. Mündliches Geschichtsinterview 2001. Extrakt, der in Kommunikationen des ACM Vol veröffentlicht ist. 53 Nr. 8 (Aug 2010): 41-47.
• Archiv von E. W. Dijkstra
• Aufzeichnungen von Burroughs Corporation - Papiere von Edsger W. Dijkstra, Institut von Charles Babbage, Universität Minnesotas. Dijkstra hat als ein Forschungsgefährte mit Burroughs Corporation gearbeitet, die 1973 beginnt.
• Noorderlicht: Disziplin im Gedanke-Videointerview, am 2001-04-10
• ursprünglich hier, nur in Niederländisch, Bandbreite-Optionen
• Die Zusammenrufen-Rede von Edsger Dijkstra