 |
Аренд ГейтингГолландский математик и логик
Дата рождения: 09.05.1898
Страна:  Нидерланды |
Содержание:
- Голландский Математик и Логик
- Наставничество Л. Э. Дж. Брауэра
- Членство в Нидерландской академии наук
- Академическая деятельность
- Вклад в интуиционизм
- Интуиционистская логика
- Наследие
Голландский Математик и Логик
Ранняя жизнь и образованиеАрент Хейтинг родился в Гронингене, Нидерланды. В 1922 году он окончил факультет математики Амстердамского университета.
Наставничество Л. Э. Дж. Брауэра
Хейтинг был учеником и последователем влиятельного математика Л. Э. Дж. Брауэра. Брауэр был одним из основателей интуиционизма, философского направления, которое отвергает использование доказательств существования в математике.
Членство в Нидерландской академии наук
Хейтинг был назначен членом Нидерландской королевской академии наук и искусств. Это свидетельство его значительного вклада в математику.
Академическая деятельность
В 1948 году Хейтинг был назначен профессором Амстердамского университета. Там он продолжал проводить исследования и преподавать в области математической логики.
Вклад в интуиционизм
Хейтинг был одним из ведущих представителей интуиционизма после Брауэра. Он опубликовал основополагающую работу, излагающую формальные правила интуиционистской логики высказываний.
Интуиционистская логика
Интуиционистская логика Хейтинга стала важной частью математической логики. Она отвергает закон исключенного третьего, согласно которому утверждение или его отрицание должно быть истинным.
Наследие
Научные достижения Арента Хейтинга оказали глубокое влияние на развитие математической логики. Интуиционистская логика остается важным инструментом в современной математике и продолжает вдохновлять исследования в этой области.
