Peter Naur- Peter Naur

Peter Nauru
Peternaur.JPG
Naur im Jahr 2008
Geboren ( 1928-10-25 )25. Oktober 1928
Frederiksberg , Dänemark
Ist gestorben 3. Januar 2016 (2016-01-03)(87 Jahre)
Herlev , Dänemark
Staatsangehörigkeit dänisch
Bekannt für ALGOL
Backus–Naur-Form
Ehepartner Christiane Floyd
Auszeichnungen Computer-Pionier-Preis (1986)
Turing-Preis (2005)
Wissenschaftlicher Werdegang
Felder Informatik , Informatik
Institutionen Regnecentralen
Niels-Bohr-Institut
Technische Universität Dänemark
Universität Kopenhagen

Peter Naur (25. Oktober 1928 – 3. Januar 2016) war ein dänischer Informatikpionier und Turing- Preisträger. Er ist am besten in Erinnerung geblieben als Mitwirkender mit John Backus an der Notation der Backus-Naur-Form (BNF), die bei der Beschreibung der Syntax für die meisten Programmiersprachen verwendet wird . Er hat auch an der Entwicklung der Sprache ALGOL 60 mitgewirkt .

Biografie

Naur begann seine Karriere als Astronom, für die er 1957 seinen Doktor der Philosophie (Ph.D.) erhielt, doch seine Begegnung mit Computern führte zu einem Berufswechsel. Von 1959 bis 1969 war er bei der dänischen Computerfirma Regnecentralen angestellt und hielt gleichzeitig Vorlesungen am Niels-Bohr-Institut und an der Technischen Universität Dänemarks . Von 1969 bis 1998 war Naur Professor für Informatik an der Universität Kopenhagen .

Er war Mitglied der International Federation for Information Processing (IFIP) IFIP Working Group 2.1 on Algorithmic Languages ​​and Calculi, die die Sprachen ALGOL 60 und ALGOL 68 spezifiziert , unterstützt und pflegt .

Die Hauptforschungsgebiete von Naur waren Design, Struktur und Leistung von Computerprogrammen und Algorithmen . Er leistete auch Pionierarbeit im Bereich Software Engineering und Software-Architektur . In seinem Buch Computing: A Human Activity (1992), das eine Sammlung seiner Beiträge zur Informatik darstellt, lehnte er die formalistische Schule der Programmierung ab, die das Programmieren als einen Zweig der Mathematik betrachtet . Er mochte es nicht, mit der Backus-Naur-Form in Verbindung gebracht zu werden (die ihm von Donald Knuth zugeschrieben wurde ) und sagte, dass er es vorziehen würde, sie als Backus-Normalform zu bezeichnen .

Naur war mit der Informatikerin Christiane Floyd verheiratet .

Naur mochte den Begriff Informatik nicht und schlug vor, ihn Datalogy oder Data Science zu nennen . Der erstgenannte Begriff wurde in Dänemark und Schweden als datalogi übernommen , während der letztgenannte Begriff jetzt für die Datenanalyse einschließlich Statistiken und Datenbanken verwendet wird.

Seit Mitte der 1960er Jahre wird Informatik in Dänemark unter Peter Naurs Begriff Datalogy , der Wissenschaft von Datenprozessen, praktiziert . Ausgehend von den Regnecentralen und der Universität Kopenhagen hat die Copenhagen Tradition of Computer Science durch eine enge Verbindung mit Anwendungen und anderen Wissensgebieten ihre eigenen Besonderheiten entwickelt. Die Tradition ist nicht zuletzt im Bildungsbereich sichtbar. Umfassende Projekttätigkeit ist integraler Bestandteil des Curriculums und vermittelt so die Theorie als Aspekt realistischer Lösungen, die vor allem aus der Praxis bekannt sind. Peter Naur hat früh die besonderen pädagogischen Herausforderungen der Informatik erkannt. Seine Innovationen haben ihre Qualität und Lebendigkeit auch an anderen Universitäten bewiesen. Es besteht ein enger Zusammenhang zwischen der Informatikausbildung, wie sie an der Universität Kopenhagen gebildet wurde, und der Auffassung der Informatik, die die Forschung von Peter Naur prägte.

In späteren Jahren war er ganz offen für das Streben nach Wissenschaft insgesamt: Naur kann möglicherweise mit der empiristischen Schule identifiziert werden , die besagt, dass man nicht nach tieferen Zusammenhängen zwischen Dingen suchen soll, die sich in der Welt manifestieren, sondern sich am Beobachtbaren halten Fakten. Unter diesem Gesichtspunkt hat er sowohl bestimmte Stränge der Philosophie als auch der Psychologie angegriffen. Er entwickelte auch eine Theorie des menschlichen Denkens, die er "Synapse-State Theory of Mental Life" nannte.

Naur gewann 2005 den AM Turing Award der Association for Computing Machinery (ACM) für seine Arbeit an der Definition der Programmiersprache ALGOL 60 . Insbesondere wurde seine Rolle als Herausgeber des einflussreichen Report on the Algorithmic Language ALGOL 60 mit seiner bahnbrechenden Verwendung von BNF gewürdigt. Naur ist der einzige Däne, der den Turing Award gewonnen hat.

Naur starb am 3. Januar 2016 nach kurzer Krankheit.

Literaturverzeichnis

Die Nummern beziehen sich auf das veröffentlichte Literaturverzeichnis. Naur veröffentlichte eine Vielzahl von Artikeln und Kapiteln zu Astronomie, Informatik, Gesellschaftsfragen, klassischer Musik, Psychologie und Pädagogik.

  • 66. Kleinplanet 51 Nemausa und das fundamentale System der Deklinationen , Dissertation, 1957
  • 95. (Herausgeber) Backus, JW ; Wegstein, JH; van Wijngaarden, A. ; Woodger, M. ; Bauer, FL ; Grün, J.; Katz, C.; McCarthy, J .; Perlis, AJ ; Rutishäuser, H.; Samelson, K.; Vauquois, B. (Mai 1960). "Bericht über die algorithmische Sprache ALGOL 60". Komm. ACM . 3 (5): 299–314. doi : 10.1145/367236.367262 . S2CID  278290 . und mehrere andere Zeitschriften.
  • 128. (Herausgeber) Backus, JW ; Wegstein, JH; van Wijngaarden, A. ; Woodger, M. ; Nauer, P.; Bauer, FL ; Grün, J.; Katz, C.; McCarthy, J .; Perlis, AJ ; Rutishäuser, H.; Samelson, K.; Vauquois, B. (Januar 1963). "Revidierter Bericht über die algorithmische Sprache ALGOL 60". Komm. ACM . 6 (1): 1–17. doi : 10.1145/366193.366201 . S2CID  7853511 .
  • 144. "Gehe zu Aussagen und guter Algol-Stil" (PNG) . BIT Numerische Mathematik . 3 (3): 204–5. 1963. doi : 10.1007/BF01939987 . S2CID  189784279 .
  • 212. —; Randell, Brian ; Buxton, JN (1976) [1969]. Die Konferenz über Softwaretechnik, 7.–11. Oktober 1968 . Garmisch, Deutschland. ISBN 978-0884053347. OCLC  610836679 .
  • 213. —; Gram, C.; Hald, J.; Hansen, HB; Wessel, A. (1969). Datamatik – Studentenlitteratur .
  • 247, 249. (mit B. Pedersen) Matematik 4 kursusbog , 2 Bände, Universität Kopenhagen, 1971, 2. Aufl. 1972
  • 264. Kurzer Überblick über Computermethoden , 397 S., Studentlitteratur , 1974
  • 274. Datalogi 2 1975/76 , 102 S., Universität Kopenhagen, 1975, Neuauflage 1976
  • 333. — (1992). Computer: Eine menschliche Aktivität . ACM-Presse. ISBN 978-0201580693.
  • 347. — (1995). Wissen und die Mystik von Logik und Regeln: Wahre Aussagen in Wissen und Handeln einbeziehen * Computermodellierung menschlicher Wissensaktivitäten * Kohärente Beschreibung als Kern von Wissenschaft und Wissenschaft . Springer. ISBN 978-0-7923-3680-8.
  • 363. Naur, Peter (1999). Antifilosofisk leksikon: Tænkning – sproglighed – videnskabelighed . ISBN 87-987221-0-7.; Englische Übersetzung 2001, ISBN  87-987221-1-5
  • 382. Naur, Peter (2002). Psykologi i videnskabelig rekonstruktion . ISBN 978-87-987221-2-0.
  • — (Januar 2007). "Informatik versus menschliches Denken" . Komm. ACM . 50 (1): 85–94. doi : 10.1145/1188913.1188922 .
  • Tageslicht, ZB; P., Naur (2011). Pluralismus in der Softwareentwicklung: Turing-Preisträger Peter Naur erklärt . Einsamer Gelehrter. ISBN 978-94-91386-00-8.

Siehe auch

Verweise

Externe Links