Matemáticos

Línea de Tiempo Fotos Dinero Estampillas Bosquejo Búsqueda

Haskell Brooks Curry

Fecha del nacimiento:

Lugar del nacimiento:

Fecha de la muerte:

Lugar de la muerte:

12 Sept 1900

Millis, Massachusetts, USA

1 Sept 1982

State College, Pennsylvania , USA

Presentación Wikipedia
ATENCIÓN - traducción automática de la versión inglesa

Haskell Curry 's Baright madre Anna y su padre era Samuel Silas Curry. Samuel fue el presidente de la Escuela de Expresión en Boston y Anna fue el Decano de la Facultad. Haskell no mostraron particular interés en las matemáticas, cuando en la escuela secundaria y cuando se graduó en 1916, tiene la firme intención de estudiar medicina. Ingresó en el Harvard College, la escuela de pregrado de la Universidad de Harvard, y tomó un curso de matemática en su primer año de estudio como parte de sus estudios hacia una licenciatura en medicina.

Una gran influencia en la dirección que sus estudios se fue la entrada de los Estados Unidos en la Primera Guerra Mundial en la primavera de 1917. Curry quería servir a su país, y decidió que sería más probable que vea acción si hubiera una formación matemática más que si continuaba el pre-médico que estaba en curso. De todos modos había disfrutado del curso de matemática que había adoptado y había hecho muy bien en el curso. Él cambió su principal objeto de la matemática y luego se enroló en el Ejército de Formación del Cuerpo de Estudiantes el 18 de octubre de 1918. La guerra, sin embargo, terminó poco después de este (en noviembre) y el 9 de diciembre de 1918 dejó el ejército Curry. Continuó en el curso de matemática en la Universidad de Harvard, sin embargo, en 1920 y se graduó con un grado AB.

Curry decidido que iba a buscar una carrera en ingeniería eléctrica y él tomó un trabajo con el de General Electric Company, que le permitió estudiar ingeniería eléctrica a tiempo parcial en el Instituto de Tecnología de Massachusetts. Sin embargo, pronto descubrió que tenía una actitud diferente a los demás toman los cursos, para que él quería saber por qué un resultado correcto para todos los demás cuando sólo importaba que era la correcta. Al darse cuenta de que era más apropiado para que la ciencia pura a la ciencia aplicada, que cambió de rumbo para el estudio de física en 1922. Harvard también parece un lugar mejor para estudiar la ciencia pura para que haya regresado, después de haber sido nombrado a la mitad-un puesto como asistente de investigación de PW Bridgeman para el período de sesiones 1922-23. Curry se graduó con una maestría en física de Harvard en 1924, pero por ahora se dio cuenta de que el tema no era para él la física matemática, pero fue. Comenzó a realizar investigaciones para su doctorado en matemáticas en la Universidad de Harvard.

A lo largo de este período de cambio de temas Curry había otras cosas para mantenerlo ocupado. Su padre había muerto en 1921 y se convirtió en un curry de administrador de la finca de su padre. Por supuesto, la parte principal de esta finca es la Escuela de Expresión en Boston y, tres años después de la muerte de la madre de Curry en 1924, se convirtió en una corporación jurídica en 1927. Curry actuó como tesorero de la expresión Empresa desde el momento en que se formó, pero fue vendido en 1928.

Si uno se imagina que a partir de 1924 cuando Curry inició su doctorado en matemáticas en la Universidad de Harvard ha encontrado por fin el tema para él, entonces uno se equivoca. Le dieron un tema en la teoría de ecuaciones diferenciales por George Birkhoff pero él comenzó a leer libros sobre la lógica que le parecía mucho más interesante que su tema de investigación. Pidió a los diversos miembros de la facultad de Harvard, y de Norbert Wiener en el MIT, en caso de que pensó que podría cambiar para llevar a cabo la investigación en la lógica. Eran bastante unánime, le asesorar en contra. Fue empleado como instructor de medio tiempo en matemáticas por Harvard durante el primer semestre de 1926-27 y fue en este tiempo que leer el primer volumen de Whitehead y Russell 's Principia Mathematica que se había publicado en 1910. Esto es fundamental en su desarrollo, ya que fue después de leer este trabajo que tuvo la idea de utilizar combinators de analizar las complejas normas que caracterizan a la sustitución de la primera parte del texto. Que se acercaron a diversos miembros de la facultad de Harvard, y de Norbert Wiener en el MIT, y preguntó si pensaban que él podría escribir su tesis de doctorado en la lógica. Ahora tengo una respuesta muy diferente de lo que él había recibido anteriormente. Wiener 's típica respuesta - evitar la lógica a menos que tenga algo que decir, pero ahora ciertamente tiene algo que decir!

Curry ahora su último cambio en la dirección y decidió renunciar a sus estudios de doctorado en ecuaciones diferenciales y para escribir una tesis doctoral en la lógica. Antes del comienzo de la investigación sobre este nuevo tema, decidió enseñar durante un año y, con una fuerte recomendación de Birkhoff, fue nombrado como instructor en matemáticas en Princeton de la sesión 1927-28. Allí habló de sus planes de investigación con Veblen y, al mismo tiempo, en documentos en Mathematische Annalen en la biblioteca de Princeton, descubrieron un documento de 1924 de M Schönfinkel über die Bausteine der Logik que mathematischen utilizado combinators de forma similar a sus propias ideas. Veblen Curry aseguró que se trataba de un positivo, en vez de negativa, el descubrimiento y, después de Alexander le había informado de que se Schönfinkel en un hospital psiquiátrico y por lo tanto no continua su línea de investigación, Curry buscó asesoramiento sobre quién sería el mejor Ph.D. supervisor. Veblen le aconsejó que Bernays en Gotinga, en Alemania, sería lo mejor. Con el fin de mejorar sus posibilidades de apoyo financiero, Curry escribió sus ideas sobre combinators para su publicación y se convirtió en su primer documento de un análisis lógico de sustitución que apareció en la revista American Journal of Matemáticas en 1929.

Antes de salir de Göttingen, Curry se casó con María Virginia Wheatly a quien había conocido en la Escuela de Expresión cuando era un estudiante allí. Se casaron el 3 de julio de 1928 y viajaron juntos a Alemania. Después de casi exactamente un año (el 24 de julio de 1929) fue examinado en su tesis titulada kombinatorischen Grundlagen der Logik. Formalmente fue supervisado por Hilbert, pero en realidad se Bernays siempre que día a día el apoyo a su trabajo. Su tesis fue publicada en el Diario Americano de Matemáticas en 1930.

Regresar a los Estados Unidos, fue designado para Curry State College, Pensilvania (ahora la Universidad Estatal de Pennsylvania) en septiembre de 1929. Haskell Virginia y comenzaron su familia en este momento con Anne Curry Wright nació el 27 de julio de 1930 y Robert Weatley Curry nació el 6 de julio de 1934. La Gran Depresión se inició en 1929 por lo que fue la suerte de que Curry obtuvo su posición cuando lo hizo. Ciertamente, los años de la Gran Depresión habría sido más lógico, cuando un matemático, difícilmente han podido obtener un puesto. Aunque permaneció en la facultad en el Estado de Pennsylvania hasta que se jubiló en 1966, que hizo pasar el tiempo en otras instituciones, en particular en la Universidad de Chicago, donde fue becario del Consejo Nacional de Investigación durante 1931-32, y el Instituto de Estudios Avanzados en de Princeton durante 1938-39. Algunos trabajos publicados durante los primeros años de su investigación son universales quantifier en La lógica combinatoria (1931), Algunas adiciones a la teoría de la combinators (1932), variables de la aparente punto de vista de la lógica combinatoria (1933), y algunas propiedades de la igualdad y la implicación en la lógica combinatoria (1934).

La Asociación para la Lógica Simbólica fue fundada en 1936 con Curry como uno de los fundadores. Fue vicepresidente durante 1936-37 y luego presidente de la Asociación en 1938-40. Su dirección de jubilarse presidencial La combinatoria fundamentos de lógica matemática fue publicada en el Diario de la lógica simbólica en 1942. Después de dar una clara exposición de los fundamentos de la lógica combinatoria, poniendo de manifiesto su estrecha relación con el cálculo elaborado por la Iglesia, Curry pasó a describir su trabajo reciente. Había examinado los métodos simplificados derivados de las paradojas (como los de Richard y Russell) en los sistemas de lógica que son incompatibles, y también ha desarrollado un método de introducir en la lógica combinatoria definido los conceptos de generalidad, como la cuantificación o de forma implícita, en tal manera que un teorema de la consistencia como la de la Iglesia y Rosser podría ser derivadas.

En la década de 1940 comenzó, Curry ha alcanzado la posición de ser un líder de la lógica matemática en el mundo. Se le pidió que dé una dirección de exposición a los matemáticos para explicar los conceptos fundamentales de formalismo y de añadir nuevas sugerencias. El documento Algunos aspectos del problema de rigor matemático publicado en el Boletín de la American Mathematical Society en 1941 es el texto de esta dirección. Presentó en su discurso: una crítica de la educación no formal teorías, la noción de un sistema formal (ilustrado por Dickson 's postulados para un grupo), la noción de cálculo, el debate de una metateoría, la definición de la matemática, y la aceptabilidad de un sistema formal, hablar de las críticas intuitionists y formalistas. Durante la década de 1940 Curry también renovó su asociación con la Escuela de Expresión en Boston, que por esta vez ha sido renombrado Curry College. Se incorporó a la Junta de Síndicos de la Escuela en 1940 y permaneció en la Junta por más de una década.

Durante la Segunda Guerra Mundial llevó a cabo la investigación Curry en matemáticas aplicadas. Ha publicado El Heaviside cálculo operacional en 1943. En ella presentó un enfoque algebraico muy simple, pero era consciente de sus limitaciones escrito:

... esta ventaja, por supuesto, implica una restricción en el ámbito de aplicación del tratamiento, ya que se limita a los aspectos racionales, como surgen de las ecuaciones diferenciales ordinarias lineales con coeficientes constantes. Para los más generales de casos de ecuaciones diferenciales parciales, los operadores fraccionada, etc, la teoría de la integral se transforma, sin duda, es inevitable.

Trabajó en el Frankford Arsenal a partir de mayo de 1942 a enero de 1944, luego en el Laboratorio de Física Aplicada en la Universidad Johns Hopkins hasta marzo de 1945. A continuación, se dirigió a la de pruebas de Aberdeen, un sitio de pruebas de armas militares en el noreste del condado de Maryland Harford. Allí se involucró con el ordenador ENIAC de la publicación de un estudio sobre la interpolación inversa ENIAC y un estudio de cuarto orden en la interpolación ENIAC en 1946. Regresó a la Universidad Estatal de Pennsylvania, en septiembre de 1946 y trató de persuadir a las autoridades de la Universidad para adquirir un ordenador, pero no.

Sus textos de gran importancia incluir Combinatoria Lógica (1958) (con Robert Feys), y Los fundamentos de lógica matemática (1963). Curry empezó a trabajar en Lógica Combinatoria en 1950, cuando se le concedió una beca Fulbright que le permitió trabajar con Robert Feys en Lovaina. Continuaron colaborando en el libro después de Curry regresó a los Estados Unidos y completado el texto en 1956. EJ Cogan, revisar el libro, da una buena descripción de la lógica combinatoria:

Lógica combinatoria se refiere a ciertas nociones básicas de los fundamentos de las matemáticas que se suelen utilizar en una forma intuitiva y unanalysed. Esas nociones son la sustitución, por lo general presentado por el uso de variables, y la clasificación de las entidades de un sistema en los tipos, que es normalmente previsto por las normas que son auxiliares, pero no forma parte de la red. La parte de la lógica combinatoria que se refiere a cuestiones de carácter fundamental que, al igual que la sustitución, involucrar las variables, se llama la teoría de la combinators.

En fundamentos de lógica matemática Curry desarrolla el tema de una base algebraicas usando Gentzen 's métodos. J Tucker escribe:

El efecto más notable de este enfoque es que lo finito positivo de las operaciones de implicación, junto alternancia y se tratan en primer lugar, mientras que la negación y la cuantificación se señalan más adelante y en capítulos separados. El significado de cada conectivo es fundamental, no previsto al principio, ya que está en el enfoque clásico, sino que se deriva de reglas inferenciales.

En 1966 aceptó el cargo de Profesor de Lógica, Historia de la Lógica y Filosofía de la Ciencia en Amsterdam. Ocupó este cargo durante cuatro años después de que regresó a vivir en State College, Pensilvania.

Los autores de hacer algunos comentarios acerca de Curry agradable y su esposa:

Todo el mundo sabe que la Currys es consciente de lo fácil y que siempre son útiles. Haskell siempre ha hecho más por los colegas y los estudiantes de ser una importante fuente de ideas. Él siempre ha estado dispuesto a escuchar a todos los que querían hablar con él, para discutir sus ideas, y dar a cualquier estímulo que pudiera. ... Su oficina ha sido siempre la puerta abierta. Y este ha sido sin duda una importante contribución al entusiasmo de muchos de aquellos de nosotros que trabajan en la lógica combinatoria. También conocido el Currys donde han vivido ha sido la hospitalidad que han mostrado. Siempre hay muchos partidos y otras, menos reuniones formales, y conjetura que la cocina de Virginia también ha desempeñado un papel en el crecimiento del interés en la lógica combinatoria.

Source:School of Mathematics and Statistics University of St Andrews, Scotland