Lenore Blum

Lenore Blum
Ilustracja
Blum w 1998 roku
Państwo działania

 Stany Zjednoczone

Data i miejsce urodzenia

18 grudnia 1942
Nowy Jork

Zawód, zajęcie

matematyczka, informatyczka teoretyczna

doktor matematyki
Specjalność: teoria obliczeń, złożoność obliczeniowa, informatyka teoretyczna
Alma Mater

Simmons College
Massachusetts Institute of Technology

Doktorat

1968 – matematyka
Massachusetts Institute of Technology
promotor: Gerald Sacks

nauczyciel akademicki
Uczelnia

Carnegie Mellon University

Stanowisko

Distinguished Career Professor of Computer Science

Okres zatrudn.

1999–2019

Uczelnia

Mills College

Nagrody

Noether Lecture (2002)
Presidential Award for Excellence in Science, Mathematics, and Engineering Mentoring (2004)
Distinguished Alumnae/i Lifetime Achievement Award Simmons University (2018)

Strona internetowa

Lenore Carol Blum z domu Epstein (ur. 18 grudnia 1942 w Nowym Jorku)[1] – amerykańska matematyczka i informatyczka teoretyczna, znana z prac dotyczących teorii obliczeń nad liczbami rzeczywistymi, złożoności obliczeniowej, kryptografii i generatorów liczb pseudolosowych[2]. Współtworzyła model Blum–Shub–Smale, używany do badania obliczalności i złożoności w analizie numerycznej oraz geometrii algebraicznej[3][4].

Należała do założycielek Association for Women in Mathematics i w latach 1975–1978 była jej prezeską. W Mills College założyła wydział matematyki i informatyki, a w Carnegie Mellon University współtworzyła programy wspierające udział kobiet w informatyce, w tym Women@SCS[5][2]. W latach 1999–2019 pracowała jako Distinguished Career Professor of Computer Science na Carnegie Mellon University, gdzie po przejściu na emeryturę ma status profesor emerita; była też związana z wydziałem EECS Uniwersytetu Kalifornijskiego w Berkeley jako professor-in-residence oraz z Uniwersytetem Pekińskim jako visiting chair professor[2][6]. AAAS, AMS i AWM przyznały jej status wyróżnionej członkini; w 2024 roku została wybrana do Amerykańskiej Akademii Sztuk i Nauk[2][7][8][6].

Młodość i edukacja

Lenore Blum urodziła się jako Lenore Carol Epstein w nowojorskiej rodzinie żydowskiej. Jej matka była nauczycielką nauk ścisłych[1][9]. Gdy miała dziewięć lat, rodzina przeprowadziła się do Wenezueli, gdzie ukończyła szkołę średnią w wieku 16 lat[1][9]. W 1959 roku rozpoczęła studia z architektury w Carnegie Institute of Technology (późniejszy Carnegie Mellon University); pod wpływem Alana Perlisa przeszła w 1960 roku na matematykę[9][1][10]. W 1961 roku, po ślubie z Manuelem Blumem — wówczas studentem Massachusetts Institute of Technology — przeniosła się do Simmons College w Bostonie, prywatnej uczelni dla kobiet, gdzie w 1963 roku uzyskała stopień bachelor of science z matematyki; w tym czasie uczęszczała też na zajęcia z matematyki Isadore’a Singera na MIT[1][9][11].

Doktorat z matematyki obroniła w 1968 roku na Massachusetts Institute of Technology pod kierunkiem Gerald Sacks[12]. Rozprawa Generalized Algebraic Theories: A Model Theoretic Approach dotyczyła związków teorii modeli z algebrą różniczkową; wcześniej Blum nie mogła kontynuować studiów u Kenkichi Iwasawa, który przeniósł się na Uniwersytet Princeton — uczelnię, która w tym czasie nie przyjmowała kobiet na studia doktoranckie[1][9].

Kariera

Lenore, Manuel i Avrim Blum (1973)

Po doktoracie Blum podjęła pracę jako stażystka podoktorska i wykładowczyni na Uniwersytecie Kalifornijskim w Berkeley, współpracując z Julią Robinson. W tamtym czasie wydział matematyki Berkeley nie oferował kobietom stałych stanowisk i po dwóch latach kontraktu Blum nie odnowiono[1][9]. W 1971 roku należała do założycielek Association for Women in Mathematics (AWM), a w latach 1975–1978 pełniła funkcję jej trzeciej prezeski[5]. W 1973 roku dołączyła do Mills College, college’u dla kobiet w Oakland, gdzie w 1974 roku założyła wydział matematyki i informatyki — wówczas jedyny program informatyki w college’u dla kobiet w Stanach Zjednoczonych — i przez 13 lat kierowała nim lub współkierowała. W 1979 roku otrzymała Letts-Villard Chair, pierwszą ufundowaną katedrę profesorską w historii Mills College[1][13]. W latach 1978–1980 zasiadała w radzie Amerykańskiego Towarzystwa Matematycznego jako członkini rady (ang. Member at Large), w latach 1990–1993 była jego wiceprezeską, a w latach 1998–1999 przewodniczyła sekcji matematycznej AAAS[1].

W 1983 roku otrzymała stypendium NSF Visiting Professorship for Women, w ramach którego przez dwa lata pracowała z Michael Shub w CUNY Graduate Center w Nowym Jorku, a w 1987 roku spędziła rok w IBM[1]. W 1992 roku została zastępczynią dyrektora Mathematical Sciences Research Institute w Berkeley i współpracowała z jego dyrektorem Williamem Thurstonem[1]. W latach 1996–1998 przebywała na City University of Hong Kong, gdzie pisała monografię Complexity and Real Computation, a w 1999 roku objęła stanowisko Distinguished Career Professor of Computer Science w Carnegie Mellon University (CMU)[1][13].

W CMU była współzałożycielką oraz współdyrektorką centrum ALADDIN, łączącego badania teoretyczne nad algorytmami z ich zastosowaniami, oraz założycielską dyrektorką Project Olympus — uczelnianego inkubatora przedsiębiorczości, który wspierał powstawanie startupów wywodzących się ze środowiska CMU[2][14]. W 2018 roku ogłosiła rezygnację z CMU (ze skutkiem od sierpnia 2019 roku), motywując ją zmianami zarządczymi i traktowaniem prowadzonych przez nią programów[15]. Po odejściu z CMU ma status Distinguished Career Professor of Computer Science, Emerita; jej późniejsze afiliacje obejmowały także stanowiska professor-in-residence na Uniwersytecie Kalifornijskim w Berkeley i visiting chair professor na Uniwersytecie Pekińskim[6].

Prace naukowe

Teoria modeli i algebra różniczkowa

Wczesne prace Blum dotyczyły teorii modeli i ciał różniczkowych, łącząc logikę matematyczną z algebrą. Ten wątek stanowił tło późniejszych badań nad obliczeniami i złożonością nad liczbami rzeczywistymi[1][6].

Obliczenia nad liczbami rzeczywistymi

Najbardziej znanym wkładem Blum w teorię obliczeń jest współautorstwo modelu Blum–Shub–Smale. Klasyczna teoria obliczeń opisuje algorytmy na strukturach dyskretnych, zwykle słowach nad skończonym alfabetem. Model BSS zastępuje ten punkt wyjścia maszynami operującymi bezpośrednio na elementach ciała, w szczególności na liczbach rzeczywistych, i pozwala zadawać odpowiedniki pytań o obliczalność, maszyny uniwersalne, rekurencję oraz klasy złożoności w środowisku właściwym dla analizy i geometrii. W tym modelu okazuje się m.in., że dla skończonego układu równań wielomianowych nad ciałem F problem istnienia wspólnego pierwiastka jest NP-zupełny nad F[3][1].

Model BSS stał się formalizmem używanym do badania problemów, które w praktyce obliczeniowej pojawiają się jako ciągłe: rozwiązywania układów równań, zagadnień optymalizacyjnych czy problemów geometrycznych. W monografii Complexity and Real Computation Blum, Felipe Cucker, Michael Shub i Stephen Smale rozwinęli ten program, pokazując analogie i różnice między klasyczną złożonością dyskretną a złożonością nad liczbami rzeczywistymi[4]. W 1990 roku Blum wygłosiła referat na Międzynarodowym Kongresie Matematyków poświęcony złożoności obliczeniowej i obliczeniom nad liczbami rzeczywistymi[1]. W 2012 roku była plenarną prelegentką podczas obchodów setnej rocznicy urodzin Alana Turinga na Uniwersytecie Cambridge, gdzie omawiała związek tych badań z mniej znaną pracą Turinga[2].

Algorytmy, losowość i bezpieczeństwo

Blum współpracowała także przy pracach z pogranicza teorii liczb, losowości i kryptografii. Wraz z Manuelem Blumem i Michaelem Shubem zaproponowała generator pseudolosowy oparty na trudności rozkładu liczb na czynniki. Generator Bluma–Bluma–Shuba jest przykładem generatora pseudolosowego analizowanego przy założeniu trudności faktoryzacji[16]. Jej dorobek bywa łączony zarówno z matematyką obliczeniową, jak i z teoretycznymi podstawami informatyki; prace te rozszerzały pytania znane z klasycznej teorii obliczeń — dotyczące algorytmów, efektywności i rozstrzygalności — na struktury algebraiczne i analityczne[4].

Modele świadomości

W późniejszym okresie Lenore Blum i Manuel Blum zajęli się matematycznym modelowaniem świadomości, inspirowanym modelem teatru świadomości Bernarda Baarsa i klasycznymi modelami obliczeń Alana Turinga. W artykule z 2022 roku opisali Conscious Turing Machine jako formalny model inspirowany teorią globalnej przestrzeni roboczej i perspektywą teoretycznej informatyki[17]. Ten wątek stanowi późniejszy element jej pracy, odrębny od klasycznego dorobku w teorii obliczeń; sama Blum pełni również funkcję prezeski Association for Mathematical Consciousness Science (AMCS)[14][2][18].

Działalność organizacyjna i edukacyjna

Blum należała do założycielek Association for Women in Mathematics i prowadziła programy wspierające udział kobiet w matematyce i informatyce. Już jako założycielka AWM angażowała się w zwiększanie widoczności kobiet w matematyce, wspieranie ich karier i przeciwdziałanie barierom środowiskowym[5]. Wraz z Nancy Kreinberg współtworzyła Math/Science Network oraz konferencje Expanding Your Horizons dla uczennic szkół średnich[2][6]. W Carnegie Mellon współtworzyła i prowadziła inicjatywy wspierające udział kobiet w informatyce. Jednym z najlepiej opisanych programów był Women@SCS, rozwijany w School of Computer Science jako połączenie mentoringu, zmian organizacyjnych i działań społecznościowych. W połowie lat 2010. program był częścią szerszej zmiany kultury organizacyjnej wydziału; w 2016 roku odsetek kobiet wśród studentów pierwszego roku informatyki w Carnegie Mellon zbliżał się do 50%, a jesienią 2017 roku kobiety stanowiły 49% nowych studentów informatyki w CMU[19][20][21][2].

Wyróżnienia

Blum została wybrana do American Association for the Advancement of Science (AAAS Fellow) w 1979 roku[2]. W 1999 roku Mills College przyznał jej honorowy doktorat praw, a w 2002 roku wygłosiła wykład imienia Emmy Noether organizowany przez AWM[1][22]. W 2005 roku odebrała 2004 Presidential Award for Excellence in Science, Mathematics, and Engineering Mentoring; nagrodę wręczył ówczesny prezydent George W. Bush za działania mentorsko-edukacyjne na rzecz kobiet w naukach ścisłych i technicznych[13]. W 2009 roku otrzymała Carnegie Science Catalyst Award[2]. W 2012 roku znalazła się w pierwszej grupie członków-fellowów Amerykańskiego Towarzystwa Matematycznego, a w 2018 roku w inauguracyjnej klasie fellowów AWM[7][8]. W 2018 roku Simmons University przyznał jej Distinguished Alumnae/i Lifetime Achievement Award[11], a w 2024 roku została wybrana do Amerykańskiej Akademii Sztuk i Nauk[6].

Recepcja i znaczenie

Dorobek Blum obejmuje dwa wyraźne obszary: wkład w teorię obliczeń nad strukturami ciągłymi oraz pracę organizacyjną na rzecz udziału kobiet w matematyce i informatyce. W pracy naukowej współtworzyła formalizm obliczeń nad liczbami rzeczywistymi, który rozszerzył pytania klasycznej teorii złożoności na obliczenia ciągłe. W działalności instytucjonalnej uczestniczyła w tworzeniu AWM i programów zwiększających udział kobiet w matematyce i informatyce; jej aktywność organizacyjna rozwijała się stopniowo wraz z zaangażowaniem w przeciwdziałanie barierom napotykanym przez kobiety w matematyce[5][1][2][18].

Życie prywatne

Od 1961 roku jej mężem jest informatyk teoretyczny Manuel Blum, laureat Nagrody Turinga. Ich syn, Avrim Blum, również jest informatykiem teoretycznym i wraz z rodzicami był profesorem informatyki w Carnegie Mellon University[1][14][23].

Wybrane publikacje

  • Lenore Blum, Generalized Algebraic Theories: A Model Theoretic Approach (rozprawa doktorska, Massachusetts Institute of Technology, 1968).
  • Lenore Blum, Manuel Blum, Michael Shub, „A Simple Unpredictable Pseudo-Random Number Generator”, SIAM Journal on Computing, 15(2), 1986, s. 364–383, doi:10.1137/0215025.
  • Lenore Blum, Michael Shub, Steve Smale, „On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines”, Bulletin of the American Mathematical Society, 21(1), 1989, s. 1–46, doi:10.1090/S0273-0979-1989-15750-9.
  • Lenore Blum, Felipe Cucker, Michael Shub, Steve Smale, Complexity and Real Computation, Springer, Nowy Jork 1998, ISBN 978-0-387-98281-6.
  • Carol Frieze, Lenore Blum, „Building an effective computer science student organization: The Carnegie Mellon Women@SCS action plan”, ACM SIGCSE Bulletin, 34(2), 2002, s. 74–78, doi:10.1145/543812.543836.

Przypisy

  1. 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 Lenore Blum. [w:] MacTutor History of Mathematics Archive [on-line]. [dostęp 2026-05-05]. [zarchiwizowane z tego adresu (2026-02-14)]. (ang.).
  2. 1 2 3 4 5 6 7 8 9 10 11 12 Lenore Blum. [w:] EECS at UC Berkeley [on-line]. [dostęp 2026-05-05]. [zarchiwizowane z tego adresu (2026-03-13)]. (ang.).
  3. 1 2 Lenore Blum, Michael Shub, Steve Smale. On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines. „Bulletin of the American Mathematical Society”. 21 (1), s. 1–46, 1989. DOI: 10.1090/S0273-0979-1989-15750-9. (ang.).
  4. 1 2 3 Lenore Blum, Felipe Cucker, Michael Shub, Steve Smale: Complexity and Real Computation. New York: Springer, 1998. DOI: 10.1007/978-1-4612-0701-6. ISBN 978-0-387-98281-6. (ang.).
  5. 1 2 3 4 AWM History. [w:] Association for Women in Mathematics [on-line]. [dostęp 2026-05-05]. [zarchiwizowane z tego adresu (2026-01-08)]. (ang.).
  6. 1 2 3 4 5 6 Lenore Blum. American Academy of Arts and Sciences. [dostęp 2026-05-22]. [zarchiwizowane z tego adresu (2026-05-22)]. (ang.).
  7. 1 2 List of Fellows of the American Mathematical Society. American Mathematical Society. [dostęp 2026-05-19]. [zarchiwizowane z tego adresu (2020-02-04)]. (ang.).
  8. 1 2 2018 Inaugural Class of AWM Fellows. Association for Women in Mathematics. [dostęp 2026-05-19]. [zarchiwizowane z tego adresu (2026-02-14)]. (ang.).
  9. 1 2 3 4 5 6 Toby Tabachnik: Accidental activist Lenore Blum changes formula for women in math. Jewish Chronicle / Times of Israel, 2017-12-08. [dostęp 2026-05-19]. [zarchiwizowane z tego adresu (2025-05-13)]. (ang.).
  10. ↑ Lenore Blum: Girl on the Move: My time with computer pioneer Alan Perlis. Pittsburgh Quarterly, 2019-02-13. [dostęp 2026-05-19]. [zarchiwizowane z tego adresu (2019-11-15)]. (ang.).
  11. 1 2 Lenore Blum. Simmons University. [dostęp 2026-05-06]. [zarchiwizowane z tego adresu (2025-09-17)]. (ang.).
  12. ↑ Lenore Blum. [w:] Mathematics Genealogy Project [on-line]. [dostęp 2026-05-05]. [zarchiwizowane z tego adresu (2025-05-31)]. (ang.).
  13. 1 2 3 Carnegie Mellon Professor Receives Presidential Award For Excellence in Science, Math and Engineering Mentoring. [w:] Carnegie Mellon University School of Computer Science [on-line]. 2005-03-15. [dostęp 2026-05-05]. [zarchiwizowane z tego adresu (2024-09-13)]. (ang.).
  14. 1 2 3 Lenore Blum. [w:] Carnegie Mellon University School of Computer Science [on-line]. [dostęp 2026-05-05]. [zarchiwizowane z tego adresu (2026-01-24)]. (ang.).
  15. ↑ Tracy Certo: Lenore Blum shocked the community with her sudden resignation from CMU. Here she tells us why.. NEXTpittsburgh, 2018-09-06. [dostęp 2026-05-19]. [zarchiwizowane z tego adresu (2025-05-03)]. (ang.).
  16. ↑ Lenore Blum, Manuel Blum, Michael Shub. A Simple Unpredictable Pseudo-Random Number Generator. „SIAM Journal on Computing”. 15 (2), s. 364–383, 1986. DOI: 10.1137/0215025. (ang.).
  17. ↑ Lenore Blum, Manuel Blum. A theory of consciousness from a theoretical computer science perspective: Insights from the Conscious Turing Machine. „Proceedings of the National Academy of Sciences”. 119 (21), 2022. DOI: 10.1073/pnas.2115934119. (ang.).
  18. 1 2 The 'Accidental Activist' Who Changed the Face of Mathematics. Quanta Magazine, 2024-01-03. [dostęp 2026-05-22]. [zarchiwizowane z tego adresu (2026-05-22)]. (ang.).
  19. ↑ Carol Frieze, Lenore Blum. Building an effective computer science student organization: The Carnegie Mellon Women@SCS action plan. „ACM SIGCSE Bulletin”. 34 (2), s. 74–78, 2002. DOI: 10.1145/543812.543836. (ang.).
  20. ↑ Carol Frieze, Jeria Quesenberry: Kicking Butt in Computer Science: Women in Computing at Carnegie Mellon University. Dog Ear Publishing, 2009. ISBN 978-1-60844-198-3. (ang.).
  21. ↑ Nick Anderson: Carnegie Mellon pushes for more women in engineering and computer science. The Washington Post, 2016-09-16. [dostęp 2026-05-19]. [zarchiwizowane z tego adresu (2020-10-12)]. (ang.).
  22. ↑ Noether Lectures 2002. [w:] Association for Women in Mathematics [on-line]. [dostęp 2026-05-05]. [zarchiwizowane z tego adresu (2024-12-26)]. (ang.).
  23. ↑ Byron Spice: Dad, mom join son to form a potent computer science team at CMU. Pittsburgh Post-Gazette, 2001-10-21. [dostęp 2026-05-19]. [zarchiwizowane z tego adresu (2013-07-08)]. (ang.).

Linki zewnętrzne