Mathematician:Peter Naur

From ProofWiki
Jump to navigation Jump to search

Mathematician

Danish astronomer, computer scientist and empirical philosopher who was significantly involved in the development of ALGOL.

The metalanguage Backus-Naur Form was named after John Warner Backus (who invented it) and him (who refined it), but would rather it were called Backus Normal Form.


Nationality

Danish


History

  • Born: 25 October 1928 in Frederiksberg, Denmark
  • Died: 3 January 2016 in Herlev, Denmark


Theorems and Definitions


Publications

  • 1960: Report on the algorithmic language ALGOL 60 (as editor) (for which he won the Turing Award in 2005)
  • 1966: Proof of algorithms by general snapshots (BIT Vol. 6no. 4: 310 – 316)
  • 1992: Computing: A Human Activity