Гейтинг, Аренд

Поделись знанием:
Перейти к: навигация, поиск
Аренд Гейтинг

Аренд Гейтинг (нидерл. Arend Heyting; 9 мая 1898, Амстердам — 9 июля 1980, Лугано) — голландский математик и логик, студент и последователь Л. Э. Я. Брауэра, член Нидерландской АН. Окончил Амстердамский университет (1922). Работал там же (с 1948 г. — профессор). Исследования посвящены основаниям математики. Один из виднейших представителей интуиционизма после Брауэра, опубликовал работу с изложением формальных правил интуиционистской логики высказываний. Интуиционистская логика стала частью математической логики.





См. также

Напишите отзыв о статье "Гейтинг, Аренд"

Ссылки

  • [www.terme.ru/dictionary/879/word/geiting-arend Новая философская энциклопедия ]
  • [www-history.mcs.st-andrews.ac.uk/Biographies/Heyting.html Биография Аренда Гейтинга]
  • [www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Heyting.html Аренд Гейтинг — summery]

Литература

  • Гейтинг А. Интуиционизм: Пер. с англ. 1965. 200 с.
  • Гейтинг А. Тридцать лет спустя // Математическая логика и её применения. М., 1965. С. 225.
  • Гейтинг А. Обзор исследований по основаниям математики. М., 1936

Примечания


Отрывок, характеризующий Гейтинг, Аренд

– Да, сгорела, говорят, – сказал он. – Это очень жалко, – и он стал смотреть вперед, пальцами рассеянно расправляя усы.
– А ты встретилась с графом Николаем, Мари? – сказал вдруг князь Андрей, видимо желая сделать им приятное. – Он писал сюда, что ты ему очень полюбилась, – продолжал он просто, спокойно, видимо не в силах понимать всего того сложного значения, которое имели его слова для живых людей. – Ежели бы ты его полюбила тоже, то было бы очень хорошо… чтобы вы женились, – прибавил он несколько скорее, как бы обрадованный словами, которые он долго искал и нашел наконец. Княжна Марья слышала его слова, но они не имели для нее никакого другого значения, кроме того, что они доказывали то, как страшно далек он был теперь от всего живого.
– Что обо мне говорить! – сказала она спокойно и взглянула на Наташу. Наташа, чувствуя на себе ее взгляд, не смотрела на нее. Опять все молчали.
– Andre, ты хоч… – вдруг сказала княжна Марья содрогнувшимся голосом, – ты хочешь видеть Николушку? Он все время вспоминал о тебе.
Князь Андрей чуть заметно улыбнулся в первый раз, но княжна Марья, так знавшая его лицо, с ужасом поняла, что это была улыбка не радости, не нежности к сыну, но тихой, кроткой насмешки над тем, что княжна Марья употребляла, по ее мнению, последнее средство для приведения его в чувства.