Loading AI tools
голландський математик та логік З Вікіпедії, вільної енциклопедії
Аренд Гейтінг (нід. Arend Heyting, [ɦɛitɪŋ]; 9 травня 1898 — † 9 липня 1980) — голландський математик та логік. Він був студентом університету Амстердама, і багато зробив, щоб покласти початок інтуїціоністській логіці на основі якої вона могла б стати частиною математичної логіки. Гейтінг дав перший офіційний розвиток інтуїціоністській логіці для того, щоб кодифікувати спосіб Брауэра розв'язувати математику. Включення імені Брауера в інтерпретації Брауера-Гейтинга-Колмогорова[en] значною мірою почесне, тому Брауер був в принципі проти формалізації деяких інтуїціоністських принципів (і пішов так далеко, ніби викликав роботу Гейтінга «стерильні вправи»).[8]
Аренд Гейтінг | |
---|---|
Arend Heyting | |
Аренд Гейтінг (1967) | |
Народився | 9 травня 1898[1][2][…] Амстердам, Нідерланди[1] |
Помер | 9 липня 1980[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] |
Членство | Нідерландська королівська академія наук |
Відомий завдяки: | Інтуїціонистська логіка, Алгебра Гейтінга |
Висловлювання у Вікіцитатах Аренд Гейтінг у Вікісховищі |
Аренд Гейтінг народився 8 травня в Амстердамі, Нідерланди. Ще студентом Амстердамського університету стає учнем і послідовником Л. Е. Я. Брауеера, який почав розробку програми побудови математики на інтуїціоністській основі. Гейтінг був першим ученим, який примкнув до нового напрямку. У 1922 Гейтінг дає інтуїціоністське трактування аксіоматиці проективної геометрії (тема запропонована Брауером), в 1925 захищає на цій основі докторські тези і публікує дві статті в «Mathematishe Annalen». З 1927 Гейтинг — професор Амстердамського університету. Відповідаючи запропонованій Г. Маннурі конкурсній темі, вчений публікує три статті по формалізації інтуїціоністської математики (інтуїционістського числення висловів та предикатів). Брауер високо оцінив цю роботу. В 1934 Гейтінг пише огляд з основ математики. У ньому він виробляє нині широко відоме трактування логічних операторів. У 1941 Гейтінг привернув питання інтуїціоністської аксіоматики алгебри. Він розробляє інтуїционістську теорію Гільбертових просторів. Але головне поле діяльності-роз'яснення математичного світу концепцій інтуїционізма. У 1956 виходить його книга «Введення в інтуїціонізм» — ясний і витончений виклад предмета для широкого кола. Саме завдяки Гейтінгу інтуіціонізм знайшов нових прихильників серед математиків. Помер Аренд Гейтінг в Лугано, Швейцарія.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.