Mathematician:Peter Naur

From ProofWiki
Jump to navigation Jump to search


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.




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

Theorems and Definitions

Definitions of concepts named for Peter Naur can be found here.


  • 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. 6, no. 4: pp. 310 – 316)
  • 1992: Computing: A Human Activity