1937년 뮌스터에서 치른 국가 고시는 수리논리학의 기초 연구에 평생을 바친 독일 수학자 한스 헤르메스(Hans Hermes)의 공식적인 학문적 출발점이 되었다. 1912년 노인키르헨에서 태어난 그는 20세기 독일의 급변하는 정치적, 제도적 환경 속에서 계산 가능성과 재귀 함수 연구의 중심 인물이 되었다.
초기 학문적 발전과 군 복무
1931년부터 헤르메스는 프라이부르크 대학교에서 수학, 물리학, 화학, 생물학, 철학을 공부했다. 1937년 뮌스터에서 시험을 마친 후, 괴팅겐 대학교에서 장학금을 받았으며 이후 본 대학교에서 조교로 근무했다. 제2차 세계 대전 중 그의 경력은 1943년까지 저지 섬에서의 군 복무로 인해 중단되었다. 그 후 킬의 해군 화학 물리학 연구소에서 일했으며, 나중에 토플리츠 호수에서 암호 연구에 참여했다.
수리논리학의 발전
1947년 헤르메스는 본 대학교의 강사가 되었으며, 리만 영역의 해석적 다양체에 관한 논문으로 교수 자격을 취득했다. 1949년에는 뮌스터 대학교 교수로 임명되었다. 1953년, 그는 하인리히 숄츠로부터 수리논리학 및 기초 연구소를 인수했다. 그의 지도 아래 이 연구소는 빌헬름 아커만과 기스베르트 하젠예거를 포함한 연구자들의 목적지가 되었다. 그는 1950년 아놀드 슈미트 및 위르겐 폰 켐프스키와 함께 '수리논리학 및 수학 기초론 아카이브'를 공동 창립하고, 1962년 독일 수리논리학 및 정밀 과학 기초 연구 협회 설립을 지원하며 이 분야를 형성했다.
계산 가능성 및 튜링 기계 연구
헤르메스는 예측 가능성의 기초 개념으로서의 튜링 기계에 관한 중요한 업적을 남겼다. 1937년 논문 '확정적 항과 예측 가능한 수'에서 튜링의 아이디어를 검토했으며, 1954년 프로그램 제어 계산기의 보편성에 관한 출판물에서는 그러한 기계가 튜링 기계와 동일한 농도를 가짐을 증명했다. 1966년, 프라이부르크 대학교에 신설된 수리논리학 및 수학 기초론 강좌에 임명되어 전문 학과를 설립했다. 1977년 명예교수로 은퇴할 때까지 그곳에 머물렀다. 연구 외에도 고틀로프 프레게의 논문을 사후 편집하고 출판하는 작업에 매진했다.
핵심 사실
- 출생: 1912년, 독일 노인키르헨 - 사망: 2003년, 독일 프라이부르크 - 교육: 뮌스터 대학교, 괴팅겐 대학교 - 학문적 직위: 뮌스터 대학교, 본 대학교, 프라이부르크 대학교 - 회원: 하이델베르크 과학 인문학 아카데미 - 주요 분야: 수리논리학 - 주요 기여: '수리논리학 및 수학 기초론 아카이브' 공동 창립자
독자 질문
### 뮌스터 연구소의 중요성은 무엇이었나요?
1953년부터 시작된 헤르메스의 지도 아래, 수리논리학과 기초 연구 분야에서 저명한 국제적 중심지가 되었습니다.
### 한스 헤르메스는 튜링 기계 연구에 기여했나요?
네, 1937년에 튜링의 개념에 관한 초기 연구를 발표했으며, 나중에 프로그래밍 가능한 기계와 튜링 기계가 동일한 계산 범위를 가짐을 증명했습니다.
.jpg)