Гейтинг Аренд
       > НА ГЛАВНУЮ > БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ > УКАЗАТЕЛЬ Г >

ссылка на XPOHOC

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

1898-1980

БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ


XPOHOC
ВВЕДЕНИЕ В ПРОЕКТ
ФОРУМ ХРОНОСА
НОВОСТИ ХРОНОСА
БИБЛИОТЕКА ХРОНОСА
ИСТОРИЧЕСКИЕ ИСТОЧНИКИ
БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ
ГЕНЕАЛОГИЧЕСКИЕ ТАБЛИЦЫ
СТРАНЫ И ГОСУДАРСТВА
ЭТНОНИМЫ
РЕЛИГИИ МИРА
СТАТЬИ НА ИСТОРИЧЕСКИЕ ТЕМЫ
МЕТОДИКА ПРЕПОДАВАНИЯ
КАРТА САЙТА
АВТОРЫ ХРОНОСА

Родственные проекты:
РУМЯНЦЕВСКИЙ МУЗЕЙ
ДОКУМЕНТЫ XX ВЕКА
ИСТОРИЧЕСКАЯ ГЕОГРАФИЯ
ПРАВИТЕЛИ МИРА
ВОЙНА 1812 ГОДА
ПЕРВАЯ МИРОВАЯ
СЛАВЯНСТВО
ЭТНОЦИКЛОПЕДИЯ
АПСУАРА
РУССКОЕ ПОЛЕ
1937-й и другие годы

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

Гейтинг (Heyting) Аренд (9 мая 1898, Амстердам - 9 июля 1980, Лучано) — голландский логик и математик. Еще студентом Амстердамского университета становится учеником и последователем Л. Э. Я. Брауэра, приступившего к разработке программы построения математики на интуиционистской основе (см. Интуиционизм). Гейтинг был первым ученым, примкнувшим к новому направлению. В 1922 Гейтинг дает интуиционистскую трактовку аксиоматики проективной геометрии (тема предложена Брауэром), в 1925 защищает на этой основе докторские тезисы и публикует две статьи в «Mathematishe Annalen». С 1927 Гейтинг — профессор Амстердамского университета. Отвечая на предложенную Г. Маннури конкурсную тему, ученый публикует три статьи по формализации интуиционистской математики (интуиционистские исчисления высказываний и предикатов и т. н. арифметика Гейтинга). Брауэр высоко оценил эту работу. В 1934 Гейтинг пишет обзор по основаниям математики (рус. пер. 1936). В нем он вырабатывает ныне широко известную трактовку логических операторов. В 1941 Гейтинга привлекли вопросы интуиционистской аксиоматики алгебры. Он разрабатывает интуиционистскую теорию гильбертовых пространств. Но главное поле деятельности — разъяснение математическому миру концепций интуиционизма. В 1956 выходит его книга «Введение в интуиционизм» — ясное и изящное изложение предмета для широкого круга. Именно благодаря Гейтингу интуиционизм приобрел новых сторонников среди математиков.

В. X. Хаханян

Новая философская энциклопедия. В четырех томах. / Ин-т философии РАН. Научно-ред. совет: В.С. Степин, А.А. Гусейнов, Г.Ю. Семигин. М., Мысль, 2010, т. I, А - Д, с. 495.

Далее читайте:

Философы, любители мудрости (биографический указатель).

Сочинения:

Die formalen Regeln der intuitionistischen Mathematik II. — Sitzungsberichte der Preussischen Akademie von Wissenschaften. Physikalish-mathematische Klasse, 1939;

Die formalen Regeln der intuitionistischen Mathematik III. — Ibid.; Обзор исследований по основаниям математики. М.-Л., 1936;

Интуиционизм. Введение. М., 1965.

Литература:

Кушнер Б. А. Аренд Гейтинг. Краткий очерк жизни и творчества. — В кн.: Методологический анализ оснований математики. М., 1988;

Troelstra A. S. Arend Heyting and his contribution to intuitionism. — Nieuw Archief voor Wiskunde (3), 1981, № 29.

 

 

 

 

ХРОНОС: ВСЕМИРНАЯ ИСТОРИЯ В ИНТЕРНЕТЕ



ХРОНОС существует с 20 января 2000 года,

Редактор Вячеслав Румянцев

При цитировании давайте ссылку на ХРОНОС