Меню Главная Случайная статья Настройки Гейтинг, Аренд Материал из https://ru.wikipedia.org Аренд Гейтинг (нид. Arend Heyting; 9 мая 1898, Амстердам — 9 июля 1980, Лугано) — голландский математик и логик, студент и последователь Л. Э. Я. Брауэра, член Нидерландской АН. Окончил Амстердамский университет (1922). Работал там же (с 1948 г. — профессор). Исследования посвящены основаниям математики. Один из виднейших представителей интуиционизма после Брауэра, опубликовал работу с изложением формальных правил интуиционистской логики высказываний. Интуиционистская логика стала частью математической логики. Содержание 1 См. также 2 Ссылки 3 Литература 4 Примечания См. также Троичная логика Интуиционистская логика Математическая логика Модальная логика Категорический силлогизм Ссылки Новая философская энциклопедия Литература Гейтинг А. Интуиционизм: Пер. с англ. 1965. 200 с. Гейтинг А. Тридцать лет спустя // Математическая логика и её применения. М., 1965. С. 225. Гейтинг А. Обзор исследований по основаниям математики. М., 1936 Примечания 1 2 3 4 Архив по истории математики Мактьютор — 1994. Arend Heyting // Brockhaus Enzyklopdie (нем.) 1 2 3 4 5 6 Album Academicum — 2007. 1 2 Чешская национальная авторитетная база данных Mathematics Genealogy Project (англ.) — 1997.