Edward Vermilye Huntington (26 de abril de 1874 - 25 de noviembre de 1952) fue un matemático estadounidense .
Huntington obtuvo la licenciatura y la maestría en la Universidad de Harvard en 1895 y 1897, respectivamente. Después de dos años de docencia en el Williams College , comenzó un doctorado en la Universidad de Estrasburgo , que le fue otorgado en 1901. Luego pasó toda su carrera en Harvard, retirándose en 1941. Enseñó en la escuela de ingeniería, convirtiéndose en profesor de Mecánica en 1919. Aunque la investigación de Huntington fue principalmente en matemáticas puras, valoraba la enseñanza de las matemáticas a los estudiantes de ingeniería. Abogó por las calculadoras mecánicas y tenía una en su oficina. Tenía un interés en las estadísticas , algo inusual para la época, y trabajó en problemas estadísticos para el ejército de los EE. UU. durante la Primera Guerra Mundial .
El principal interés de investigación de Huntington fueron los fundamentos de las matemáticas . Fue uno de los "teóricos de los postulados estadounidenses" (según Michael Scanlan, la expresión se debe a John Corcoran ), matemáticos estadounidenses activos a principios del siglo XX (entre ellos EH Moore y Oswald Veblen ) que propusieron conjuntos de axiomas para una variedad de sistemas matemáticos. Al hacerlo, ayudaron a fundar lo que ahora se conoce como metamatemáticas y teoría de modelos . [1]
Huntington fue quizás el más prolífico de los teóricos de postulados estadounidenses, ideando conjuntos de axiomas (a los que llamó "postulados") para grupos , grupos abelianos , geometría , el cuerpo de números reales y números complejos . Su axiomatización de los números reales de 1902 ha sido caracterizada como "uno de los primeros éxitos de las matemáticas abstractas" y como haber "llenado el último vacío en los fundamentos de la geometría euclidiana". [2] Huntington sobresalió en la prueba de axiomas independientes entre sí al encontrar una secuencia de modelos , cada uno de los cuales satisface todos menos uno de los axiomas en un conjunto dado. Su libro de 1917 El continuo y otros tipos de orden serial fue en su día "... una introducción ampliamente leída a la teoría de conjuntos de Cantorian " (Scanlan 1999). Sin embargo, Huntington y los otros teóricos de postulados estadounidenses no desempeñaron ningún papel en el surgimiento de la teoría de conjuntos axiomática que tenía lugar entonces en Europa continental.
En 1904, Huntington sentó unas bases axiomáticas sólidas para el álgebra de Boole . En 1933, revisó la axiomática de Boole y demostró que el álgebra de Boole sólo requería una única operación binaria (indicada a continuación por el infijo '+') que conmuta y asocia, y una única operación unaria , la complementación , indicada por un primo posfijo. El único axioma adicional que requiere el álgebra de Boole es:
Ahora conocido como axioma de Huntington .
Revisando un método de Joseph Adna Hill , a Huntington se le atribuye el método de proporciones iguales o método Huntington-Hill de distribución de escaños en la Cámara de Representantes de los EE. UU. entre los estados, en función de sus poblaciones determinadas en el Censo de los EE. UU. [1]. Este algoritmo matemático se ha utilizado en los EE. UU. desde 1941 y es el método utilizado actualmente.
En 1919, Huntington fue el tercer presidente de la Asociación Matemática de América , que ayudó a fundar como miembro fundador y su primer vicepresidente. [3] Fue elegido miembro de la Academia Estadounidense de las Artes y las Ciencias en 1913 y de la Sociedad Filosófica Estadounidense en 1933. En 1942 fue elegido miembro de la Asociación Estadounidense de Estadística . [4]