Marian Pour-El

Lógico matemático estadounidense

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 el análisis computable .

Temprana edad y educación

Marian Boykan nació en 1928 en la ciudad de Nueva York ; sus padres eran el dentista Joseph Boykan y su esposa Matilda (Mattie, de soltera Caspe), ex técnico de laboratorio y ama de casa. ^{[2] [3]} Cuando era niña, realizó 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 de niñas, Hunter College High School . ^[2]

Sus padres no estaban dispuestos a pagarle la matrícula de la universidad privada, por lo que asistió a Hunter College , una escuela local de bajo costo destinada principalmente a capacitar 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 de 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, al principio, ningún otro estudiante estaba 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 fuera del alcance de las mujeres, incluso cuando fue asignada como instructora a 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]

Carrera profesional

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 puesto 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]}

Se mudó en 1964 a la Universidad de Minnesota y fue ascendida a profesora titular allí en 1968. ^{[2] [6]} Excepto por un año de 1969 a 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 Goucher College . ^[8]

Contribuciones

Los primeros trabajos de Pour-El se referían a la teoría de la recursividad e incluían trabajos conjuntos con ^[2] William Alvin Howard , ^[H] Saul Kripke , ^[K] Donald A. Martin , ^[M] e Hilary Putnam . ^[P] En una publicación de 1974, estudió análogos de computabilidad para computadoras analógicas . Ella 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 fines de la década de 1970, Pour-El comenzó a trabajar en 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 falta de uniformidad de las condiciones iniciales hace que sea inverosímil que un dispositivo computacional pueda utilizar este fenómeno para superar los límites de la computación convencional. ^{[2] [9]} Freeman Dyson utilizó el mismo resultado para defender la superioridad evolutiva de las formas de vida analógicas a las digitales. ^{[2] [10]}

Con Richards, Pour-El fue autor de un libro, Computability in Analysis and Physics . ^{[2] [5] [6] [11] [C]}

Reconocimiento

Pour-El fue elegido miembro del Salón de la Fama de Hunter College en 1975 y miembro de la Asociación Estadounidense para el Avance de la Ciencia en 1983. Se celebró un simposio en honor de Pour-El en Japón en 1993. ^[5]

Vida personal

Cuando era estudiante en Berkeley, Pour-El conoció a su esposo, el bioquímico israelí Akiva Pour-El . ^{[2] [4] [5] [12]} Tuvieron una hija, Ina. Su esposo la siguió a Penn State después de completar su doctorado un año después, ^{[2] [4]} y luego la siguió, nuevamente, cuando se mudó a Minnesota. ^[4] Vivieron separados durante varios intervalos prolongados, sobre todo de 1969 a 1975 cuando su esposo enseñó en Illinois, ^{[2] [4]} y Pour-El escribió un artículo en 1981 sobre cómo le funcionaba tener una relación a larga distancia. . ^{[2] [S]}

El hermano de Pour-El es el compositor de música Martin Boykan . ^[13]

Publicaciones Seleccionadas

H.	Pour-El, Marian Boykan; Howard, William A. (1964), "Un criterio estructural para la enumeración recursiva sin repetición", Zeitschrift für Mathematische Logik und Grundlagen der Mathematik , 10 (8): 105-114, doi : 10.1002 / malq.19640100802 , MR  0168457

pag.	Pour-El, Marian Boykan; Putnam, Hilary (1965), "Clases recursivamente enumerables y su aplicación a secuencias recursivas de teorías formales", Archiv für Mathematische Logik und Grundlagenforschung , 8 (3-4): 104-121, doi : 10.1007 / BF01976264 , MR  0207555 , S2CID  120423051

K.	Pour-El, Marian Boykan; Kripke, Saul (1967), Isomorfismos recursivos "entre teorías" que conservan la deducción, Fundamenta Mathematicae , 61 (2): 141-163, doi : 10.4064 / fm-61-2-141-163 , MR  0252226. Anunciado bajo el mismo título en Bull. AMS 1967, MR 0.215.713 .

METRO.

Martin, DA ; Pour-El, MB (1970), "Teorías axiomatizables con pocas extensiones axiomatizables", Journal of Symbolic Logic , 35 (2): 205-209, doi : 10.2307 / 2270510 , JSTOR  2270510 , MR  0280374

UN.

Pour-el, Marian Boykan (1974), "Computabilidad abstracta y su relación con la computadora analógica de propósito general (algunas conexiones entre lógica, ecuaciones diferenciales y computadoras analógicas)", Transactions of the American Mathematical Society , 199 : 1–28, doi : 10.1090 / s0002-9947-1974-0347575-8 , JSTOR  1996870 , Sr.  0347575

W.	Pour-El, Marian Boykan; Richards, Ian (1981), "La ecuación de onda con datos iniciales computables tal que su solución única no es computable", Advances in Mathematics , 39 (3): 215-239, doi : 10.1016 / 0001-8708 (81) 90001- 3 , MR  0614161

S.

Pour-El, Marian Boykan (1981), "Separación espacial en la vida familiar: la elección de un matemático", Mathematics Tomorrow , Nueva York: Springer, págs. 187-194, doi : 10.1007 / 978-1-4613-8127-3_19 , Señor  0618280. Reproducido en Case, Bettye Anne ; Leggett, Anne M. (2005), Complexities: Women in Mathematics , Princeton University Press, ISBN 9780691114620.

C.

Pour-El, Marian B .; Richards, J. Ian (1989), Computabilidad en análisis y física , Perspectivas en lógica matemática, Berlín: Springer, doi : 10.1007 / 978-3-662-21717-7 , ISBN 3-540-50035-9, MR  1005942; reimpreso en 2016 en la serie Perspectives in Logic de la Association for Symbolic Logic y Cambridge University Press.

Referencias

1. "Muertes de miembros de AMS" (PDF) , Inside the AMS, Notices of the American Mathematical Society , 57 (2): 269-270, febrero de 2010
2. Pour-El, I .; Zhong, Ning (febrero de 2013), "A Tribute to Marian Boykan Pour-El (1928-2009)", Journal of Logic and Computation , 25 (4): 1133-1140, doi : 10.1093 / logcom / exs073
3. "Marian Boykan Pour-El" , Plaza of Heroines , Iowa State University , consultado el 22 de enero de 2019
4. Henrion, Claudia (1997), "Marian Pour-El (1928–)" , Mujeres en matemáticas: la adición de diferencia , raza, género y ciencia, Bloomington, Indiana : Indiana University Press, págs.  49–65 , ISBN 0-253-33279-6, Señor  1485514
5. A Guide to the Marian Pour-El Papers, 1940-2004 , Briscoe Center for American History, University of Texas at Austin , consultado el 22 de enero de 2019
6. Marian Pour-El, In Memoriam , Escuela de Matemáticas de la Universidad de Minnesota , consultado el 22 de enero de 2019
7. Marian Pour-El en el Proyecto de genealogía de las matemáticas
8. Comienzo de la primavera de 1990 (PDF) , Universidad de Minnesota
9. Penrose, Roger (1989), "Computabilidad y la ecuación de onda" , La nueva mente del emperador: Concerning Computers, Minds, and the Laws of Physics , Oxford University Press, págs. 243–244, ISBN 9780198784920
10. Dyson, Freeman J. (2001), "¿La vida es analógica o digital?" , Borde , 82. Reimpreso en Birds and Frogs: Selected Papers of Freeman Dyson, 1990–2014 , World Scientific Publishing Company, 2015, ISBN 9789814602877. Ver en particular la Sección 6: The Endicott House Meeting, p. 93 de pájaros y ranas .
11. Reseñas de computabilidad en análisis y física :
    • Downey, Rodney G. (1990), Revisiones matemáticas , MR  1005942 ; reimpreso en zbMATH como Zbl 0678.03027 
    • Bridges, Douglas S. (enero de 1991), Bulletin of the American Mathematical Society , New Series, 24 (1): 216–228, doi : 10.1090 / S0273-0979-1991-15994-X , MR  1567904
    • Gandy, RO (mayo de 1991), Boletín de la Sociedad Matemática de Londres , 23 (3): 303–305, doi : 10.1112 / blms / 23.3.303b
    • Aberth, Oliver (junio de 1991), Journal of Symbolic Logic , 56 (2): 749–750, doi : 10.2307 / 2274716 , JSTOR  2274716
12. Nemeh, Katherine H. (2008), "Pour-El, Akiva", Hombres y mujeres estadounidenses de la ciencia: un directorio biográfico de los líderes actuales en ciencias físicas, biológicas y afines. , Vendaval, 5 (25)
13. "Susan Schwalb se convierte en novia" , The New York Times , 7 de noviembre de 1983, El novio es el hijo de Matilda Boykan de Nueva York y el difunto Dr. Joseph Boykan ... Su padre era dentista.