위키백과

쿠르트 괴델: 두 판 사이의 차이

입체적으로 역사 찾아보기
← 이전 편집다음 편집 →
내용 삭제됨 내용 추가됨
시각위키텍스트
편집 요약 없음
잔글편집 요약 없음
15번째 줄:
|지도교수 = 한스 한({{llang|de|Hans Hahn}})
|지도학생 =
|주요 업적 = [[불완전성 정리]], <br />[[완전성 정리]], <br /> [[연속체 가설]]의 증명불가능성
|수상 = Albert Einstein Award (1951)
|종교 =
30번째 줄:
[[카를 멩거]]의 [[수학]] 콜로퀴움에 참석하고 1929년에 「제1단 술어논리의 완전성 정리」를 제출하여 [[1930년]] [[2월 6일]] 박사 학위를 받는다.
 
다음 해인 [[1931년]]에는 20세기 [[수학기초론]], [[논리학]]에서 가장 중요한 발견으로 여겨지는 「불완전성 정리」를 발표한다. 이는 [[다비드다비트 힐베르트|힐베르트]]가 수학의 무모순성을 증명하기 위해 추진했던 「힐베르트 프로그램」의 일부로 연구되었던 것이지만, 「수학은 자신의 무모순성을 증명할 수 없다」는 것을 보인 불완전성 정리는 거꾸로 그 프로그램에 크나큰 타격을 주었다. 불완전성은 [[존 폰 노이만]] 등 당대 1류 학자들의 격찬을 받아 「인간 이성의 한계를 보여줬다」는 평을 받았다.
 
그 외 업적으로는 [[알베르트 아인슈타인]]의 [[일반 상대성 이론]]의 [[괴델 우주]] 등이 있다.
원본 주소 "https://ko.wikipedia.org/wiki/쿠르트_괴델"