아런트 헤이팅
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.
1. 개요
아런트 헤이팅은 1898년 네덜란드 암스테르담에서 태어나 1980년 스위스 루가노에서 사망한 수학자이다. 암스테르담 대학교에서 라위트전 브라우어 아래에서 수학을 공부하고 박사 학위를 받았으며, 직관 논리의 형식화에 기여하여 브라우어의 수학적 접근 방식을 명문화했다. 그는 암스테르담 대학교 연구원, 조교수, 정교수를 역임했으며, 주요 저서로는 '직관주의'가 있다.
더 읽어볼만한 페이지
- 논리학자 - 야코 힌티카
핀란드 태생의 철학자이자 논리학자인 야코 힌티카는 수리 논리학, 철학적 논리학, 인식론, 언어 철학 등 다양한 분야에서 연구했으며, 형식적 인식론과 논리학을 위한 게임 의미론의 창시자이자 아리스토텔레스, 칸트, 비트겐슈타인, 퍼스에 대한 새로운 해석을 제시한 학자이다. - 네덜란드의 수학자 - 크리스티안 하위헌스
크리스티안 하위헌스는 네덜란드의 과학자로서 진자시계와 밸런스 스프링 시계를 발명하고 토성의 위성 타이탄을 발견했으며 빛의 파동설을 제시하는 등 다양한 분야에서 혁신적인 업적을 남겼다. - 네덜란드의 수학자 - 에츠허르 데이크스트라
네덜란드 출신의 컴퓨터 과학자이자 수학자인 에츠허르 데이크스트라는 데이크스트라 알고리즘 개발, 구조적 프로그래밍 옹호, 세마포어 개념 연구, THE 운영체제 개발 참여 등 컴퓨터 과학의 다양한 분야에 큰 공헌을 했다. - 암스테르담 대학교 동문 - 프리츠 제르니커
프리츠 제르니커는 위상차 현미경 발명 및 제르니커 다항식 개발을 통해 광학 분야에 기여하여 1953년 노벨 물리학상을 수상한 네덜란드 물리학자이다. - 암스테르담 대학교 동문 - 안톤 판네쿡
네덜란드 천문학자이자 마르크스주의 이론가인 안톤 판네쿡은 은하수 구조 및 항성 분포 연구에 기여하고 천문학사를 저술했으며, 평의회 공산주의 이론을 발전시켜 사회주의 운동에 영향을 미쳤다.
| 아런트 헤이팅 - [인물]에 관한 문서 | |
|---|---|
| 기본 정보 | |
| 이름 | 아렌트 헤이팅 |
| 로마자 표기 | Areonteu Heiting |
| 출생일 | 1898년 5월 9일 |
| 출생지 | 네덜란드 암스테르담 |
| 사망일 | 1980년 7월 9일 |
| 사망지 | 스위스 루가노 |
| 국적 | 네덜란드 |
| 학문 분야 | |
| 분야 | 수학 |
| 직장 | 암스테르담 대학교 |
| 모교 | 암스테르담 대학교 |
| 박사 지도 교수 | 라위트전 브라우어르 |
| 박사 제자 | 아너 시에르프 트럴스트라 디르크 판 달렌 |
| 주요 업적 | 헤이팅 대수 헤이팅 산술 헤이팅 체 브라우어르-헤이팅-콜모고로프 해석 직관 논리 직관주의 기여 |
| 수상 | |
2. 생애
헤이팅은 네덜란드 암스테르담에서 태어나 스위스 루가노에서 사망하였다.[1][2]
1936년에 암스테르담 대학교 연구원(Privatdozent)이 되었고, 이듬해 조교수가 되었으며, 1948년에 정교수가 되었다.
2. 1. 초기 생애와 교육
1898년 암스테르담에서 태어났다. 아버지 요하너스 헤이팅(Johannes Heytingnl)과 어머니 클라리사 콕(Clarissa Koknl)은 모두 교사였고, 아버지는 고등학교 교장을 맡았다.어려서 공학자가 꿈이었으나, 곧 수학에 관심을 갖게 되었다. 1916년 암스테르담 대학교에 입학하여, 라위트전 브라우어르 아래서 공부하였고, 1922년에 석사 학위를 받고 졸업하였다. 이후 고등학교 교사로 일하였으며, 교직과 더불어 수학 연구를 계속하였다. 1925년에 브라우어르 밑에서 박사 학위를 수여받았다.[1]
2. 2. 학문적 경력
헤이팅은 암스테르담 대학교에서 레위전 에버투스 얀 브라우어르의 제자였으며, 직관 논리가 수리 논리학의 일부가 될 수 있도록 기여했다. 헤이팅은 브라우어르의 수학적 접근 방식을 명문화하기 위해 직관 논리에 대한 최초의 형식적 발전을 이루었다. 브라우어르-헤이팅-콜모고로프 해석에 브라우어르의 이름이 포함된 것은 주로 명예적인 것으로, 브라우어르는 특정 직관적 원리의 형식화에 원칙적으로 반대했으며, 헤이팅의 연구를 "무의미한 연습"이라고 부르기까지 했다.[1]1942년에는 네덜란드 왕립 예술 과학 아카데미의 회원이 되었다.[2]
2. 3. 결혼과 개인사
1929년에 요하너 프리데리커 네이엔하위스(Johanne Friederieke Nijenhuisnl)와 결혼하여 총 11명의 자녀를 두었으나, 1960년에 이혼하였다.2. 4. 은퇴와 사망
1968년에 은퇴하였고, 1980년에 스위스 루가노에서 사망하였다.[1][2]3. 주요 저서
헤이팅은 직관주의, 증명 이론, 공리적 투영 기하학 등 다양한 분야에서 중요한 저서를 남겼다. 대표적인 저서로는 1956년 출판된 《직관주의: 소개》 (1966년 제2개정판) 등이 있다.[3]
3. 1. 상세 목록
참조
[1]
서적
Brouwer's Intuitionism
North Holland
1990
[2]
웹사이트
Arend Heyting (1898 - 1980)
http://www.dwc.knaw.[...]
Royal Netherlands Academy of Arts and Sciences
2015-07-28
[3]
논문
Review: ''Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie'' by A. Heyting
[4]
서적
Brouwer's Intuitionism
North Holland
1990
본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.
문의하기 : help@durumis.com