아렌트 헤이팅

Arend Heyting
아렌트 헤이팅
Arend Heyting (1967).jpg
아렌트 헤이팅 (1967)
태어난(1898-05-09)9년 5월 1898년 5월
죽은1980년 7월 9일(1980-07-09) (82)
국적네덜란드어
모교암스테르담 대학교
로 알려져 있다.헤이팅 대수
헤이팅 산술
직감주의에 대한 기여
과학 경력
필드수학
기관암스테르담 대학교
박사학위 자문위원L. E. J. 브루워
박사과정 학생안네 체르프 트로엘스트라
디르크 판 달렌

아렌드 헤이팅(Dutch: [ˈɦɛi̯tɪɪ]; 1898년 5월 9일 – 1980년 7월 9일)은 네덜란드수학자논리학자였다.

전기

헤이팅은 암스테르담 대학루이첸 에그베르투스 브루워의 학생이었으며, 직관적 논리수학 논리의 일부가 될 수 있는 발판에 두는데 많은 노력을 했다. 헤이팅은 브루워의 수학 수행 방식을 성문화하기 위해 직관적 논리의 첫 번째 공식적 발달을 했다. 브루워의 이름을 브루워에 포함시키는 것-브루워가 원칙적으로 어떤 직감적 원칙의 공식화에 반대했기 때문에(그리고 헤잉의 작품을 '살벌한 연습'[1]이라고까지 불렀다) 헤이팅-콜모고로프 해석은 대체로 존칭적이다.

1942년에 그는 네덜란드 왕립 예술 과학 아카데미의 회원이 되었다.[2]

헤이팅은 네덜란드 암스테르담에서 태어났고, 스위스 루가노에서 사망했다.

선택한 게시물

  • 헤이팅, A. (1930) 다이 포멀렌 레겔른 더 직감주의천 로직. (독일) 3부 인: 시트성스베리히테 데르 프루이스첸 아카데미에 데르 위센샤프텐. 물리 산술 클라세, 1930, 42-56, 57-71, 158-169
  • 헤이팅, A. (1934년) Matheatische Grundlagenforschung. 직감주의. 비스트허리 베를린 [3]스프링거
  • 헤이팅, A. (1941) 운터수충겐 데어 직감주의 대수. (독일어) 베르흐. 네델. 아카드, 웨텐슈 나투르크 주(州)의 국가 제1장 18번 2번 36쪽
  • 헤이팅, A. (1956) 직감주의. 소개. 암스테르담 노스홀랜드 출판사
  • Heyting, A. (1959) 직감 평면의 공리 기하학. 자명법. 기하학 및 물리학에 대한 특별 참조. 1957년 12월 26일~1958년 1월 4일 캘리포니아 버클리 대학교에서 열린 국제 심포지엄의 진행(L 편집) Henkin, P. Suppes, A. 타르스키) 페이지 160–173 암스테르담 북홀랜드 출판사의 논리와 기초에 관한 연구
  • 헤이팅, A. (1962) 30년 후. 1962년 과학의 논리, 방법론, 철학 (Proc. 1960년 인터내타트) 축하) 페이지 194–197 Stanford Univ. 프레스, 스탠퍼드, 캘리포니아 주
  • 헤이팅, A. (1963) 자명 투사 기하학. 비블리오테카 매스매티카 5권 인터사이언스 출판사 존 와일리 & 선스, 뉴욕; P. 노르트호프 N.V., 그로닝겐, 암스테르담 노스홀랜드 출판사.
  • 헤이팅, A. (1966) 직감주의: 소개. 암스테르담의 노스홀랜드 출판사 2차 개정판.
  • 헤이팅, A. (1973) A교수에게 주소. 로빈슨. 브루워 교수 추모 강연회 때. 1973년 4월 26일 A.로빈슨. 니우우 아치. 위스크. (3) 21, 페이지 134–137.
  • 헤이팅, A. (1974년) 수학자 그룬들라겐포스충, 직감주의, 베위스토리. (독일어) 재인쇄. 스프링거-베를라크, 베를린-뉴욕.
  • 헤이팅, A. (1980) 자명 투사 기하학. 제2판. Biblioteca Mathematica [수학 도서관], V. Wolters-Noordhoff Scientific Publishes, Ltd., Groningen; North-Holland Publishing Co., Amsterdam--뉴욕

참조

  1. ^ 월터 P. 반 스티그(1990). 브루워의 직감주의 암스테르담: 북 홀랜드.
  2. ^ "Arend Heyting (1898 - 1980)". Royal Netherlands Academy of Arts and Sciences. Retrieved 28 July 2015.
  3. ^ Church, Alonzo (1935). "Review: Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie by A. Heyting". Bull. Amer. Math. Soc. 41: 476–477. doi:10.1090/S0002-9904-1935-06126-9.

외부 링크