Хантингтон, Эдвард Вермилье

Материал из Циклопедии
Перейти к навигации Перейти к поиску

Эдвард Вермилье Хантингтон

англ. Edward Vermilye Huntington


Дата рождения
26 апреля 1874 года
Место рождения
Клинтон, Нью-Йорк, США
Дата смерти
25 ноября 1952 года
Место смерти
Кембридж, Массачусетс, США



Образование
Гарвардский университет (бакалавр искусств, магистр искусств)
Страсбургский университет (доктор философии)





Эдвард Вермилье Хантингтон ([Нет даты!]) — американский математик. Известен исследованиями в области оснований математики и созданием метода Хантингтона — Хилла для распределения мест в Палате представителей США.

Биография[править]

Хантингтон получил степени бакалавра и магистра в Гарвардском университете в 1895 и 1897 годах соответственно. После двух лет преподавания в Уильямс-колледже он начал работу над докторской диссертацией в Страсбургском университете, которую защитил в 1901 году. Всю оставшуюся карьеру он провёл в Гарварде, выйдя на пенсию в 1941 году. Он преподавал в инженерной школе, став профессором механики в 1919 году. Хотя исследования Хантингтона относились к чистой математике, он придавал большое значение преподаванию математики студентам-инженерам. Он выступал за использование механических калькуляторов и имел один в своём кабинете. Хантингтон интересовался статистикой, что было необычно для того времени, и работал над статистическими задачами для вооружённых сил США во время Первой мировой войны.

Основным направлением исследований Хантингтона были основания математики. Он входил в группу «американских теоретиков постулатов» (по словам Майкла Скэнлана, это выражение принадлежит Джону Коркорану) — американских математиков начала XX века (включая Элиакима Гастингса Мура и Освальда Веблена), которые предлагали наборы аксиом для различных математических систем. Тем самым они способствовали созданию направлений, известных сейчас как метаматематика и теория моделей[1].

Хантингтон был самым плодовитым из американских теоретиков постулатов, разработав наборы аксиом (которые он называл «постулатами») для групп, абелевых групп, геометрии, поля вещественных чисел и комплексных чисел. Его аксиоматизация вещественных чисел 1902 года охарактеризована как «один из первых успехов абстрактной математики», который «заполнил последний пробел в основаниях евклидовой геометрии». Хантингтон преуспел в доказательстве независимости аксиом друг от друга путём нахождения последовательности моделей, каждая из которых удовлетворяла всем аксиомам заданного набора, кроме одной. Его книга 1917 года The Continuum and Other Types of Serial Order в своё время была «широко читаемым введением в теорию множеств Кантора» (Scanlan 1999). Тем не менее, Хантингтон и другие американские теоретики постулатов не сыграли роли в развитии аксиоматической теории множеств, происходившем тогда в континентальной Европе.

В 1904 году[2] Хантингтон подвёл под булеву алгебру прочную аксиоматическую базу. Он вернулся к булевой аксиоматике в 1933 году, доказав, что булева алгебра требует лишь одной бинарной операции (обозначаемой ниже инфиксом '+'), которая коммутирует и ассоциирует, и одной унарной операции, дополнения, обозначаемой постфиксным штрихом[3]. Единственная дополнительная аксиома, которую требует булева алгебра:

(a '+b ')'+(a '+b)' = a,

известная сейчас как аксиома Хантингтона.

Переработав метод Джозефа Адны Хилла, Хантингтон создал метод равных пропорций или метод Хантингтона — Хилла для распределения мест в Палате представителей США между штатами в зависимости от их населения, определяемого по результатам переписи населения США[1]. Этот математический алгоритм используется в США с 1941 года и применяется в настоящее время.

В 1919 году Хантингтон стал третьим президентом Математической ассоциации Америки, которую он помог основать как член-учредитель и её первый вице-президент[4]. Он был избран в Американскую академию искусств и наук в 1913 году и в Американское философское общество в 1933 году. В 1942 году он был избран членом Американской статистической ассоциации[5].

Примечания[править]

  1. Scanlan, M. (1991) "Who were the American Postulate Theorists?", Journal of Symbolic Logic 56, 981–1002.
  2. Huntington, 1904, p. 288.
  3. E.V. Huntington (1933) New sets of independent postulates for the algebra of logic, with special reference to Whitehead's and Russell's Principia Mathematica, Transactions of the American Mathematical Society
  4. MAA presidents: E. V. Huntington
  5. View/Search Fellows of the ASA Архивировано из первоисточника 2016-06-16., accessed 2016-07-23.

Литература[править]

  • Sets of Independent Postulates for the Algebra of Logic. — Vol. 5. — DOI:10.2307/1986459
  • Scanlan, M. (1999) "Edward Vermilye Huntington," American National Biography 11: 534-36, Oxford University Press.

Ссылки[править]

Рувики

Одним из источников, использованных при создании данной статьи, является статья из википроекта «Рувики» («ruwiki.ru») под названием «Хантингтон, Эдвард Вермилье», расположенная по адресу:

Материал указанной статьи полностью или частично использован в Циклопедии по лицензии CC-BY-SA 4.0 и более поздних версий.

Всем участникам Рувики предлагается прочитать материал «Почему Циклопедия?».