Peter Naur (geboren am 25. Oktober 1928) ist ein dänischer Pionier in der Informatik, und Turing erkennen Sieger zu. Sein Nachname ist der N in der BNF Notation (Backus-Naur Form), verwendet in der Beschreibung der Syntax für die meisten Programmiersprachen. Er hat zur Entwicklung des Algols 60 Programmiersprache beigetragen.

Er hat seine Karriere als ein Astronom begonnen, für den er seinen Doktorgrad 1957 erhalten hat, aber seine Begegnung mit Computern hat zu einer Änderung des Berufs geführt. Von 1959 bis 1969 wurde er an Regnecentralen, dem dänischen Recheninstitut angestellt, während er zur gleichen Zeit Vorträge am Institut von Niels Bohr und der Technischen Universität Dänemarks gegeben hat. Von 1969 bis 1998 war Naur ein Professor der Informatik an der Universität Kopenhagens.

Seine Hauptgebiete der Untersuchung sind Design, Struktur und Leistung von Computerprogrammen und Algorithmen. Für Gebiete wie Softwaretechnik und Softwarearchitektur ist auch von Naur den Weg gebahnt worden. In seiner Buchcomputerwissenschaft: Eine Menschliche Tätigkeit (1992), der eine Sammlung seiner Beiträge zur Informatik ist, weist er die Formalist-Schule der Programmierung dieser Ansicht zurück, als ein Zweig der Mathematik programmierend. Er wird nicht gern mit der Backus-Naur-Form (zugeschrieben ihm durch Donald Knuth) vereinigt und sagt, dass er es es vorziehen würde, die Backus Normale Form genannt zu werden.

Naur ist mit dem Computerwissenschaftler Christiane Floyd verheiratet gewesen.

Naur mag die wirkliche Begriff-Informatik nicht und schlägt vor, dass es datalogy genannt wird. Dieser Begriff ist auch in Dänemark und in Schweden als datalogi angenommen worden.

In späteren Jahren ist er auch von der Verfolgung der Wissenschaft als Ganzes ziemlich freimütig gewesen: Naur kann vielleicht mit der Empiriker-Schule identifiziert werden, die sagt, dass man tiefere Verbindungen zwischen Dingen nicht suchen soll, die sich in der Welt äußern, aber zu den erkennbaren Tatsachen behalten. Er hat sowohl bestimmte Ufer der Philosophie als auch Psychologie aus diesem Gesichtspunkt angegriffen. Er entwickelt auch zurzeit eine Theorie des Menschen, der denkt, den er mit der Synapsestaatstheorie des Geistigen Lebens nennt.

Naur hat den 2005-ACM vormittags Turing Preis für seine Arbeit am Definieren des Algols 60 Programmiersprache gewonnen. Insbesondere seine Rolle als Redakteur des einflussreichen "Berichts über das Algorithmische Sprachalgol 60" mit seinem Pioniergebrauch von BNF wurde anerkannt. Naur ist der einzige Däne, um den Turing-Preis gewonnen zu haben.

Bibliografie

Zahlen beziehen sich auf die veröffentlichte Bibliografie. Naur hat eine Vielzahl von Artikeln und Kapiteln über die Astronomie, Informatik, Probleme in Gesellschaft, klassischer Musik, Psychologie und Ausbildung veröffentlicht.

• 66. Geringer Planet 51 Nemausa und das grundsätzliche System von Neigungen, Doktorarbeit, 1957
• 95. (Redakteur) "Bericht über das algorithmische Sprachalgol 60", 1960, der in mehreren Zeitschriften, einschließlich der Kommunikation des ACM 3, 5 (Mai 1960), Seiten 299-314 veröffentlicht ist
• 128. (Redakteur) "Hat Bericht über das algorithmische Sprachalgol 60", Kommunikationen des ACM 6, 1 (Januar 1963), Seiten 1-17 revidiert
• 144. "Gehen Sie zu Behauptungen und gutem ALGOL-Stil" hat 3 (1963), Seiten 204-205 GEBISSEN
• 212. (Redakteur mit B. Randell und J. N. Buxton) Softwaretechnik, 231 p., 1969, hat 1976 neu veröffentlicht
• 213. (mit C. Gramm, J. Hald, H. B. Hansen und A. Wessel) Datamatik, Studentlitteratur, 1969
• 247, 249. (mit B. Pedersen) Matematik 4 kursusbog, 2 Volumina, Kopenhagener Universität, 1971, 2. Hrsg. 1972
• 264. Kurzer Überblick über Computermethoden, 397 p. Studentlitteratur, 1974
• 274. Datalogi 2 1975/76, 102 p. Kopenhagener Universität, 1975, neue Ausgabe 1976
• 333. Computerwissenschaft: Eine Menschliche Tätigkeit, 656 p. ACM Press/Addison-Wesley, 1992
• 347. Das Wissen und die Mystik der Logik und Regeln, 365 p. Kluwer Akademische Herausgeber, 1995
• 363. Antifilosofisk leksikon: Tænkning - sproglighed - videnskabelighed, 111 p. 1999, internationale Standardbuchnummer 87-987221-0-7; englische Übersetzung 2001, internationale Standardbuchnummer 87-987221-1-5
• 382. Psykologi i videnskabelig rekonstruktion, 113 p. 2002, internationale Standardbuchnummer 87-987221-2-3
• Naur, P. 2007. Die Computerwissenschaft gegen das menschliche Denken. Commun. ACM 50, 1 (Januar 2007), 85-94. DOI =

• Tageslicht, Zum Beispiel und Naur, P. Pluralismus in der Softwaretechnik: Turing Award Winner Peter Naur Explains, iii + 127 p. Einsamer Gelehrter, 2011, internationale Standardbuchnummer 978-9491386008

Links

• Persönliche Website mit einer ausführlichen Bibliografie
• Gespräch an UIST, 2006