Marian Pour-El

Marian Boykan Pour-El (April 29, 1928 – June 10, 2009)[1] was an American mathematical logician who did pioneering work in computable analysis.

Early life and education

Marian Boykan was born in 1928 in New York City; her parents were dentist Joseph Boykan and his wife Matilda (Mattie, née Caspe), a former laboratory technician and housewife.[2][3] As a young girl, she performed ballet at the Metropolitan Opera House, and this influenced her later life where she was often more comfortable speaking before large audiences than in small groups.[4] Although she wanted to attend the Bronx High School of Science, it was at that time only for boys; instead, she went to a girls' school, Hunter College High School.[2]

Her parents were unwilling to pay the tuition for private college for her, so she went to Hunter College, an inexpensive local school primarily aimed at training schoolteachers.[4] There she earned a bachelor's degree in physics in 1949.[2] She also completed enough courses in mathematics for a second major but was not allowed to have two majors by Hunter College's rules.[4]

She was accepted to Harvard University for graduate studies in mathematics, with full support, as the only woman in the program.[2] At Harvard, she earned a master's degree in 1951 and a Ph.D. in mathematical logic in 1958.[5] She was very isolated and lonely at Harvard, with few friends and, initially, no other students even willing to sit next to her in her classes.[2][4] The nearest restroom to her classes was in a different building, and one of the few buildings with air conditioning in the summers was off-limits to women, even when she was assigned as an instructor to a class in that building.[4] Because there were no logicians at Harvard at that time, she spent five years of her time as a visiting student at the University of California, Berkeley.[2][4][6] Her doctoral dissertation was Computable Functions.[7]

Career

After finishing her doctorate, Pour-El joined the mathematics faculty at Pennsylvania State University.[5] She earned her tenure there in 1962.[4] During a sabbatical from 1962 to 1964 at the Institute for Advanced Study, she worked with Kurt Gödel.[4][5][6]

She moved in 1964 to the University of Minnesota, and was promoted to full professor there in 1968.[2][6] Except for a year from 1969 to 1970 as a visiting professor at the University of Bristol, she remained at the University of Minnesota until her retirement in 2000.[5] At Minnesota, her doctoral students included Jill Zimmerman (Ph.D. 1990), later the James M. Beall Professor of Mathematics and Computer Science at Goucher College.[8]

Contributions

Pour-El's early work concerned recursion theory, and included joint work with[2] William Alvin Howard,[H] Saul Kripke,[K] Donald A. Martin,[M] and Hilary Putnam.[P] In a 1974 publication, she studied analogues of computability for analog computers. She proved that, for her formulation of this problem, the functions that can be computed by such computers are the same as the functions that define solutions to algebraic differential equations.[2][A] This result, a refinement of the work of Claude Shannon, became known as the Shannon–Pour-El thesis.[2]

In the late 1970s Pour-El began working on computable analysis.[2] Her "most famous and surprising result",[6] co-authored with Minnesota colleague J. Ian Richards, was that for certain computable initial conditions, determining the behavior of the wave equation is an undecidable problem.[2][6][W] Their result was later taken up by Roger Penrose in his book The Emperor's New Mind; Penrose used this result as a test case for the Church–Turing thesis, but concluded that the non-smoothness of the initial conditions makes it implausible that a computational device could use this phenomenon to exceed the limits of conventional computing.[2][9] Freeman Dyson used the same result to argue for the evolutionary superiority of analog to digital forms of life.[2][10]

With Richards, Pour-El was the author of a book, Computability in Analysis and Physics.[2][5][6][11][C]

Recognition

Pour-El was elected to the Hunter College Hall of Fame in 1975, and as a Fellow of the American Association for the Advancement of Science in 1983. A symposium was held in honor of Pour-El in Japan in 1993.[5]

Personal life

As a student at Berkeley, Pour-El met her husband, Israeli biochemist Akiva Pour-El.[2][4][5][12] They had one daughter, Ina. Her husband followed her to Penn State after completing his doctorate a year later,[2][4] and he later followed her, again, when she moved to Minnesota.[4] They lived separately for several long intervals, most notably from 1969 to 1975 when her husband taught in Illinois,[2][4] and Pour-El wrote an article in 1981 on how having a long-distance relationship worked for her.[2][S]

Pour-El's brother is music composer Martin Boykan.[13]

Selected publications
H.Pour-El, Marian Boykan; Howard, William A. (1964), "A structural criterion for recursive enumeration without repetition", Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 10 (8): 105–114, doi:10.1002/malq.19640100802, MR 0168457
P.Pour-El, Marian Boykan; Putnam, Hilary (1965), "Recursively enumerable classes and their application to recursive sequences of formal theories", Archiv für Mathematische Logik und Grundlagenforschung, 8 (3–4): 104–121, doi:10.1007/BF01976264, MR 0207555
K.Pour-El, Marian Boykan; Kripke, Saul (1967), "Deduction-preserving "recursive isomorphisms" between theories", Fundamenta Mathematicae, 61 (2): 141–163, doi:10.4064/fm-61-2-141-163, MR 0252226. Announced under the same title in Bull. AMS 1967, MR0215713.
M.Martin, D. A.; Pour-El, M. B. (1970), "Axiomatizable theories with few axiomatizable extensions", Journal of Symbolic Logic, 35 (2): 205–209, doi:10.2307/2270510, JSTOR 2270510, MR 0280374
A.Pour-el, Marian Boykan (1974), "Abstract computability and its relation to the general purpose analog computer (some connections between logic, differential equations and analog computers)", Transactions of the American Mathematical Society, 199: 1–28, doi:10.1090/s0002-9947-1974-0347575-8, JSTOR 1996870, MR 0347575
W.Pour-El, Marian Boykan; Richards, Ian (1981), "The wave equation with computable initial data such that its unique solution is not computable", Advances in Mathematics, 39 (3): 215–239, doi:10.1016/0001-8708(81)90001-3, MR 0614161
S.Pour-El, Marian Boykan (1981), "Spatial separation in family life: A mathematician's choice", Mathematics Tomorrow, New York: Springer, pp. 187–194, doi:10.1007/978-1-4613-8127-3_19, MR 0618280. Reprinted in 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), Computability in Analysis and Physics, Perspectives in Mathematical Logic, Berlin: Springer, doi:10.1007/978-3-662-21717-7, ISBN 3-540-50035-9, MR 1005942; reprinted 2016 in the Perspectives in Logic series of the Association for Symbolic Logic and Cambridge University Press.
gollark: I'm sure I remember there being some Google feature where it told you some of the demographic assumptions it had on you.
gollark: This is pretty consistently positive and seemingly a decent bit higher than inflation.
gollark: It is weird and annoying that houses seem to get *more* expensive over time instead of less.
gollark: Apparently the disk has "Accumulated power on time, hours:minutes 69233:52" and was "Manufactured in week 18 of year 2012", making it in fact 9 years old and not 11.
gollark: I have no idea how the disk hasn't failed yet.

References
  1. "Deaths of AMS Members" (PDF), Inside the AMS, Notices of the American Mathematical Society, 57 (2): 269–270, February 2010
  2. Pour-El, I.; Zhong, Ning (February 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, retrieved 2019-01-22
  4. Henrion, Claudia (1997), "Marian Pour-El (1928– )", Women in Mathematics: The addition of difference, Race, Gender, and Science, Bloomington, Indiana: Indiana University Press, pp. 49–65, ISBN 0-253-33279-6, MR 1485514
  5. A Guide to the Marian Pour-El Papers, 1940–2004, Briscoe Center for American History, University of Texas at Austin, retrieved 2019-01-22
  6. Marian Pour-El, In Memoriam, University of Minnesota School of Mathematics, retrieved 2019-01-22
  7. Marian Pour-El at the Mathematics Genealogy Project
  8. Spring 1990 Commencement (PDF), University of Minnesota
  9. Penrose, Roger (1989), "Computability and the wave equation", The Emperor's New Mind: Concerning Computers, Minds, and the Laws of Physics, Oxford University Press, pp. 243–244, ISBN 9780198784920
  10. Dyson, Freeman J. (2001), "Is life analog or digital?", Edge, 82. Reprinted in Birds and Frogs: Selected Papers of Freeman Dyson, 1990–2014, World Scientific Publishing Company, 2015, ISBN 9789814602877. See in particular Section 6: The Endicott House Meeting, p. 93 of Birds and Frogs.
  11. Reviews of Computability in Analysis and Physics:
  12. Nemeh, Katherine H. (2008), "Pour-El, Akiva", American Men & Women of Science: A Biographical Directory of Today's Leaders in Physical, Biological, and Related Sciences., Gale, 5 (25)
  13. "Susan Schwalb Becomes Bride", The New York Times, November 7, 1983, The bridegroom is the son of Matilda Boykan of New York and the late Dr. Joseph Boykan ... His father was a dentist.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.