빌헬름 아커만

이 글은 검증을 위해 추가 인용문이 필요합니다. 신뢰할 수 있는 출처에 인용문을 추가하여 이 기사를 개선하는 데 도움을 주십시오. 조달되지 않은 자재는 제거될 수 있습니다.출처 찾기 : "Wilhelm Ackermann" – 뉴스 · 신문 · 서적 · 학자 · JSTOR (2017년 9월) (템플릿 메시지 삭제 방법 및 삭제 시기 확인)

빌헬름 아커만
1935년 빌헬름 아커만
태어난	(1896-03-29) 1896년 3월 29일 헤르셰이드
죽은	1962년 12월 24일 (1962-12-24) (66세) 뤼덴샤이트, 서독
국적.	독일의
모교	괴팅겐 대학교
로 알려져 있다	애커만 부호화 아커만 함수 아커만 집합론
과학 경력
필드	수학
박사 어드바이저	데이비드 힐버트

빌헬름 프리드리히 아커만(Wilhelm Friedrich Ackerman, 1896년 3월 29일 ~ 1962년 12월 24일)은 독일의^[1] 수학자이자 논리학자이다.

전기

아커만은 독일 헤르셰이드에서 태어나 1925년 괴팅겐 대학으로부터 그의 논문 Begründung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit으로 박사학위를 받았다. 이것은 명백히 산술적 사용의 증거이다.이것은 1920년대에 증명 이론에서 두 개의 주요 작품 중 하나였고 힐베르트의 사상 ^[1]학파를 따르는 유일한 작품이었다.1929년부터 1948년까지 그는 Burgsteinfurt에 있는 Arnoldinum 체육관에서 가르쳤고 1961년까지 Lüdenscheid에서 가르쳤다.그는 괴팅겐에 있는 Akademie der Wissenschaften (과학 아카데미)의 통신원이었고, 몬스터 대학의 명예 교수이기도 했다.

1928년, 애커만은 데이비드 힐버트가 1917년부터 22년까지 수학 논리 입문 강의를 수학 논리학의 원리라는 텍스트로 바꾸는 것을 도왔다.이 텍스트는 1차 논리의 사상 최초의 설명을 포함하고 있으며, 그 완전성과 결정성(Entscheidungsproblem)의 문제를 제기하였다.애커만은 계속해서 집합론(1937), 완전산술(1940), 유형자유논리(1952), 집합론의 새로운 공리화(1956)에 대한 일관성 증명을 구성했다.

애커만이 결혼하자 힐버트의 지지는 사라졌다.

나중에 애커맨은 고등학교 교사로 계속 일했다.그럼에도 불구하고, 그는 연구 분야에 계속 관여했고 그의 생이 끝날 때까지 수학의 기초에 많은 공헌을 했다.그는 1962년 12월 독일 뤼덴샤이트에서 사망했다.

「 」를 참조해 주세요.

• 애커먼의 사출
• 애커만 부호화
• 아커만 함수
• 아커만 서수
• 아커만 집합론
• 힐베르트-아커만 시스템
• entscheidungsproblem 문제
• 서수 표기법
• 역아커만 함수

참고 문헌

• 1928. 장 반 하이제노르트의 "힐베르트의 실수의 구성에 대하여", 1967년.From Frege to Gödel: 수학논리학의 소스북, 1879–1931.하버드 대학교493~507을 누릅니다.
• 1940. "Zur Widerspruchsfreiheit der Zahlentheory", 매트리쉬 아나렌, 제117권, 페이지 162-194.
• 1950 (1928).수학논리의 원리.첼시.1938년 독일어판 번역.
• 1954. 결정문제의 해결가능한 사례.북네덜란드

레퍼런스

외부 링크

• O'Connor, John J.; Robertson, Edmund F., "Wilhelm Ackermann", MacTutor History of Mathematics archive, University of St Andrews
• 수학 계보 프로젝트의 빌헬름 아커만
• Erich Friedman의 Stetson University Ackerman 페이지
• 에르메스, 메모리암 빌헬름 ACKERMAN 1896-1962 (PDF, 945KB)
• 데이터베이스 zbMA의 작성자 프로파일TH