Аренд Гейтінг
голландський математик та логік / З Вікіпедії, безкоштовно encyclopedia
Шановний Wikiwand AI, Давайте зробимо це простіше, відповівши на ключові запитання:
Чи можете ви надати найпопулярніші факти та статистику про Аренд Гейтінг?
Підсумуйте цю статтю для 10-річної дитини
Аренд Гейтінг (нід. Arend Heyting, [ɦɛitɪŋ]; 9 травня 1898 — † 9 липня 1980) — голландський математик та логік. Він був студентом університету Амстердама, і багато зробив, щоб покласти початок інтуїціоністській логіці на основі якої вона могла б стати частиною математичної логіки. Гейтінг дав перший офіційний розвиток інтуїціоністській логіці для того, щоб кодифікувати спосіб Брауэра розв'язувати математику. Включення імені Брауера в інтерпретації Брауера-Гейтинга-Колмогорова[en] значною мірою почесне, тому Брауер був в принципі проти формалізації деяких інтуїціоністських принципів (і пішов так далеко, ніби викликав роботу Гейтінга «стерильні вправи»).[8]
Аренд Гейтінг | |
---|---|
Arend Heyting | |
Аренд Гейтінг (1967) | |
Народився | 9 травня 1898(1898-05-09)[1][2][…] Амстердам, Нідерланди[1] |
Помер | 9 липня 1980(1980-07-09)[1][2][…] (82 роки) Лугано, Тічино, Швейцарія[1][3] |
Країна | Нідерланди |
Національність | Голландець |
Діяльність | математик, викладач університету |
Alma mater | Амстердамський університет |
Галузь | Математика, Логіка |
Заклад | Амстердамський університет |
Науковий керівник | Лейтзен Егберт Ян Брауер |
Вчителі | Gerrit Mannouryd[2] і Лейтзен Егберт Ян Брауер[4] |
Аспіранти, докторанти | Anne Sjerp Troelstrad[5] Дірк ван Даленd[6] Christopher G. Gibsond[7] Bob van Rootselaard[7] Jan Johann Albinn Mooijd[7] J. J. W. Berghuysd[7] Jacobus Gerhardus Dijkmand[7] Gerard Willem Decnopd[7] Ashvini Kumard[7] |
Членство | Нідерландська королівська академія наук |
Відомий завдяки: | Інтуїціонистська логіка, Алгебра Гейтінга |
Висловлювання у Вікіцитатах Аренд Гейтінг у Вікісховищі |