![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/a/a7/Arend_Heyting_%25281967%2529.jpg/640px-Arend_Heyting_%25281967%2529.jpg&w=640&q=50)
아런트 헤이팅
From Wikipedia, the free encyclopedia
아런트 헤이팅(네덜란드어: Arend Heyting, IPA: [ˈaːrənt ˈɦɛitɪŋ], 1898년 5월 9일~1980년 7월 9일)은 네덜란드의 수학자이다. 라위트전 브라우어르의 직관주의 수학을 계승하여, 직관 논리를 엄밀히 정의하였다.
아런트 헤이팅(네덜란드어: Arend Heyting, IPA: [ˈaːrənt ˈɦɛitɪŋ], 1898년 5월 9일~1980년 7월 9일)은 네덜란드의 수학자이다. 라위트전 브라우어르의 직관주의 수학을 계승하여, 직관 논리를 엄밀히 정의하였다.