맨위로가기

빌헬름 아커만

"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.

1. 개요

빌헬름 아커만은 1896년에 태어나 1962년에 사망한 독일의 수학자이다. 괴팅겐 대학교에서 박사 학위를 받았으며, 뮌스터 대학교 명예교수이자 괴팅겐 과학 아카데미의 통신 회원이었다. 다비트 힐베르트의 수학 논리 강의를 정리하여 《수학 논리의 원리》를 출판하는 데 기여했으며, 수리 논리학, 무모순성 증명, 결정 문제 등에 관한 연구를 수행했다. 주요 저서로는 《수학 논리의 원리》, 《결정 문제의 해결 가능한 경우》 등이 있다.

더 읽어볼만한 페이지

  • 뮌스터 대학교 교수 - 송두율
    송두율은 1944년 도쿄에서 태어나 서울대 철학과를 졸업하고 독일에서 유학한 사회학자이자 철학자로, 독일 대학교에서 교수로 재직하며 한국과 북한 사회를 연구하고 북한을 방문하여 조선로동당 당원 가입 논란과 국가보안법 위반 혐의로 기소되었으나, '내재적 접근론' 등 독창적인 이론과 남북 학술 교류 활동으로 한국 사회에 영향을 미쳤다.
  • 뮌스터 대학교 교수 - 한스 로베르트 야우스
    한스 로베르트 야우스는 독일의 문학 이론가이자 콘스탄츠 학파의 주요 인물로서, 문학 수용 이론을 발전시켜 문학 연구에 기여했으나, 친위대 복무 경력 논란으로 학문적 유산에 대한 재평가가 이루어지고 있다.
  • 독일의 논리학자 - 이마누엘 칸트
    이마누엘 칸트는 1724년 쾨니히스베르크에서 태어나 평생 그곳에서 연구하며 《순수이성비판》, 《실천이성비판》 등을 통해 인식론, 윤리학, 미학에 혁신적인 사상을 제시하여 서양 철학에 지대한 영향을 미쳤다.
  • 독일의 논리학자 - 고트프리트 빌헬름 라이프니츠
    고트프리트 빌헬름 라이프니츠는 독일의 철학자, 수학자, 과학자, 외교관, 법학자, 도서관학자이자 언어학자로, 합리주의 철학을 대표하며 모나드론과 예정조화설을 주장했고, 미적분학을 독자적으로 발견하고 이진법을 체계화하는 등 다양한 학문 분야에 기여했다.
  • 독일의 루터교도 - 이마누엘 칸트
    이마누엘 칸트는 1724년 쾨니히스베르크에서 태어나 평생 그곳에서 연구하며 《순수이성비판》, 《실천이성비판》 등을 통해 인식론, 윤리학, 미학에 혁신적인 사상을 제시하여 서양 철학에 지대한 영향을 미쳤다.
  • 독일의 루터교도 - 빌리 브란트
    빌리 브란트는 서독의 사회민주당 소속 정치인으로, 총리 재임 시절 동방정책을 통해 독일의 분단 극복에 기여하고 노벨 평화상을 수상했으나, 기욤 사건으로 사퇴한 후에도 독일 재통일의 기반을 마련하고 사회복지 정책을 통해 서독 사회에 큰 영향을 미쳤다.
빌헬름 아커만 - [인물]에 관한 문서
기본 정보
빌헬름 아커만, 1935년경
이름빌헬름 프리드리히 아커만
원어 이름Wilhelm Friedrich Ackermann
IPA 표기 (영어)/ˈækərmən/
IPA 표기 (독일어)/ˈakɐˌman/
출생1896년 3월 29일
출생지독일 제국 헤르샤이트
사망1962년 12월 24일
사망지서독 뤼덴샤이트
국적독일
학문 분야
분야수학
모교괴팅겐 대학교
지도 교수다비트 힐베르트
알려진 업적아커만 코딩
아커만 함수
아커만 집합론

2. 생애

1896년 3월 29일 독일 제국 아른스베르크현 헤르샤이트(Hersheidde)에서 태어났다. 1925년괴팅겐 대학교에서 다비트 힐베르트 아래 박사 학위를 받았다.[1]

1929년부터 1948년까지 뮌스터 현의 슈타인푸르트(Steinfurtde)에 있는 아르놀디눔 김나지움(Arnoldinum Gymnasiumde)에서 가르쳤다. 1948년부터 1961년까지는 아른스베르크현 뤼덴샤이트(Lüdenscheidde)의 김나지움에서 가르쳤으며, 뮌스터 대학교 명예교수였다.

1962년 12월 24일 서독 뤼덴샤이트에서 사망하였다.

3. 주요 연구 업적

아커만은 독일 제국 헤어샤이트에서 태어나 1925년 괴팅겐 대학교에서 힐베르트의 무모순성 이론을 이용한 논문으로 박사 학위를 받았다.[1] 이 논문은 페아노 공리를 사용하지 않고 산술의 무모순성을 증명한 것으로, 1920년대 증명 이론의 주요 연구 중 하나였다.[1] 1928년에는 다비트 힐베르트의 수학적 논리 강의를 정리하여 ''수학 논리의 원리'' 책을 출간하는 데 도움을 주었으며, 이 책은 1차 논리를 최초로 설명하고 괴델의 완전성 정리결정 가능성(결정 문제) 문제를 제기했다.[1]

만년에도 아커만은 고등학교 교사로 일하면서 집합론, 전체 산술, 무형식 논리, 공리적 집합론의 무모순성 증명을 구성하는 등 수학의 기초에 대한 연구를 계속하여 많은 기여를 했다.[1]

3. 1. 무모순성 증명

아커만은 집합론(1937년), 전체 산술(1940년), 무형식 논리(1952년), 그리고 새로운 공리적 집합론(1956년)의 무모순성 증명을 구성했다.[1]

3. 2. 결정 문제

1928년, 빌헬름 아커만은 다비트 힐베르트가 1917년부터 1922년까지 진행한 수학적 논리 입문 강의를 정리하여 ''수학 논리의 원리''라는 책을 출간하는 데 도움을 주었다.[1] 이 책은 1차 논리를 처음으로 다룬 책이었으며, 괴델의 완전성 정리와 결정 가능성(결정 문제) 문제를 제기했다.[1]

1954년, 아커만은 ''결정 문제''의 해결 가능한 경우에 대한 연구 결과를 담은 책을 출간했다.[1]

3. 3. 수학 논리의 원리

1928년 아커만은 다비트 힐베르트가 1917년부터 1922년까지 진행했던 수학적 논리 입문 강의를 정리하여 ''수학 논리의 원리''라는 책을 출간하도록 도왔다.[1] 이 책은 1차 논리를 처음으로 명확하게 설명한 자료였으며, 괴델의 완전성 정리와 결정 가능성(결정 문제) 문제를 제기했다.

4. 저서


  • 1928년, 〈힐베르트의 실수 구성에 관하여〉 (\[\[장 반 헤이에누르트]] 편집), 《프레게에서 괴델까지: 수학 논리학 소스 북, 1879–1931》, 하버드 대학교 출판부, 493–507쪽.
  • 1940년, 〈수론의 무모순성에 관하여〉, 《수학 연보》, 117권, 162–194쪽.
  • 1950년 (1928년), (\[\[다비트 힐베르트]]와 공저) 《\[\[수학 논리의 원리]]》, 첼시. (1938년 독일어판 번역)
  • 1954년, 《\[\[결정 문제]]의 해결 가능한 경우》, 노스 홀랜드.

참조

[1] 웹사이트 Wilhelm Ackermann https://mathshistory[...] 2021-08-18
[2] 웹인용 Wilhelm Ackermann https://mathshistory[...] 2021-08-18



본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.

문의하기 : help@durumis.com