Peter Naur
 |
| Peter Naur | |
|---|---|
 | |
| ALGOL, formalismo de Backus-Naur | |
| Nascimento | 25 de outubro de 1928 Frederiksberg, Dinamarca} |
| Morte | 3 de janeiro de 2016 (87 anos) Herlev, Dinamarca |
| Nacionalidade | dinamarquês |
| Cidadania | Reino da Dinamarca |
| Progenitores |
|
| Cônjuge | Christiane Floyd |
| Alma mater | |
| Ocupação | astrônomo, cientista da computação, professor universitário, programador |
| Distinções | Prêmio Pioneiro da Computação (1986), Prêmio Turing (2005) |
| Empregador(a) | Universidade de Copenhague, Universidade Técnica da Dinamarca, Regnecentralen |
| Cargo(s) | professor |
| Instituições | Regnecentralen, Instituto Niels Bohr, Universidade Técnica da Dinamarca, Universidade de Copenhague |
| Tese | 1957: Minor planet 51 Nemausa and the fundamental system of declinations |
| Obras destacadas | Programming as theory building |
| Causa da morte | doença |
Peter Naur (Frederiksberg, 25 de outubro de 1928 — Herlev, 3 de janeiro de 2016) foi um informático dinamarquês.
É um dos pioneiros no estudo da ciência da computação, agraciado com o Prêmio Turing. Seu sobrenome representa o “N” na notação BNF - Formalismo de Backus-Naur -, a qual é usada na descrição da sintaxe da maioria das linguagens de programação, tendo Naur contribuído para a criação da linguagem ALGOL 60.
Antes de atuar na ciência da computação Naur foi astrônomo, e em 1957 defendeu seu doutorado nesta área. Durante 10 anos, de 1959 a 1969, trabalhou na Regnecentralen, o instituto de computação da Dinamarca, e ao mesmo tempo lecionava no Instituto Niels Bohr e na Universidade Técnica da Dinamarca. No período de 1969 a 1998, Naur foi professor de Ciência da Computação na Universidade de Copenhaga.
Suas maiores áreas de atuação foram no design, estruturação e desempenho de programas computacionais e algoritmos. Naur também foi pioneiro em áreas como Engenharia e Arquitetura de Software. Em seu livro “Computing: A Human Activity” (1992), que é uma coleção de suas contribuições para a ciência da computação, ele rejeitou a escola formalista de programação que considerava a programação como uma ramificação da matemática. Naur não gostava de ter sido associado a BNF (a ele atribuída por Donald Knuth) e dizia que preferiria que a BNF se chamasse Forma Normal de Backus.
Naur não gostava do termo ciência da computação, chegando a sugerir que este fosse chamado datalogia, termo este que foi adotado em muitos paises escandinavos (na Dinamarca e na Suécia usa-se datalogi).
Em anos posteriores, Naur falou abertamente sobre a investigação científica em geral. Naur poderia ser identificado com a escola Empirista, segundo a qual uma pessoa não deve procurar conexões profundas entre coisas que se manifestam no mundo, mas se ater aos fatos observáveis. Naur atacava certos ramos da filosofia e da psicologia a partir desse ponto de vista. Uma das últimas coisas em que trabalhou foi no desenvolvimento de uma teoria de pensamento humano que ele chamava de “Synapse-State Theory of Mental Life”.
Peter Naur ganhou em 2005 o Prêmio Turing, por seu trabalho no desenvolvimento da linguagem de programação ALGOL 60. Reconheceu-se em particular seu papel como editor do influente “Report on the Algorithmic Language ALGOL 60” o qual abre caminho no uso da BNF. Naur tornou-se o primeiro dinamarquês a receber este prêmio.
Referências
- Minor planet 51 Nemausa and the fundamental system of declinations, tese de doutorado, 1957
- Report on the algorithmic language ALGOL 60, publicado em vários jornais, incluindo Communication of the ACM 3,1960.
- Revised report on the algorithmic language ALGOL 60, Communications of the ACM 6, 1963.
- Go to statements and good Algol style, BIT 3, 1963.
- Software Engineering (editado com auxílio de B. Randell e J. N. Buxton), 1969, republicado em 1976
- Studentlitteratur (com C. Gram, J. Hald, H. B. Hansen e A. Wessel), Datamatik, 1969.
- Matematik 4 kursusbog (com B. Pedersen), 2 volumes, Universidade de Copenhague, 1971, 2a. edição, 1972.
- Studentlitteratur, Concise Survey of Computer Methods, 1974.
- Datalogi 2 1975/76, Universidade de Copenhague, 1975, nova edição 1976.
- ACM Press/Addison-Wesley, Computing: A Human Activity, 1992.
- Kluwer Academic Publishers, Knowing and the Mystique of Logic and Rules, 1995.
- Antifilosofisk leksikon: Tænkning - sproglighed - videnskabelighed , 1999, ISBN 87-987221-0-7; edição em inglês 2001, ISBN 87-987221-1-5
- Psykologi i videnskabelig rekonstruktion, 2002, ISBN 87-987221-2-3
- Naur, P.. Computing versus human thinking. ACM 50, 2007. DOI= http://doi.acm.org/10.1145/1188913.1188922
Referências
- ↑ «Peter Naur Dies Aged 87» (em inglês)
Ligações externas
| Precedido por Vint Cerf e Robert Kahn |
Prêmio Turing 2005 |
Sucedido por Frances Allen |
