Peter Naur - Peter Naur
Peter Naur | |
|---|---|
 Naur em 2008
| |
| Nascer |
25 de outubro de 1928
Frederiksberg , Dinamarca
|
| Faleceu | 3 de janeiro de 2016 (87 anos)
Herlev , Dinamarca
|
| Nacionalidade | dinamarquês |
| Conhecido por |
Formulário ALGOL Backus – Naur |
| Cônjuge (s) | Christiane Floyd |
| Prêmios |
Prêmio de pioneiro do computador (1986) Prêmio Turing (2005) |
| Carreira científica | |
| Campos | Ciência da computação , informática |
| Instituições |
Regnecentralen Niels Bohr Institute Technical University da Dinamarca University of Copenhagen |
Peter Naur (25 de outubro de 1928 - 3 de janeiro de 2016) foi um pioneiro da ciência da computação dinamarquês e vencedor do prêmio Turing . Ele é mais lembrado como um colaborador, com John Backus , da notação Backus – Naur form (BNF) usada na descrição da sintaxe para a maioria das linguagens de programação . Ele também contribuiu para a criação da linguagem ALGOL 60 .
Biografia
Naur começou sua carreira como astrônomo, pelo qual recebeu o título de Doutor em Filosofia (Ph.D.) em 1957, mas seu encontro com os computadores o levou a uma mudança de profissão. De 1959 a 1969, ele trabalhou na Regnecentralen , a empresa de computação dinamarquesa, ao mesmo tempo em que dava aulas no Instituto Niels Bohr e na Universidade Técnica da Dinamarca . De 1969 a 1998, Naur foi professor de ciência da computação na Universidade de Copenhagen .
Ele foi membro da Federação Internacional para Processamento de Informação (IFIP) IFIP Working Group 2.1 on Algorithmic Languages and Calculi, que especifica , suporta e mantém as línguas ALGOL 60 e ALGOL 68 .
As principais áreas de investigação de Naur foram design, estrutura e desempenho de programas e algoritmos de computador . Ele também foi pioneiro em 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 vê a programação como um ramo da matemática . Ele não gostava de ser associado à forma Backus – Naur (atribuída a ele por Donald Knuth ) e disse que preferia que fosse chamada de forma normal Backus .
Naur era casado com a cientista da computação Christiane Floyd .
Naur não gostava do termo ciência da computação e sugeriu que fosse chamado de datalogia ou ciência de dados . O primeiro termo foi adotado na Dinamarca e na Suécia como datalogi , enquanto o último termo agora é usado para análise de dados , incluindo estatísticas e bancos de dados.
Desde meados dos anos 1960, a ciência da computação tem sido praticada na Dinamarca sob o termo datalogia de Peter Naur , a ciência dos processos de dados. Começando em Regnecentralen e na Universidade de Copenhague, a Tradição de Copenhague da Ciência da Computação desenvolveu suas próprias características especiais por meio de uma conexão estreita com aplicações e outros campos do conhecimento. A tradição não é menos visível na área da educação. A atividade de projeto abrangente é parte integrante do currículo, apresentando assim a teoria como um aspecto de soluções realistas conhecidas principalmente por meio da experiência real. Peter Naur logo reconheceu os desafios educacionais específicos apresentados pela ciência da computação. Suas inovações mostraram sua qualidade e vitalidade também em outras universidades. Há uma conexão estreita entre o treinamento em ciência da computação, tal como foi formado na Universidade de Copenhagen, e a visão da ciência da computação que caracterizou a pesquisa de Peter Naur.
Nos últimos anos, ele foi bastante franco sobre a busca da ciência como um todo: Naur pode possivelmente ser identificado com a escola empirista , que diz que não se deve buscar conexões mais profundas entre as coisas que se manifestam no mundo, mas manter o observável fatos. Ele atacou certas correntes da filosofia e da psicologia desse ponto de vista. Ele também estava desenvolvendo uma teoria do pensamento humano que chamou de "Teoria do Estado de Sinapse da Vida Mental".
Naur ganhou o prêmio AM Turing da Association for Computing Machinery (ACM) de 2005 por seu trabalho na definição da linguagem de programação ALGOL 60 . Em particular, seu papel como editor do influente Report on the Algorithmic Language ALGOL 60 com seu uso pioneiro de BNF foi reconhecido. Naur é o único dinamarquês a ganhar o Prêmio Turing.
Naur morreu em 3 de janeiro de 2016, após uma curta doença.
Bibliografia
Os números referem-se à bibliografia publicada. Naur publicou um grande número de artigos e capítulos sobre astronomia, ciência da computação, questões sociais, música clássica, psicologia e educação.
- 66. Planeta menor 51 Nemausa e o sistema fundamental de declinações , tese de doutorado, 1957
- 95. (editor) Backus, JW ; Wegstein, JH; van Wijngaarden, A .; Woodger, M .; Bauer, FL ; Green, J .; Katz, C .; McCarthy, J .; Perlis, AJ ; Rutishauser, H .; Samelson, K .; Vauquois, B. (maio de 1960). “Relatório sobre a linguagem algorítmica ALGOL 60”. Com. ACM . 3 (5): 299–314. doi : 10.1145 / 367236.367262 . S2CID 278290 . e vários outros periódicos.
- 128. (editor) Backus, JW ; Wegstein, JH; van Wijngaarden, A .; Woodger, M .; Nauer, P .; Bauer, FL ; Green, J .; Katz, C .; McCarthy, J .; Perlis, AJ ; Rutishauser, H .; Samelson, K .; Vauquois, B. (janeiro de 1963). "Relatório revisado sobre a linguagem algorítmica ALGOL 60". Com. ACM . 6 (1): 1-17. doi : 10.1145 / 366193.366201 . S2CID 7853511 .
- 144. "Vá para as declarações e bom estilo Algol" (PNG) . BIT Numerical Mathematics . 3 (3): 204–5. 1963. doi : 10.1007 / BF01939987 . S2CID 189784279 .
- 212. -; Randell, Brian ; Buxton, JN (1976) [1969]. The Conference on Software Engineering, 7-11 de outubro de 1968 . Garmisch, Alemanha. ISBN 978-0884053347. OCLC 610836679 .
- 213. -; Gram, C .; Hald, J .; Hansen, HB; Wessel, A. (1969). Datamatik - Studentlitteratur .
- 247, 249. (com B. Pedersen) Matematik 4 kursusbog , 2 volumes, Copenhagen University, 1971, 2ª ed. 1972
- 264. Concise Survey of Computer Methods , 397 p., Studentlitteratur , 1974
- 274. Datalogi 2 1975/76 , 102 p., Copenhagen University, 1975, nova edição 1976
- 333. - (1992). Computing: A Human Activity . ACM Press. ISBN 978-0201580693.
- 347. - (1995). Saber e a mística da lógica e das regras: Incluindo afirmações verdadeiras no conhecimento e na ação * Modelagem por computador da atividade de conhecimento humano * Descrição coerente como o núcleo da bolsa de estudos e da ciência . Springer. ISBN 978-0-7923-3680-8.
- 363. Naur, Peter (1999). Antifilosofisk leksikon: Tænkning - sproglighed - videnskabelighed . ISBN 87-987221-0-7.; Tradução para o inglês 2001, ISBN 87-987221-1-5
- 382. Naur, Peter (2002). Psykologi i videnskabelig rekonstruktion . ISBN 978-87-987221-2-0.
- - (janeiro de 2007). "Computação versus pensamento humano" . Com. ACM . 50 (1): 85–94. doi : 10.1145 / 1188913.1188922 .
- Luz do dia, EG; P., Naur (2011). Pluralismo na Engenharia de Software: Explica o Vencedor do Prêmio Turing, Peter Naur . Lonely Scholar. ISBN 978-94-91386-00-8.
Veja também
Referências
links externos
- Site pessoal com bibliografia detalhada
- Palestra na UIST , 2006