Marian Pour-El - Marian Pour-El

Marian Boykan Pour-El (29. dubna 1928 - 10. června 2009)[1] byl Američan matematický logik kdo dělal průkopnickou práci v vypočítatelná analýza.

raný život a vzdělávání

Marian Boykan se narodil v roce 1928 v New York City; její rodiče byli zubař Joseph Boykan a jeho manželka Matilda (Mattie, rozená Caspe), bývalá laborantka a žena v domácnosti.[2][3]Jako mladá dívka vystupovala v baletu Metropolitní opera, a to ovlivnilo její pozdější život, kde byla často pohodlnější mluvit před velkým publikem než v malých skupinách.[4]I když se chtěla zúčastnit Bronx High School of Science, to bylo v té době jen pro chlapce; místo toho šla do dívčí školy, Hunter College High School.[2]

Její rodiče nebyli ochotni za ni platit školné na soukromé vysoké škole, a tak šla na Hunter College, levná místní škola zaměřená především na vzdělávání učitelů.[4] Tam v roce 1949 získala bakalářský titul z fyziky.[2] Absolvovala také dostatek kurzů matematiky pro druhý obor, ale podle pravidel Hunter College jí nebylo dovoleno mít dvě hlavní obory.[4]

Byla přijata Harvardská Univerzita pro postgraduální studium matematiky, s plnou podporou, jako jediná žena v programu.[2]Na Harvardu získala magisterský titul v roce 1951 a titul Ph.D. v matematické logice v roce 1958.[5] Na Harvardu byla velmi izolovaná a osamělá, s několika přáteli a zpočátku žádní další studenti ani nechtěli sedět vedle ní ve svých třídách.[2][4] Nejbližší toaleta pro její třídy byla v jiné budově a jedna z mála budov s klimatizací v létě byla pro ženy zakázána, i když byla přidělena jako instruktorka do třídy v této budově.[4] Protože v té době na Harvardu nebyli žádní logici, strávila pět let svého času jako hostující studentka na University of California, Berkeley.[2][4][6] Její disertační práce byla Vypočitatelné funkce.[7]

Kariéra

Po ukončení doktorátu nastoupila Pour-El na matematickou fakultu v Pennsylvania State University.[5] Získala tam funkční období v roce 1962.[4] Během volna od roku 1962 do roku 1964 v Institut pro pokročilé studium, pracovala s Kurt Gödel.[4][5][6]

V roce 1964 se přestěhovala do University of Minnesota, a tam byl v roce 1968 povýšen na řádného profesora.[2][6] Až na rok 1969 - 1970 jako hostující profesor na University of Bristol, zůstala na University of Minnesota až do svého odchodu do důchodu v roce 2000.[5]V Minnesotě zahrnovala i její doktorandy Jill Zimmerman (Ph.D. 1990), později profesor matematiky a informatiky na James M. Beall Goucher College.[8]

Příspěvky

Pour-Elova raná práce se týkala teorie rekurze, a zahrnoval společnou práci s[2] William Alvin Howard,[H] Saul Kripke,[K] Donald A. Martin,[M] a Hilary Putnam.[P]V publikaci z roku 1974 studovala analogie vypočítatelnosti pro analogové počítače. Dokázala, že pro formulaci tohoto problému jsou funkce, které lze vypočítat takovými počítači, stejné jako funkce, které definují řešení algebraické diferenciální rovnice.[2][A] Tento výsledek, zdokonalení práce Claude Shannon, se stala známou jako Shannon – Pour-El práce.[2]

V pozdní 1970 Pour-El začal pracovat na vypočítatelná analýza.[2]Její „nejslavnější a nejpřekvapivější výsledek“,[6] spoluautorem s kolegou z Minnesoty J. Ianem Richardsem, to bylo jistě vypočítatelné počáteční podmínky, určující chování vlnová rovnice je nerozhodnutelný problém.[2][6][W] Jejich výsledek později převzal Roger Penrose ve své knize Císařova nová mysl; Penrose použil tento výsledek jako testovací případ pro Církev – Turingova teze, ale dospěli k závěru, že kvůli neklidnosti počátečních podmínek je nepravděpodobné, že by výpočetní zařízení mohlo tento jev využít k překročení limitů konvenčních výpočtů.[2][9] Freeman Dyson použil stejný výsledek k argumentaci za evoluční nadřazenost analogových a digitálních forem života.[2][10]

S Richardsem byl Pour-El autorem knihy, Vypočitatelnost v analýze a fyzice.[2][5][6][11][C]

Uznání

Pour-El byl zvolen do síně slávy Hunter College v roce 1975 a jako člen Americká asociace pro rozvoj vědy v roce 1983 se v Japonsku v roce 1993 konalo sympozium na počest Pour-El.[5]

Osobní život

Jako studentka v Berkeley se Pour-El setkala se svým manželem, izraelským biochemikem Akiva Pour-El.[2][4][5][12] Měli jednu dceru, Inu. Její manžel ji následoval do Penn State poté, co o rok později dokončil doktorát,[2][4] a on ji později znovu následoval, když se přestěhovala do Minnesoty.[4] Žili odděleně několik dlouhých intervalů, zejména od roku 1969 do roku 1975, kdy její manžel učil v Illinois,[2][4] a Pour-El napsal v roce 1981 článek o tom, jak pro ni fungoval vztah na dálku.[2][S]

Pour-Elův bratr je hudební skladatel Martin Boykan.[13]

Vybrané publikace

H.Pour-El, Marian Boykan; Howard, William A. (1964), „Strukturální kritérium pro rekurzivní výčet bez opakování“, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 10 (8): 105–114, doi:10,1002 / malq.19640100802, PAN  0168457
P.Pour-El, Marian Boykan; Putnam, Hilary (1965), „Rekurzivně spočetné třídy a jejich aplikace na rekurzivní sekvence formálních teorií“, Archiv für Mathematische Logik und Grundlagenforschung, 8 (3–4): 104–121, doi:10.1007 / BF01976264, PAN  0207555, S2CID  120423051
K.Pour-El, Marian Boykan; Kripke, Saule (1967), „Deduction-preserving“ rekurzivní izomorfismy „mezi teoriemi“, Fundamenta Mathematicae, 61 (2): 141–163, doi:10,4064 / fm-61-2-141-163, PAN  0252226. Vyhlášeno pod stejným názvem v Býk. AMS 1967, PAN0215713.
M.Martin, D. A.; Pour-El, M. B. (1970), „Axiomatizovatelné teorie s několika axiomatizovatelnými rozšířeními“, Journal of Symbolic Logic, 35 (2): 205–209, doi:10.2307/2270510, JSTOR  2270510, PAN  0280374
A.Pour-el, Marian Boykan (1974), „Abstraktní vypočítatelnost a její vztah k univerzálnímu analogovému počítači (některá spojení mezi logikou, diferenciálními rovnicemi a analogovými počítači)“, Transakce Americké matematické společnosti, 199: 1–28, doi:10.1090 / s0002-9947-1974-0347575-8, JSTOR  1996870, PAN  0347575
W.Pour-El, Marian Boykan; Richards, Ian (1981), „Vlnová rovnice s vypočítatelnými počátečními daty, takže její jedinečné řešení nelze vypočítat“, Pokroky v matematice, 39 (3): 215–239, doi:10.1016/0001-8708(81)90001-3, PAN  0614161
S.Pour-El, Marian Boykan (1981), „Prostorová separace v rodinném životě: volba matematika“, Matematika zítra, New York: Springer, s. 187–194, doi:10.1007/978-1-4613-8127-3_19, PAN  0618280. Přetištěno Případ, Bettye Anne; Leggett, Anne M. (2005), Složitosti: Ženy v matematice, Princeton University Press, ISBN  9780691114620.
C.Pour-El, Marian B .; Richards, J. Ian (1989), Vypočitatelnost v analýze a fyzicePerspectives in Mathematical Logic, Berlin: Springer, doi:10.1007/978-3-662-21717-7, ISBN  3-540-50035-9, PAN  1005942; přetištěno v roce 2016 v sérii Perspectives in Logic Asociace pro symbolickou logiku a Cambridge University Press.

Reference

  1. ^ „Úmrtí členů AMS“ (PDF), Uvnitř AMS, Oznámení Americké matematické společnosti, 57 (2): 269–270, únor 2010
  2. ^ A b C d E F G h i j k l m n Ó str q r s Pour-El, I .; Zhong, Ning (únor 2013), „Pocta 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“, Náměstí hrdinek, Státní univerzita v Iowě, vyvoláno 2019-01-22
  4. ^ A b C d E F G h i j k l Henrion, Claudia (1997), „Marian Pour-El (1928–)“, Ženy v matematice: přidání rozdílu, Race, Gender, and Science, Bloomington, Indiana: Indiana University Press, pp.49–65, ISBN  0-253-33279-6, PAN  1485514
  5. ^ A b C d E F G Průvodce k dokumentům Marian Pour-El, 1940–2004, Briscoe Center for American History, University of Texas at Austin, vyvoláno 2019-01-22
  6. ^ A b C d E F Marian Pour-El, in memoriam, Matematická škola University of Minnesota, vyvoláno 2019-01-22
  7. ^ Marian Pour-El na Matematický genealogický projekt
  8. ^ Zahájení jara 1990 (PDF), University of Minnesota
  9. ^ Penrose, Rogere (1989), "Vypočitatelnost a vlnová rovnice", Císařova nová mysl: O počítačích, myslích a zákonech fyziky, Oxford University Press, s. 243–244, ISBN  9780198784920
  10. ^ Dyson, Freeman J. (2001), „Je život analogový nebo digitální?“, Okraj, 82. PřetištěnoBirds and Frogs: Selected Papers of Freeman Dyson, 1990–2014, World Scientific Publishing Company, 2015, ISBN  9789814602877. Viz zejména oddíl 6: The Endicott House Meeting, str. 93 ze dne Ptáci a žáby.
  11. ^ Recenze Vypočitatelnost v analýze a fyzice:
  12. ^ Nemeh, Katherine H. (2008), "Pour-El, Akiva", Američtí muži a ženy vědy: Životopisný adresář dnešních lídrů ve fyzikálních, biologických a souvisejících vědách., Gale, 5 (25)
  13. ^ „Susan Schwalb se stává nevěstou“, The New York Times, 7. listopadu 1983, Ženich je synem Matildy Boykan z New Yorku a zesnulého Dr. Josepha Boykana ... Jeho otec byl zubař.