| Аренд Гейтинг | |
|---|---|
.jpg) | |
| Дата рождения | 9 мая 1898[1][2][3] |
| Место рождения | |
| Дата смерти | 9 июля 1980[1][2][3] (82 года) |
| Место смерти | |
| Страна | |
| Научная сфера | математика |
| Место работы | |
| Альма-матер | |
| Научный руководитель | Брауэр, Лёйтзен Эгберт Ян[4] |
Аренд Гейтинг (нидерл. Arend Heyting; 9 мая 1898, Амстердам — 9 июля 1980, Лугано) — голландский математик и логик, студент и последователь Л. Э. Я. Брауэра, член Нидерландской АН. Окончил Амстердамский университет (1922). Работал там же (с 1948 г. — профессор). Исследования посвящены основаниям математики. Один из виднейших представителей интуиционизма после Брауэра, опубликовал работу с изложением формальных правил интуиционистской логики высказываний. Интуиционистская логика стала частью математической логики.
См. также
Ссылки
Литература
- Гейтинг А. Интуиционизм: Пер. с англ. 1965. 200 с.
- Гейтинг А. Тридцать лет спустя // Математическая логика и её применения. М., 1965. С. 225.
- Гейтинг А. Обзор исследований по основаниям математики. М., 1936
Примечания
- 1 2 3 4 Немецкая национальная библиотека, Берлинская государственная библиотека, Баварская государственная библиотека и др. Record #1027693091 // Общий нормативный контроль (GND) — 2012—2016.
- 1 2 Архив по истории математики Мактьютор
- 1 2 SNAC — 2010.
- ↑ Математическая генеалогия — 1997.
 |
Это заготовка статьи об учёном-математике. Вы можете помочь проекту, дополнив её. |
Тематические сайты | |
|---|---|
| Словари и энциклопедии | |
| Нормативный контроль |
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .