덴마크인컴퓨터 과학자튜링상 수상자프로그래밍 언어 설계자

페테르 나우르

페테르 나우르는 덴마크의 컴퓨터 과학 선구자이자 2005년 튜링상 수상자로, 배커스-나우르 표기법(BNF)과 ALGOL 60 개발에 기여했다.

1. 개요

피터 나우르(Peter Naur, 1928년 10월 25일 ~ 2016년 1월 3일)는 덴마크의 저명한 컴퓨터 과학 선구자이자 2005년 튜링상 수상자이다. 그는 존 배커스와 함께 대부분의 프로그래밍 언어의 구문을 기술하는 데 사용되는 배커스-나우르 표기법 (BNF) 개발에 기여한 것으로 가장 잘 알려져 있다. 또한 ALGOL 60 언어 설계에도 중요한 역할을 했다.

나우르는 본래 천문학자로서 철학 박사 학위를 받았으나, 컴퓨터와의 만남을 통해 직업을 전환했다. 그는 덴마크의 컴퓨팅 기업인 레네센트랄렌에서 근무했으며, 코펜하겐 대학교의 컴퓨터 과학 교수로 재직하며 소프트웨어 공학과 소프트웨어 아키텍처 분야에서 선구적인 연구를 수행했다.

그의 주요 연구 분야는 컴퓨터 프로그램 및 알고리즘의 설계, 구조, 성능이었고, 1992년 저서 Computing: A Human Activity영어에서 프로그래밍을 수학의 한 분야로 보는 형식주의적 접근을 비판했다. 그는 '컴퓨터 과학'이라는 용어를 싫어하여 'datalogy영어' 또는 'data science영어'로 대체할 것을 제안했으며, 이는 덴마크와 스웨덴에서 'datalogi덴마크어'라는 용어로 채택되었다. 나우르는 또한 경험론적 관점에서 철학과 심리학을 탐구했으며, '시냅스 상태 정신 생활 이론영어' (Synapse-State Theory of Mental Life)을 개발했다.

그는 덴마크인으로는 유일하게 튜링상을 수상했으며, 이는 그가 ALGOL 60 언어 정의에 기여하고 배커스-나우르 표기법의 선구적인 사용을 담은 Report on the Algorithmic Language ALGOL 60영어의 편집자 역할을 수행한 공로를 인정받은 것이다.

2. 생애

2.1. 어린 시절과 교육

나우르는 1928년 10월 25일 셸란 (Zealand) 섬의 프레데릭스베르 (Frederiksberg)에서 태어났다. 그는 코펜하겐 대학교에서 천문학을 공부했으며, 1949년에 졸업했다. 1953년부터 1959년까지 코펜하겐 대학교 천문대에서 근무했으며, 1957년에는 천문학 분야에서 철학 박사 학위를 취득했다.

2.2. 컴퓨터 과학으로의 전환

천문학자로서의 경력을 시작했지만, 컴퓨터와의 만남은 그의 직업 경로를 바꾸는 계기가 되었다.

3. 주요 활동 및 업적

3.1. Regnecentralen 및 학계 활동

1959년부터 1969년까지 나우르는 덴마크의 컴퓨팅 기업인 레네센트랄렌 (Regnecentralen)에 재직했다. 같은 기간 동안 그는 닐스 보어 연구소 (Niels Bohr Institute)와 덴마크 공과대학교 (Technical University of Denmark)에서 강의를 진행했다. 1969년부터 1998년까지 나우르는 코펜하겐 대학교의 컴퓨터 과학 교수로 재직했으며, 학교의 컴퓨터 연구소를 설립하는 데 기여했다. 그는 국제 정보 처리 연맹 (IFIP) IFIP Working Group 2.1 (알고리즘 언어 및 계산 그룹)의 회원이었다. 이 그룹은 ALGOL 60과 ALGOL 68 언어를 정의하고 지원하며 유지 관리했다. 또한 1960년부터 1993년까지 수치 해석에 중점을 둔 저널인 BIT Numerical Mathematics의 편집위원회 위원으로 활동했다.

3.2. 프로그래밍 언어에 대한 기여

나우르는 존 배커스 (John Backus)와 함께 대부분의 프로그래밍 언어의 구문을 기술하는 데 사용되는 배커스-나우르 표기법 (Backus-Naur form, BNF)을 개발하는 데 기여한 것으로 가장 잘 알려져 있다. 그는 또한 ALGOL 60 프로그래밍 언어의 생성에 중요한 역할을 했다. 특히, BNF를 선구적으로 사용한 영향력 있는 Report on the Algorithmic Language ALGOL 60영어의 편집자로서 그의 역할은 높이 평가되었다.

3.3. 컴퓨터 과학 연구

나우르의 주요 연구 분야는 컴퓨터 프로그램과 알고리즘의 설계, 구조, 성능이었다. 그는 또한 소프트웨어 공학 (software engineering)과 소프트웨어 아키텍처 (software architecture) 분야를 개척했다. 그의 1992년 저서 Computing: A Human Activity영어는 컴퓨터 과학에 대한 그의 기여를 모아 놓은 것으로, 이 책에서 그는 프로그래밍을 수학의 한 분야로 보는 형식주의적인 프로그래밍 학파를 거부했다.

4. 철학과 사상

4.1. 프로그래밍 및 컴퓨터 과학에 대한 관점

나우르는 '컴퓨터 과학'이라는 용어를 싫어했으며, 대신 'datalogy영어' 또는 'data science영어'라고 불릴 것을 제안했다. 전자는 덴마크와 스웨덴에서 'datalogi덴마크어'로 채택되었고, 후자는 현재 통계학과 데이터베이스를 포함하는 데이터 분석에 사용되고 있다. 1960년대 중반부터 덴마크에서는 피터 나우르가 제안한 'datalogy영어'(데이터 처리 과학)라는 용어 아래 컴퓨터 과학이 연구되었다. 레네센트랄렌과 코펜하겐 대학교에서 시작된 '코펜하겐 컴퓨터 과학 전통'은 응용 분야 및 기타 지식 분야와의 긴밀한 연계를 통해 독자적인 특성을 발전시켰다. 이러한 전통은 특히 교육 분야에서 두드러지게 나타나는데, 포괄적인 프로젝트 활동이 교육 과정의 필수적인 부분이며, 이론은 실제 경험을 통해 파악되는 현실적인 해결책의 한 측면으로 제시된다. 나우르는 컴퓨터 과학이 제시하는 특유의 교육적 과제를 일찍이 인식했으며, 그의 혁신은 다른 대학에서도 그 품질과 활력을 입증했다. 코펜하겐 대학교에서 형성된 컴퓨터 과학 교육과 피터 나우르의 연구를 특징짓는 컴퓨터 과학에 대한 관점은 밀접하게 연결되어 있다. 나우르는 도널드 커누스 (Donald Knuth)에 의해 자신에게 귀속된 '배커스-나우르 표기법'이라는 용어를 선호하지 않았으며, '배커스 정규형영어' (Backus normal form)이라고 불리기를 원한다고 말했다.

4.2. 철학 및 심리학 이론

말년에 나우르는 과학 전체의 추구에 대해 매우 솔직하게 의견을 피력했다. 그는 세상에 나타나는 것들 사이에서 더 깊은 연관성을 찾으려 하지 않고 관찰 가능한 사실에 머물러야 한다고 주장하는 경험론 학파와 동일시될 수 있다. 그는 이러한 관점에서 철학과 심리학의 특정 경향을 비판했다. 또한 그는 '시냅스 상태 정신 생활 이론영어' (Synapse-State Theory of Mental Life)이라고 명명한 인간 사고 이론을 개발하고 이를 발전시키기 위해 노력했다.

5. 개인적인 삶

나우르는 컴퓨터 과학자 크리스티아네 플로이드 (Christiane Floyd)와 결혼했다. 그의 전 거주지였던 겐토프테 (Gentofte)는 현재 사회학자 클레어 맥스웰 (Claire Maxwell)이 소유하고 있다.

6. 사망

피터 나우르는 2016년 1월 3일, 짧은 투병 끝에 87세의 나이로 사망했다.

7. 수상 및 인정

나우르는 ALGOL 60 프로그래밍 언어 정의에 대한 공로로 2005년 계산기 학회 (Association for Computing Machinery, ACM)의 A.M. 튜링상 (Turing Award)을 수상했다. 특히, BNF의 선구적인 사용이 담긴 영향력 있는 Report on the Algorithmic Language ALGOL 60영어의 편집자로서 그의 역할이 인정되었다. 나우르는 튜링상을 수상한 유일한 덴마크인이다.

8. 저술 목록

피터 나우르는 천문학, 컴퓨터 과학, 사회 문제, 클래식 음악, 심리학 및 교육 등 다양한 분야에서 수많은 기사와 책을 발표했다. 다음은 그의 주요 저술 목록이다.

  • Minor planet 51 Nemausa and the fundamental system of declinations영어, 박사 학위 논문, 1957.
  • (편집) Report on the algorithmic language ALGOL 60영어, 1960. (Communication of the ACM 3권 5호, 1960년 5월, 299-314쪽 및 여러 다른 저널에 게재).
  • (편집) Revised report on the algorithmic language ALGOL 60영어, 1963. (Communications of the ACM 6권 1호, 1963년 1월, 1-17쪽).
  • Go to statements and good Algol style영어, 1963. (BIT 3권 3호, 204-208쪽).
  • (B. Randell, J. N. Buxton 공저) The Conference on Software Engineering, 7-11 October 1968영어, 독일 가미슈, 1969. (1976년 재판).
  • (C. Gram, J. Hald, H. B. Hansen, A. Wessel 공저) Datamatik덴마크어, Studentlitteratur, 1969.
  • (B. Pedersen 공저) Matematik 4 kursusbog덴마크어, 2권, 코펜하겐 대학교, 1971. (2판 1972).
  • Concise Survey of Computer Methods영어, 397쪽, Studentlitteratur, 1974.
  • Datalogi 2 1975/76덴마크어, 102쪽, 코펜하겐 대학교, 1975. (신판 1976).
  • Computing: A Human Activity영어, ACM Press/Addison-Wesley, 1992.
  • Knowing and the Mystique of Logic and Rules: Including True Statements in Knowing and Action * Computer Modelling of Human Knowing Activity * Coherent Description as the Core of Scholarship and Science영어, Springer, 1995.
  • Antifilosofisk leksikon: Tænkning - sproglighed - videnskabelighed덴마크어, Naur.com publ., 1999. ISBN 87-987221-0-7; 영어 번역판 2001, ISBN 87-987221-1-5.
  • Psykologi i videnskabelig rekonstruktion덴마크어, Naur.com, 2002. ISBN 978-87-987221-2-0.
  • Computing versus human thinking영어, 2007. (Comm. ACM 50권 1호, 2007년 1월, 85-94쪽).
  • (E. G. Daylight 공저) Pluralism in Software Engineering: Turing Award Winner Peter Naur Explains영어, Lonely Scholar, 2011. ISBN 978-94-91386-00-8.

9. 관련 항목

  • 컴퓨터 과학 선구자 목록

10. 외부 링크

  • [http://www.naur.com/ 피터 나우르 공식 웹사이트]
  • [http://www.naur.com/bibliography.html 상세 서지 정보]
  • [https://amturing.acm.org/award_winners/naur_1024454.cfm ACM 튜링상 2005년 피터 나우르 프로필]
  • [https://web.archive.org/web/20070927205744/http://www.idiap.ch/mmm/talk-webcast/uist-06/uist06_day1#2006-10-16_09h02 UIST 2006 강연]