Эдвард Вермили Хантингтон (26 апреля 1874 — 25 ноября 1952) — американский математик .
Хантингтон получил степени бакалавра и магистра искусств от Гарвардского университета в 1895 и 1897 годах соответственно. После двух лет преподавания в колледже Уильямса он начал докторскую работу в Страсбургском университете , которая была присуждена в 1901 году. Затем он провел всю свою карьеру в Гарварде, выйдя на пенсию в 1941 году. Он преподавал в инженерной школе, став профессором механики в 1919 году. Хотя исследования Хантингтона были в основном в области чистой математики, он ценил преподавание математики студентам-инженерам. Он выступал за механические калькуляторы и держал один в своем офисе. Он интересовался статистикой , что было необычно для того времени, и работал над статистическими проблемами для армии США во время Первой мировой войны .
Основным исследовательским интересом Хантингтона были основания математики . Он был одним из «американских теоретиков постулатов» (согласно Майклу Скэнлану, выражение принадлежит Джону Коркорану ), американских математиков, активных в начале 20-го века (включая Э. Х. Мура и Освальда Веблена ), которые предложили наборы аксиом для различных математических систем. Тем самым они помогли основать то, что сейчас известно как метаматематика и теория моделей . [1]
Хантингтон был, пожалуй, самым плодовитым из американских теоретиков постулатов, разработавшим наборы аксиом (которые он называл «постулатами») для групп , абелевых групп , геометрии , поля действительных чисел и комплексных чисел . Его аксиоматизация действительных чисел 1902 года была охарактеризована как «один из первых успехов абстрактной математики» и как «заполнившая последний пробел в основаниях евклидовой геометрии». [2] Хантингтон преуспел в доказательстве аксиом, независимых друг от друга, путем нахождения последовательности моделей , каждая из которых удовлетворяет всем, кроме одной, аксиом в данном наборе. Его книга 1917 года «Континуум и другие типы последовательного порядка» была в свое время «...широко читаемым введением в теорию множеств Кантора » (Scanlan 1999). Однако Хантингтон и другие американские теоретики постулатов не сыграли никакой роли в подъеме аксиоматической теории множеств, который тогда происходил в континентальной Европе.
В 1904 году Хантингтон заложил в Булеву алгебру прочную аксиоматическую основу. Он вернулся к Булевой аксиоматике в 1933 году, доказав, что Булевой алгебре требуется всего лишь одна бинарная операция (обозначаемая ниже инфиксом '+'), которая коммутирует и ассоциирует, и одна унарная операция , дополнение , обозначаемая постфиксным штрихом. Единственная дополнительная аксиома, требуемая Булевой алгеброй, это:
теперь известно как аксиома Хантингтона .
Пересматривая метод Джозефа Адна Хилла , Хантингтону приписывают метод равных пропорций или метод Хантингтона–Хилла распределения мест в Палате представителей США по штатам в зависимости от их населения, определенного в переписи населения США [1]. Этот математический алгоритм используется в США с 1941 года и в настоящее время является используемым методом.
В 1919 году Хантингтон стал третьим президентом Математической ассоциации Америки , которую он помог основать в качестве члена-учредителя и первого вице-президента. [3] Он был избран в Американскую академию искусств и наук в 1913 году и в Американское философское общество в 1933 году. В 1942 году он был избран членом Американской статистической ассоциации . [4]