Marian Boykan Pour-El (29 de abril de 1928 - 10 de junio de 2009) [1] fue un lógico matemático estadounidense que realizó un trabajo pionero en análisis computable .
Marian Boykan nació en 1928 en la ciudad de Nueva York ; sus padres fueron el dentista Joseph Boykan y su esposa Matilda (Mattie, de soltera Caspe), una ex técnica de laboratorio y ama de casa. [2] [3] Cuando era niña, actuó en ballet en el Metropolitan Opera House , y esto influyó en su vida posterior, donde a menudo se sentía más cómoda hablando ante grandes audiencias que en grupos pequeños. [4] Aunque quería asistir a la Bronx High School of Science , en ese momento era solo para niños; en cambio, fue a una escuela para niñas, Hunter College High School . [2]
Sus padres no estaban dispuestos a pagarle la matrícula de una universidad privada, por lo que fue al Hunter College , un establecimiento de educación superior local económico destinado principalmente a la formación de maestros de escuela. [4] Allí obtuvo una licenciatura en física en 1949. [2] También completó suficientes cursos de matemáticas para una segunda especialización, pero las reglas del Hunter College no le permitieron tener dos especializaciones. [4]
Fue aceptada en la Universidad de Harvard para realizar estudios de posgrado en matemáticas, con pleno apoyo, como la única mujer en el programa. [2] En Harvard, obtuvo una maestría en 1951 y un doctorado en lógica matemática en 1958. [5] Estaba muy aislada y sola en Harvard, con pocos amigos y, inicialmente, ningún otro estudiante dispuesto a sentarse junto a ella en sus clases. [2] [4] El baño más cercano a sus clases estaba en un edificio diferente, y uno de los pocos edificios con aire acondicionado en los veranos estaba prohibido para las mujeres, incluso cuando fue asignada como instructora de una clase en ese edificio. [4] Debido a que no había lógicos en Harvard en ese momento, pasó cinco años de su tiempo como estudiante visitante en la Universidad de California, Berkeley . [2] [4] [6] Su tesis doctoral fue Funciones computables . [7]
Después de terminar su doctorado, Pour-El se unió a la facultad de matemáticas de la Universidad Estatal de Pensilvania . [5] Obtuvo su titularidad allí en 1962. [4] Durante un año sabático de 1962 a 1964 en el Instituto de Estudios Avanzados , trabajó con Kurt Gödel . [4] [5] [6]
En 1964 se trasladó a la Universidad de Minnesota , donde fue promovida a profesora titular en 1968. [2] [6] A excepción de un año entre 1969 y 1970 como profesora visitante en la Universidad de Bristol , permaneció en la Universidad de Minnesota hasta su jubilación en 2000. [5] En Minnesota, sus estudiantes de doctorado incluyeron a Jill Zimmerman (Ph.D. 1990), más tarde profesora James M. Beall de Matemáticas y Ciencias de la Computación en el Goucher College , Maryland. [8]
En 1980, Pour-El fue elegido miembro general de la AMS y sirvió hasta 1982. [9]
Los primeros trabajos de Pour-El se centraron en la teoría de la recursión e incluyeron trabajos conjuntos con [2] William Alvin Howard , [H] Saul Kripke , [K] Donald A. Martin , [M] y Hilary Putnam . [P] En una publicación de 1974, estudió los análogos de computabilidad para computadoras analógicas . Demostró que, para su formulación de este problema, las funciones que pueden ser calculadas por tales computadoras son las mismas que las funciones que definen soluciones a ecuaciones diferenciales algebraicas . [2] [A] Este resultado, un refinamiento del trabajo de Claude Shannon , se conoció como la tesis de Shannon-Pour-El. [2]
A finales de la década de 1970, Pour-El comenzó a trabajar en el análisis computable . [2] Su "resultado más famoso y sorprendente", [6] en coautoría con su colega de Minnesota J. Ian Richards, fue que para ciertas condiciones iniciales computables , determinar el comportamiento de la ecuación de onda es un problema indecidible . [2] [6] [W] Su resultado fue retomado más tarde por Roger Penrose en su libro The Emperor's New Mind ; Penrose utilizó este resultado como un caso de prueba para la tesis de Church-Turing , pero concluyó que la no suavidad de las condiciones iniciales hace inverosímil que un dispositivo computacional pudiera usar este fenómeno para superar los límites de la computación convencional. [2] [10] Freeman Dyson utilizó el mismo resultado para argumentar la superioridad evolutiva de las formas de vida analógicas a las digitales. [2] [11]
Junto con Richards, Pour-El fue autor de un libro, Computabilidad en análisis y física . [2] [5] [6] [12] [C]
Pour-El fue elegido para el Salón de la Fama del Hunter College en 1975 y miembro de la Asociación Estadounidense para el Avance de la Ciencia en 1983. En 1993 se celebró un simposio en honor a Pour-El en Japón. [5]
Cuando era estudiante en Berkeley, Pour-El conoció a su marido, el bioquímico israelí Akiva Pour-El. [2] [4] [5] [13] Tuvieron una hija, Ina. Su marido la acompañó a Penn State después de completar su doctorado un año después, [2] [4] y más tarde la acompañó de nuevo cuando ella se mudó a Minnesota. [4] Vivieron separados durante varios intervalos largos, sobre todo de 1969 a 1975, cuando su marido enseñaba en Illinois, [2] [4] y Pour-El escribió un artículo en 1981 sobre cómo le funcionó tener una relación a larga distancia. [2] [S]
El hermano de Pour-El es el compositor musical Martin Boykan . [14]
{{citation}}: CS1 maint: publicación periódica sin título ( enlace ); reimpreso en zbMATH como Zbl 0678.03027{{citation}}: CS1 maint: publicación periódica sin título ( enlace ){{citation}}: CS1 maint: publicación periódica sin título ( enlace ){{citation}}: CS1 maint: publicación periódica sin título ( enlace )El novio es hijo de Matilda Boykan de Nueva York y del difunto Dr. Joseph Boykan... Su padre era dentista.