Гейтинг

Гейтинг

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

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

Он родился в Амстердаме, Нидерланды, и умер в Лугано, Швейцария.

См. также

Ссылки

Литература

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



Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Полезное


Смотреть что такое "Гейтинг" в других словарях:

  • ГЕЙТИНГ —     ГЕЙТИНГ (Heyting) Аренд (9 мая 1898, Амстердам 9 июля 1980, Лучано) голландский логик и математик. Еще студентом Амстердамского университета становится учеником и последователем Л. Э. Я. Брауэра, приступившего к разработке программы… …   Философская энциклопедия

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

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

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

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

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

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

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

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

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


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

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