Share to:

Marian Pour-El

Infobox orangMarian Pour-El
Biografi
Kelahiran29 April 1928 Suntingan nilai di Wikidata
Kematian10 Juni 2009 Suntingan nilai di Wikidata (81 tahun)
Data pribadi
PendidikanUniversitas Harvard
Hunter College Suntingan nilai di Wikidata
Kegiatan
SpesialisasiMatematika dan logika matematika Suntingan nilai di Wikidata
Pekerjaanlogician (en) Terjemahkan, matematikawan Suntingan nilai di Wikidata
Bekerja diUniversitas Negeri Pennsylvania Suntingan nilai di Wikidata
Karya kreatif
Murid doktoralAnthony James Dunlop (mul) Terjemahkan Suntingan nilai di Wikidata
Penghargaan

Marian Boykan Pour-El (29 April 1928 – 10 Juni 2009)[1] adalah seorang ahli logika matematika Amerika yang melakukan pekerjaan perintis dalam analisis komputabel.

Kehidupan awal dan pendidikan

Marian Boykan lahir pada tahun 1928 di New York City; orang tuanya adalah dokter gigi Joseph Boykan dan istrinya Matilda (Mattie, née Caspe), mantan teknisi laboratorium yang kemudian menjadi ibu rumah tangga.[2][3] Saat masih kecil, ia menari balet di Metropolitan Opera House, dan pengalaman ini memengaruhi hidupnya kemudian, karena ia sering merasa lebih nyaman berbicara di depan audiens besar daripada dalam kelompok kecil.[2]

Meskipun ia ingin bersekolah di Bronx High School of Science, sekolah tersebut pada waktu itu hanya menerima laki-laki; sebagai gantinya, ia bersekolah di sekolah khusus perempuan, Hunter College High School.

Orang tuanya tidak bersedia membayar uang kuliah untuk perguruan tinggi swasta, sehingga ia melanjutkan pendidikan di Hunter College, sebuah institusi pendidikan tinggi lokal yang murah dan terutama ditujukan untuk melatih calon guru.[4] Di sana ia meraih gelar sarjana fisika pada tahun 1949. Ia juga menyelesaikan cukup banyak mata kuliah matematika untuk meraih jurusan kedua, tetapi aturan Hunter College tidak mengizinkan mahasiswanya mengambil dua jurusan.

Ia diterima di Harvard University untuk studi pascasarjana dalam bidang matematika, dengan dukungan penuh, dan merupakan satu-satunya perempuan dalam program tersebut. Di Harvard, ia meraih gelar magister pada tahun 1951 dan gelar Ph.D.[2] dalam logika matematika pada tahun 1958. Ia sangat terisolasi dan kesepian di Harvard, dengan sedikit teman, dan pada awalnya bahkan tidak ada mahasiswa lain yang bersedia duduk di sebelahnya di kelas. Toilet terdekat dari kelasnya berada di gedung lain, dan salah satu dari sedikit gedung berpendingin udara di musim panas tidak boleh dimasuki perempuan, bahkan ketika ia ditugaskan mengajar kelas di gedung tersebut.[2]

Karena pada saat itu tidak ada ahli logika di Harvard, ia menghabiskan lima tahun sebagai mahasiswa tamu di University of California, Berkeley.[5] Disertasi doktoralnya berjudul Computable Functions.

Karier

Setelah menyelesaikan gelar doktor, Pour-El bergabung dengan fakultas matematika di Pennsylvania State University. Ia memperoleh jabatan tetap pada tahun 1962.[2]

Selama masa cuti sabatikal dari 1962 hingga 1964 di Institute for Advanced Study, ia bekerja bersama Kurt Gödel.

Pada tahun 1964, ia pindah ke University of Minnesota, dan dipromosikan menjadi profesor penuh pada tahun 1968. Selain satu tahun (1969–1970) sebagai profesor tamu di University of Bristol, ia tetap berada di University of Minnesota hingga pensiun pada tahun 2000. Di Minnesota, salah satu mahasiswa doktoralnya adalah Jill Zimmerman (Ph.D. 1990), yang kemudian menjadi James M. Beall Professor of Mathematics and Computer Science di Goucher College, Maryland.

Pada tahun 1980, Pour-El terpilih sebagai Member at Large untuk American Mathematical Society (AMS) dan menjabat hingga 1982.

Kontribusi

Bersama Richards, Pour-El merupakan penulis sebuah buku berjudul "Komputabilitas dalam Analisis dan Fisika" (Computability in Analysis and Physics).[6][7][8][9][C]

Publikasi terpilih

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, S2CID 120423051
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, S2CID 35727955
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, hlm. 187–194, doi:10.1007/978-1-4613-8127-3_19, ISBN 978-1-4613-8129-7, 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 (tidak aktif 8 August 2025), ISBN 3-540-50035-9, MR 1005942 Pemeliharaan CS1: DOI nonaktif per Agustus 2025 (link); reprinted 2016 in the Perspectives in Logic series of the Association for Symbolic Logic and Cambridge University Press.


Referensi

  1. ^ "Deaths of AMS Members" (PDF), Inside the AMS, Notices of the American Mathematical Society, 57 (2): 269–270, February 2010
  2. ^ a b c d e Pour-El, I.; Zhong, Ning (2015-08). "A Tribute to Marian Boykan Pour-El (1928–2009)". Journal of Logic and Computation (dalam bahasa Inggris). 25 (4): 1133–1140. doi:10.1093/logcom/exs073. ISSN 0955-792X.
  3. ^ "Marian Boykan Pour-El – Plaza of Heroines" (dalam bahasa American English). Diakses tanggal 2025-11-08.
  4. ^ Henrion, Claudia (1997). Women in mathematics : the addition of difference. Internet Archive. Bloomington : Indiana University Press. ISBN 978-0-585-00077-0. Pemeliharaan CS1: Lokasi penerbit (link)
  5. ^ "Marian Pour-El facts for kids". kids.kiddle.co (dalam bahasa Inggris). Diakses tanggal 2025-11-08.
  6. ^ 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
  7. ^ A Guide to the Marian Pour-El Papers, 1940–2004, Briscoe Center for American History, University of Texas at Austin, diakses tanggal 2019-01-22
  8. ^ Marian Pour-El, In Memoriam, University of Minnesota School of Mathematics, diakses tanggal 2019-01-22
  9. ^ Reviews of Computability in Analysis and Physics:

Pranala luar

Content Disclaimer

Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.

  1. The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
  2. There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
  3. It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
  4. Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
  5. Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.
Prefix: a b c d e f g h i j k l m n o p q r s t u v w x y z 0 1 2 3 4 5 6 7 8 9

Portal di Ensiklopedia Dunia

Kembali kehalaman sebelumnya