www.fmath.info

Tema isa Irving oli impordi / ekspert äri ja tema ja ta abikaasa loodud kodust Venezuela Lenore ja Harriet. Tema esimesel Caracas Lenore ei käi koolis, vaid oli õpetanud tema ema. Põhiliselt pere olid liiga vaesed, et olla võimalik õppemaksu. Pärast aasta Rose võttis õpetamise ametikohale Ameerika kooli Escuela Campo Alegre Caracas ja seda piisavalt raha, et võimaldada Lenore osaleda noorem kooli ning seejärel keskkooli Caracas. Kuigi Caracas, kohtus ta Manuel Blum, kes oli ka juudi perekonnas. Ta lahkus Caracas samas Lenore oli veel koolis olemas ja läks Ameerika Ühendriikidesse, kus ta õppis Massachusettsi tehnoloogiainstituudi.

Tulles tagasi Ameerika Ühendriigid, Lenore kohaldada Massachusettsi tehnoloogiainstituudi kuna see oli suurepärane koht ka tema, et uurida ja ka kuna Manuel oli olemas, kuid ta ei nõustunud. Selles etapis ta ei olnud seatud võtmise Ülikooli matemaatika, kuid olid teised huvid, nii et ta osales arhitektuuri osakond Carnegie Tehnoloogiainstituudi Pittsburgh. See oli tema esimene õppeaasta, mida ta alustas aastal 1959, et matemaatika kursustel ta õppis tegi temast aru, et ta peaks muutma oma käigus spetsialiseeruda et teemast. Tema teine aasta Carnegie Tehnoloogiainstituudi võttis ta peamiselt matemaatika kursused, kuid ikka uuritud kursused skulptuur ja disain. Ta ei võta loomulikult eksperimentaalse Arvutustehnika mis osutuda oluliseks tema tuleviku huvides.

Pärast kaks aastat Carnegie Instituudi Pittsburgh, Blum üle 1961 Simmons College, Boston õppida matemaatikat. Peamine põhjus liikuda oli see, et ta oli abielus Manuel ja muidugi nad tahavad koos olla. See ei olnud täiesti rahuldav liikuda tema akadeemilise seisukohast, aga kuna matemaatika kursuse Simmons ei venitamisega teda nagu ta oleks soovinud. Ta on teinud mitmeid ebaõnnestunud taotlusi Massachusettsi tehnoloogiainstituudi, kuid lõpuks ta tegi edukas ja hakkas seal õppida samas täites oma esimese kraadi Simmons College. Ta sai oma BS alates Simmons aastal 1963 ning jätkas tööd oma doktorikraadi MIT. Kuigi õpib MIT poja Avrim sündis.

Aastal 1968 ta sai doktorikraadi jaoks Thesis üldiste Algebrallinen Structures: mudeli teoreetiline. Ta pakkus nimetamist doktorikraadi üliõpilane, õppejõud matemaatika ja teadur on California ülikooli Berkeley ja ta jäi seal kaks aastat. Aastal 1973 ta töötas Mills College õpetada algebra muidugi, kuid järeldus loomulikult mitterahuldav hakkas ta töötama uue haridusasutuste ideid. Aastal 1974 asutas ta Matemaatika ja infotehnoloogia osakonna Mills College ja oli selle juht või kaas-juht kuni 1987. Sel ajal, aastal 1979 sai temast esimene omanik Letts-Villard eesistujale Mills College.

Juba mitmeid aastaid Blum võitleb suurendada naiste ja tütarlaste matemaatika ja on aktiivselt edendada seda põhjustada erinevate organisatsioonidega. Aastal 1975 sai temast Assotsiatsiooni president Naiste Matemaatika, organisatsiooni ta, mis on aidanud leida. Ka aastal 1975 sai temast kaasdirektor Math / Science võrgustik, mis korraldas "laiendada oma silmapiiri" konverentside tüdrukud käivad keskkoolis.

Lisaks nendele organisatsioonidele, Blum, ka liige Ameerika Matemaatika Selts, kes teenivad oma nõukogu ja ta ka Vice President of Society 1990 - 1992. Ta esindab kogu ühiskonna Pan-Aafrika kongress matemaatikud Nairobis suvel 1991 ja pärast seda jätkus töö hoone sidemeid Aafrika ja Ameerika matemaatikud. Valitud Fellow of American Association for the Advancement of Science 1979, ta oli eesistuja Matemaatika jagu aastal 1998 - 1999.

Me peaks nüüd arutama Blum muljetavaldav toetus teadustöö. Pärast tema Thesis, võib-olla tema järgmine oluline töö oli poole Matemaatiline teooria induktiivne järeldus, Informatsioon ja kontrollimine, mis avaldas ta koos oma abikaasa Manuel Blum. Paber uuringud matemaatiline mudel induktiivne järeldus sisse EM kuld 1967. Induktiivne järeldus masin tekitab, ühegi loendamine osaline funktsioon, teatud toodangu jada numbreid. Pärast seda määratletakse kui selline masin on usaldusväärsed sätestatud osalise ülesandeid nad iseloomustavad komplekti funktsioone, mida saab kindlaks teha masinad, mis on usaldusväärne kõigile osalise ülesandeid.

Blum on järgmine oluline paber oli Differentially suletud valdkondades: mudeli teoreetiline reisikataloogi, mis ilmus 1977 ning esimest korda kättesaadavaks mõned tulemused oli leidnud kümme aastat tagasi ja lisada oma väitekirja. 1980, aga nägin Blum tegema olulise otsuse pühendada end ainult teadusuuringud. National Science Foundation auhind 1983 lubada oma alustada kõige viljakas koostöös Mike Shub. Ta oli külalisprofessor City University of New York Graduate Center ajal ja hiljem oli ta Visiting Scientist at IBM TJ Watson Research Center. Seejärel, aastal 1988, sai temast liige teooria Group International Computer Science Instituudi Berkeley. Pärast seda Blum oli direktori asetäitja Mathematical Sciences Research Institute in Berkeley 1992-1997.

Alates 1980ndate lõpust ja jätkuvad 1990ndatel Blum, mitu kaasautoriks, on välja töötanud uue suundades Laskettavuus ja keerukust. Oluline esimene panus oli Blum's 1989 paber Loengud Laskettavuus ja keerukuse üle reaalarvud (või suvalise rõngas), mis laiendas teooriad arvutus-ja arvutusmeetodite keerukus tavapärasest diskreetne olukorda uurida, kuidas neid ideid saab edasi arendada pidevalt domeene nagu tegelik arv süsteemis. Töö Smale, vastas ta küsimusele aastal 1990, mis oli tingitud Roger Penrose. Nad tõestanud, et Mandelbroti komplekt on lahendamatu, küsimus, mida Turingi teooria ei võimalda ühe isegi sõnastada. Samal aastal Blum kutsuti aadress Rahvusvaheline kongress matemaatikud Kyoto, Jaapan, need uued teooriad.

Esimene õpik see oluline uus valdkond oli keerukus ja Real arvutamine avaldati aastal 1998 ühiselt Blum, Steve Smale, Mike Shub ja Felipe Cucker. Selles raamatus väidavad nad, et klassikalise keerukuse teooria, mis põhineb Turing mudel, on ebapiisav õpib palju probleeme ja algoritmid tänapäeva teaduse andmetöötlus; raamat siis arendab keerukuse teooria, mida on võimalik kohaldada nendes valdkondades. Illustreerimaks selle uue lähenemisviisi meile tsitaat Tutvustus:

Klassikalise Laskettavuus oli selle päritolu töös logicians - on Gödel, Turing, ... Muuhulgas - 1930 s. Mudeli arvutus arenenud järgmistel aastakümnetel Turingi masin, on olnud väga edukas annab aluse ja raamistiku Theoretical Computer Science.

Seisukohast on see raamat, et Turingi mudel (me nimetame seda "klassikalise") oma sõltuvuse 0 's ja 1' s on täiesti ebapiisav taolise aluse kaasaegse teaduse arvutamine, kus suurem osa algoritme - mis pärineb Newton, Euler, Gauss, et al. - On tegelik arv algoritme.

Klaus Meer, vaadates raamat kirjutab:

Raamat on väga hästi kirjutatud. Iga teema on arenenud oma algusest peale ja seega on raamat juba täiuslik kasutamiseks kõrgkoolides. Siiski enamik tulemused esitatakse määratleda praegust tehnika taset ja seega käesoleva monograafia on peab igaüks huvitatud valdkonnas. Eriti silmatorkav on koosmõju erinevate matemaatiliste distsipliinide nagu algebraline arvuteooria, algebraline geomeetria, loogika ja numbriline analüüs, nimetada mõned. See näitab väga veenvalt palju erinevaid praegust lähenemist.

Blum veedetud õppeaasta 1996-98 külalisprofessoriks Matemaatika ja infotehnoloogia at City University of Hong Kong. Samuti jätkuvalt arendada oma tähtsamaid ideid, teadus-, Blum, aidanud läbi ümberkorraldamine ja matemaatika kursustel. Kuigi Hongkongi ta andis intervjuu, milles ta selgitas praeguse suuna oma teadustöö. Kuigi mingil määral see kordub, mida oleme kirjutatud eespool, see ei ole tehniline kirjeldus, mis on hästi väärivad tsiteerimist:

Theoretical Computer Science on väga hästi arenenud, kuid erinevaid probleeme, et ta tegeleb see, mida me nimetame diskreetse probleeme - probleeme, mida graafikute või lugedes. Seal on kogu muud liiki arvutus, mis on seotud rohkem pidev probleeme. ... Matemaatiline kasutab tegelikke numbreid mitte lugedes numbreid, sest see on mõõtmise asjad reaalses maailmas. Teooria infotehnoloogia tegeleb lugedes numbrid, kuid mitte tegelikku arvu.

Oleme arenenud paralleelselt teooria ... arvutusi, mis tegeleb tegeliku, füüsilises maailmas. Järjepidevus on matemaatika matemaatiline analüüs ja füüsika, kuid kunagi varem Laskettavuus mis tegeleb selle jätkamisele. See, mida oleme loonud.

Aastal 1999 Blum nimetati Distinguished Karjäär Professor of Computer Science at Carnegie Mellon University.

Source:School of Mathematics and Statistics University of St Andrews, Scotland