ГЕЙТИНГ

ГЕЙТИНГ
ГЕЙТИНГ
    ГЕЙТИНГ (Heyting) Аренд (9 мая 1898, Амстердам— 9 июля 1980, Лучано) — голландский логик и математик. Еще студентом Амстердамского университета становится учеником и последователем Л. Э. Я. Брауэра, приступившего к разработке программы построения математики на интуиционистской основе (см. Интуиционизм). Гейтинг был первым ученым, примкнувшим к новому направлению. В 1922 Гейтинг дает интуиционистскую трактовку аксиоматики проективной геометрии (тема предложена Брауэром), в 1925 защищает на этой основе докторские тезисы и публикует две статьи в “Mathematishe Annalen”. С 1927 Гейтинг — профессор Амстердамского университета. Отвечая на предложенную Г. Маннури конкурсную тему, ученый публикует три статьи по формализации интуиционистской математики (интуиционистские исчисления высказываний и предикатов и т. н. арифметика Гейтинга). Брауэр высоко оценил эту работу. В 1934 Гейтинг пишет обзор по основаниям математики (рус. пер. 1936). В нем он вырабатывает ныне широко известную трактовку логических операторов. В 1941 Гейтинга привлекли вопросы интуиционистской аксиоматики алгебры. Он разрабатывает интуиционистскую теорию гильбертовых пространств. Но главное поле деятельности—разъяснение математическому миру концепций интуиционизма. В 1956 выходит его книга “Введение в интуиционизм” — ясное и изящное изложение предмета для широкого круга. Именно благодаря Гейтингу интуиционизм приобрел новых сторонников среди математиков.
    Соч.: Die formalen Regeln der intuitionistischen Mathematik II.— Sitzungsberichte der Preussischen Akademie von Wissenschaften. Physikalish-mathematische Kasse, 1939; Die formalen Regeln der intuitionistischen Mathematik III.—Ibid.; Обзор исследований по основаниям математики. M.-Л., 1936; Интуиционизм. Введение. М., 1965.
    Лит.: Кушнер Б. А. Аренд Гейтинг. Краткий очерк жизни и творчества.—В кн.: Методологический анализ оснований математики. М., 1988; Jroelstra A. S. Arend Heyting and his contribution t intuitionism.—NieuwArehiefvoorWiskunde(3), 1981, ¹ 29.
    В. X. Хаханян

Новая философская энциклопедия: В 4 тт. М.: Мысль. . 2001.


.

Игры ⚽ Поможем написать курсовую

Полезное


Смотреть что такое "ГЕЙТИНГ" в других словарях:

  • Гейтинг — Гейтинг, Аренд Аренд Гейтинг (9 Мая, 1898 – 9 Июля, 1980) голландский математик и логик, студент и последователь Л. Э. Я. Брауэра член Нидерландской АН. Окончил Амстердамский университет (1922). Работал там же (с 1948 г. – профессор).… …   Википедия

  • Гейтинг, Аренд — Аренд Гейтинг (нидерл. Arend Heyting; 9 мая 1898(18980509), Амстердам  9 июля 1980, Лугано)  голландский математик и логик, студент и последователь Л. Э. Я. Брауэра член Нидерландской АН. Окончил Амстердамский… …   Википедия

  • Гейтинг А. — …   Википедия

  • Гейтинг Аренд — …   Википедия

  • Гетерогенный гейтинг — Гетерогенный гейтинг: основан на сочетании собственного клеточного и внешнего параметров (морфологической характеристики и флуоресцентного окрашивания)... Источник: МЕТОДИЧЕСКОЕ ПИСЬМО . ПРОВЕДЕНИЕ ЛАБОРАТОРНОГО ОБСЛЕДОВАНИЯ НА ВИЧ ИНФЕКЦИЮ (В… …   Официальная терминология

  • Гомогенный гейтинг — Гомогенный гейтинг: основан на определении двух собственных клеточных параметров или двух внешних параметров... Источник: МЕТОДИЧЕСКОЕ ПИСЬМО . ПРОВЕДЕНИЕ ЛАБОРАТОРНОГО ОБСЛЕДОВАНИЯ НА ВИЧ ИНФЕКЦИЮ (В ТОМ ЧИСЛЕ ИССЛЕДОВАНИЕ ИММУНИТЕТА И ВИРУСНОЙ… …   Официальная терминология

  • Аренд Гейтинг — …   Википедия

  • Интуиционизм — Интуиционизм  система философских и математических идей и методов, связанных с пониманием математики как совокупности «интуитивно убедительных» умственных построений. С точки зрения интуиционизма, основным критерием истинности… …   Википедия

  • Интуиционистская логика — Интуиционизм  система философских и математических идей и методов, связанных с пониманием математики как совокупности «интуитивно убедительных» умственных построений. С точки зрения интуиционизма, основным критерием истинности математического… …   Википедия

  • Математический интуиционизм —         философско математическое течение, отвергающее теоретико множественную трактовку математики и считающее интуицию единственным источником математики и главным критерием строгости её построений. Восходящая к античной математике… …   Большая советская энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»