ProofWiki:Mathematicians/Peter Naur
From ProofWiki
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 Backus (who invented it) and him (who refined it), but would rather it were called Backus Normal Form.
Contents |
Nationality
Danish
History
- Born: October 25, 1928
Theorems and Definitions
Books, Publications, etc.
- 1960: Report on the algorithmic language ALGOL 60 (as editor) (for which he won the Turing Award in 2005)
- 1992: Computing: A Human Activity
