Grigore C.

Moisil
Profesorul universitar academician Grigore C. Moisil reprezint n coala matematic romn o fericit ntruchipare a dominantelor matematicii noastre: dinamism, varietate, tendin spre universalitate. Jovial i optimist, neimpresionat nici de adulaii, nici de adversiti, Moisil este omul marilor delectri spirituale.

Cu o voce baritonal puin voalat, cu umorul su uneori acidulat, dar plin de sev, cu o viguroas putere de sugestie, orice ntlnire cu Moisil te destinde de ncordrile anterioare. Este, de altfel, un fermector povestitor i un bun tovar de munc. n tot ceea ce face pune aceeai dezinvoltur i aceeai pasiune i de fiecare dat i demonstreaz c vede la cea mai deprtat btaie a ochiului. n orice situaie ncurcat s-ar gsi, Moisil tie, improviznd spiritual o anecdot sau utiliznd o aluzie scnteietoare de duh, s scape nevtmat. Matematicianul nostru Moisil, ca i Lalescu, a atacat cu avnt i cu succes domeniul mai tuturor matematicilor pure, precum i pe cel al matematicilor aplicate (elasticitate, mecanica fluidelor, automatizare). Este matematicianul a crui creaie se afl n continu nnoire. Amator de butade i paradoxuri, Moisil este unul dintre cei mai talentai matematicieni de astzi la noi, cu o producie matematic prolific i divers. Nici un alt matematician romn nu 1-a ntrecut, pn acum ca numr de memorii originale i ca diversitate tematic. Moisil s-a nscut la 10 ianuarie 1906, la Tulcea, ca fiu al profesorului de istorie din nvmntul mediu Constantin Moisil, cunoscut numismat care a devenit academician, i al soiei acestuia, institutoarea Elena Moisil. Constantin Moisil era din prile Nsudului (nepot al vicarului Grigore Moisil din Nsud), iar soia sa din Ismail. Au avut patru copii o fat,

Florica i trei biei dintre care George i Ionel sunt ingineri, devenii profesori n nvmntul tehnic superior. Grigore C. Moisil, matematicianul, a urmat coala primar la Bucureti, liceul la Mihail Koglniceanu" din Vaslui (19161918) i la Spiru Haret" din Bucureti (19181923). Dup terminarea liceului, s-a nscris la Facultatea de tiine din Bucureti, secia matematici. Paralel cu Facultatea de tiine, Moisil a urmat i Politehnica din Bucureti (19241929), secia construcii. Dar, dup ce i-a luat doctoratul n matematici, n 1929, a renunat la studiile de inginerie, cnd ajunsese n anul IV de studii (a dat deci examene pentru primii trei ani). Doctoratul n matematici l-a trecut cu distincie la Universitatea din Bucureti, la 4 iunie 1929, tratnd subiectul Mecanica analitic a sistemelor continue. Iat succint n ce const originalitatea acestei teze, susinut n faa unei comisii formate din Gh. ieica n calitate de preedinte, iar D. Pompeiu i Anton Davidoglu ca membri. Vito Volterra introdusese anterior noiunea att de potrivit numit funcional, care a dat natere unei ramuri noi a analizei, anume analiza funcional. Utiliznd metoda funcional n teza sa, Moisil a studiat analitic mecanica sistemelor cu un numr infinit de grade de libertate. A extins astfel la sistemele continue metodele mecanicii analitice. ntr-adevr un sistem mecanic poate fi definit ca o funcional, avnd ca argumente un anumit numr de funcii arbitrare, cu rolul de parametri lagrangieni. Astfel, pentru sistemele continue olonome se ajunge la ecuaii analoge cu cele din mecanica clasic. Urmarea de aici este c ecuaiile dinamicii sistemelor cu o infinitate de grade de libertate pot fi reduse la forme canonice. Imediat dup susinerea tezei, Moisil a plecat la Paris (19301931). Rentors n ar, i trece la 1 iulie 1931, la Universitatea din Bucureti, docena n specialitatea analiza matematic, cu o lucrare purtnd titlul: Sur une classe de systims d quations aux drives partielles de la physique mathmatique. Dup luarea docenei, pleac la Roma (19311932), apoi la Paris, ca bursier. A urmat n special n acest interval cursurile lui Vito Volterra. Pe urm, la 1 noiembrie 1932, este numit confereniar suplinitor de algebr superioar la Universitatea din Iai, unde este titularizat definitiv la 1 ianuarie 1935. La 1 noiembrie 1936 este numit profesor agregat de calcul diferenial i integral la Universitatea din Iai, catedr la care este titularizat definitiv n noiembrie 1939. La 30 decembrie 1941 a fost chemat la Bucureti, la Facultatea de tiine a Universitii, ca profesor de analiz superioar i logic matematic, calitate n care a funcionat
2

pn n 1948. ntre anii 1946 i 1948 ns a fost suplinit la catedr deoarece n acest interval a fost numit ministru plenipoteniar la Ankara. Pe cnd era ministru la Ankara, Moisil a inut o serie de conferine cu subiecte matematice la Universitatea din Istanbul. n ianuarie 1947 a inut la Universitatea Tehnic din Istanbul o serie de conferine tratnd despre Mecanica plan a corpurilor elastice si a lichidelor vscoase. Rentors n ar, a predat n anul 19481949 la Universitatea din Bucureti cursul de aplicaii geometrice ale analizei, iar n anii 19481951 a deinut, ca ef de catedr la Institutul de geologie i tehnic minier din Bucureti, catedra de analiz matematic. La Facultatea de matematic i fizic a predat, ca ef de catedr, teoria elasticitii ntre anii 1949 i 1955. Din anul 1955 pn n 1965 a fost ef de catedr la aceast facultate, pentru algebr. Din octombrie 1965 este eful catedrei maini de calcul, de la Facultatea de matematic i mecanic i pred capitole speciale de maini de calcul i teoria programrii, cum i algebra logicii i aplicaii. n afar de cursurile obligatorii ale catedrei, Moisil a inut cursuri i conferine speciale, att n ar, ct i peste hotare. La Poitiers, n Frana, a inut n mai 1931 o conferin cu subiectul Sur la structure matmatique des lois physique. n 1932 a inut la Universitatea din Cernui o conferin, intitulat Caracterul global al legilor fizicii. La Iai, n 19331934, a inut un curs de logic i teoria demonstraiei, apoi un altul privind familiile de mulimi i funcii de mulimi. Incepnd cu anul colar 19541955, n ciclul privind calculul simbolic, a inut la Universitatea din Bucureti un curs special intitulat Elemente de teoria algebric a mecanismelor automate i altul Relee temporizate i relee polarizate. n octombrie 1955 a confereniat n Polonia, la Varovia, Wroclav, Poznan i Torun despre Teoria algebric a mecanismelor automate, iar n mai-iunie 1957, la universitile din Bologna, Milano i Napoli, Roma i Bari, i anume: la Institutul de geometrie din Bologna ase conferine despre Teoria algebric a mecanismelor automate; la Politehnica din Milano, dou conferine i la Institutul de calcul din Roma o conferin despre Dezvoltarea n Romnia a teoriei algebrice a mecanismelor automate; la Universitatea din Bari, dou conferine despre Funcionarea n timp a mecanismelor automate i Aplicaiile algebrei i logicii n studiul mecanismelor automate, apoi la cercul de cibernetic din Neapole, o conferin despre Automatica i cibernetica n Romnia. ntre 5 i 7 mai 1959 a participat la conferina asupra teoriei reglrii automate, inut la Liblice, unde a fcut comunicarea: Asupra logicii cu cinci palori i aplicarea ei n teoria
3

circuitelor cu contacte i relee. n iulie i august 1959 a inut la Roma, Varenna i Milano conferine despre teoria algebric a mecanismelor; la Varenna, n cadrul cursurilor C.I.M.E., s-a ocupat de teoria algebric a circuitelor cu tranzistori. n mai 1960 a confereniat n Frana, la Paris, Poitiers i Grenoble. La Facultatea de tiine din Paris a inut o conferin despre Logicile polivalente i aplicaiile lor n tehnic; sub auspiciile Asociaiei franceze pentru problemele automaticii, a confereniat la Paris despre Funcionarea real a circuitelor electrice; iar la Institutul politehnic din Grenoble a tratat despre Aplicaiile algebrei n automatic. n noiembrie 1960 a inut conferine la Sofia, la Academia de tiine Bulgar, asupra automatizrii (calculatori electronici), iar la 9 decembrie 1960, ca invitat al Institutului italian de matematici superioare, a confereniat la Institutul superior de telecomunicaii din Roma, despre Teoria algebric a circuitelor cu elemente electronice. Alte conferine a inut n noiembrie 1960 la Palermo, Messina i Bologna. ntre 2 i 13 septembrie 1962, participnd la conferina de mecanic ce a avut loc la Krinice (Polonia) a prezentat comunicarea Asupra problemei plane e elasticitii anizotrope. n 1964 a inut conferine cu subiecte matematice la Tokyo, Novosibirsk i Budapesta. Moisil a participat la multe congrese de matematici, mecanic aplicat sau automatizare, prezentnd comunicri. De exemplu a participat la Congresul matematicienilor slavi la Praga, de la 1 la 8 septembrie 1955; la Congresul matematicienilor germani inut la Dresda, de la 2226 noiembrie 1955; la Congresul al treilea al matematicienilor sovietici de la Moscova, n iulie 1956; la Congresul de mecanic aplicat inut la Bruxelles n septembrie 1956; la Consftuirea unional din U.R.S.S. asupra teoriei schemelor cu relee, inut la Moscova ntre 2 i 5 octombrie 1957; la Congresul al XIII-lea internaional al matematicienilor, inut la Edimbourgh, n Anglia, n august 1958. ntre 2 i 8 septembrie 1959 a participat la Simpozionul polonez de logic matematic, de la Varovia. ntre 27 iunie i 1 iulie 1960 a participat la primul congres internaional de automatic (comand automat) organizat de Federaia internaional de automatic, la Moscova, unde a fcut cunoscut activitatea existent n ara noastr n domeniul automatizrii. La acest congres s-a scos n eviden automatizarea pneumatic i hidraulic, cum i posibilitatea utilizrii comenzii bioelectrice. Grigore Moisil, a fcut cu acest prilej o expunere a lucrrilor proprii i ale colaboratorilor si privind circuitele electrice, n care intr contacte, relee, lmpi electronice,
4

inele magnetice. Dup congres a inut la Muzeul politehnic din Moscova o conferin, intitulat Automatizarea tiinei si tiina automatizrii, ntre 24 august i 2 septembrie 1960 a avut loc Congresul de logic, metodologie i filozofie a tiinelor naturii, la Stanford University din California, S.U.A., la care Moisil a participat cu comunicri tiinifice ce au avut succes. Dup congres, timp de dou sptmni, a vizitat universitile din Chicago, Arbor (Michigan), Universitatea Columbia din New York, cea din Princeton (New Jersey), Universitatea Georgetown din Washington, Institutul tehnologic al statului Illinois, Institutul de studii superioare din Princeton, laboratorul Watson al Societii International Business Machinery" din New York. In acest rstimp s-a ntlnit cu oamenii de tiin americani (printre alii cu matematicianul M. Morse), crora le-a artat realizrile matematicii romne, n special cele din domeniul automatizrilor. La International Business Machinery a fcut o expunere asupra creaiei romne privind schemele cu relee. Trecnd prin Detroit, unde sunt muli romni, a fost primit cu mult cldur de acetia. n 1924, prin Detroit trecuse i confereniase i naintaul su, Gh.ieica, dup Congresul de la Toronto. A participat ntre 3 i 12 iulie 1961 la al patrulea Congres unional de matematic, inut la Leningrad, iar ntre 26 septembrie i 3 octombrie 1961 a luat parte la Bologna i Florena, la a doua Conferin a matematicienilor din rile de limb latin, unde a prezentat lucrarea Aplicaii ale algebrei la mainile moderne de calcul. De la 19 la 22 martie 1962 a participat la Berlin, n R.D.G., la sesiunea Cibernetica i relaiile ei cu matematica, fizica, tehnica i automatizarea. ntre 31 mai i 8 iunie 1962 a participat la edinele comitetului I.F.A.C., la Cambridge, n Anglia. n septembrie 1962 a participat la Conferina de elasticitate i plasticitate de la Iablona (Polonia), apoi n aceeai lun a participat, la Tihany, n Ungaria, la colocviul Bazele matematicii, maini matematice i aplicaiile lor. ntre 24 septembrie 1962 i 2 octombrie 1962 Moisil a participat la Moscova la simpozionul Teoria sistemelor cu relee i a automatelor finite, organizat de Federaia Internaional de Control Automat (I.F.A.C.). Moisil i ceilali romni care participau au prezentat lucrri asupra schemelor cu transistori i cu tuburi electronice, sau probleme generale de sintez a automatelor. Aici el a fost preedintele de edin la secia de teoria abstract a automatelor, ntre 15 i 22 august 1962 a participat la al XIV-lea Congres internaional al matematicienilor pare a avut loc la Stockholm, unde a fcut comunicri de logic, matematic. Imediat dup acest congres a participat (septembrie 1962) la colocviul ce s-a inut la Helsinki asupra logicilor neclasice, unde a inut o conferin asupra logicilor cu mai multe valori,
5

avnd largi aplicaii azi n studiul mecanismelor automate. ntre 28 i 30 noiembrie 1962 a participat la Varovia, la Consftuirea privind colaborarea n problemele tehnicii de calcul. Matematicianul Gr. Moisil face parte din comitetul de redacie al revistei Journal de Mcanique", din Paris. A fost membru la Socit matmatique de France". Este membru n comitetul de redacie al revistei Automatisme, Revue A, din Bruxelles. Din 1966 face parte din comitetul de redacie al revistei International Computing Center Bulletin", publicat de Centrul internaional de calcul", din Roma. Moisil este citat ca surs de inspiraie pentru noi memorii, de muli matematicieni de valoare mondial, precum i n tratate de matematici moderne, de mare valoare. De pild, Moisil este citat de Garrett Birkhoff, profesor de matematici la Harvard University, n tratatul intitulat Lattice theory. Pentru preocuprile sale de logic matematic, Moisil este citat n Enciclopedia delle matematiche elementari, alturi de G. Boole, Peano, Brouwer, J. Lukasiewicz, A, Church i alte valori mondiale cu asemenea preocupri. n domeniul teoriei algebrice a mecanismelor automate, este citat de ctre autorii sovietici. Grigore C. Moisil este academician din 1948, adic chiar de la reorganizarea acestui nalt for tiinific al rii noastre. A fost membru titular al Academiei de tiine din Romnia. Este de asemenea ef de secie pentru algebra aplicat (acum algebr i teoria numerelor) la Institutul de matematic al Academiei, nc de la nfiinarea acestuia. Este preedintele Societii de tiine matematice din ara noastr, calitate n care a fost srbtorit la 4 martie 1956, cu prilejul mplinirii vrstei de 50 de ani i n ianuarie 1966 la 60 de ani. Moisil a fost de asemenea membru n prezidiul Academiei; a fost preedinte al Comisiei de automatizare iar acum este preedinte al Comisiei de cibernetic de pe lng prezidiul Academiei. n aceast calitate, organizeaz n fiecare an cte o sesiune de comunicri tiinifice n domeniul automatizrii. De exemplu, n anul 1962 a avut loc n zilele de 89 noiembrie o asemenea sesiune, n care s-au discutat, printre altele, aplicaiile logicii matematice la studiul circuitelor electrice ; utilizarea mainilor de calcul n probleme de economie; construcii noi de maini electronice de calcul digital; maini de calcul analogice; automatizrile realizate n industria romn etc. n iulie 1964 Moisil a fost ales membru corespondent al Academiei de tiine din Bologna. Este membru al Institutului Internaional de Filozofie din Paris. n august 1964, i s-a acordat prin decret titlul de Om de tiin emerit"; este Laureat al Premiului de Stat.
6

b. Activitatea tiinific. Analiza operei. Grigore C. Moisil a fost un matematician cu o mare for de creaie, cu preocupri extrem de diverse. A nceput cu probleme din domeniul analizei funcionale; a trecut apoi la probleme de logic matematic (logistic) (cnd era n jurul vrstei de 30 de ani), de care s-a ocupat mai ales pn prin 1943. S-a ocupat ns i de probleme de geometrie diferenial, sau, mai cu seam, de ecuaii cu derivate pariale, iar n ultimul timp, dup anul 1952, a fost preocupat n special de aplicaiile algebrei booleene, a imaginarelor lui Galois i a logicilor polivalente n tehnica automatizrilor. Legat de aceste preocupri, a inut ncepnd cu anul colar 19541955 la Universitatea din Bucureti i un curs de teoria algebric a schemelor cu contacte i relee. n sfrit, unele dintre lucrrile sale privind ecuaiile cu derivate pariale trateaz despre sisteme de astfel de ecuaii, ntlnite n teoria elasticitii sau n fizica matematic. Ca i pe Lalescu, pe Moisil l caracterizeaz diversitatea preocuprilor, att n domeniul matematicilor pure, ct i n al celor aplicate. Este productiv ca o uzin, care produce ns cu precdere prototipuri. b1. Analiza funcional i diversele ei utilizri n opera lui Moisil. Moisil a avut ideea utilizrii analizei funcionale, n primul rnd n mecanica analitic a sistemelor continue (teza de doctorat n matematici). n afar de Pompeiu, dar ntr-un caz cu totul particular, nimeni pn la Moisil, fie romn, fie strin, nu se gndise la aa ceva. Sugestia i-a venit cum a spus-o singur de pe urma splendidelor lecii de mecanic pe care le-a audiat la Pompeiu. Domeniul nou al analizei funcionale a aprut n matematici pentru prima oar atunci cnd matematicianul italian Vito Volterra a introdus noiunea de funcional (Volterra o numise la nceput funzione di linee, adic funcie de linii; numele de funcional se precizeaz abia n 1910, o dat cu lucrrile lui Jacques Hadamard). Abia nscut ca tiin n care se studiaz funcii de o infinitate de variabile independente, analiza funcional a cptat imediat o bifurcaie datorit contribuiilor a doi matematicieni francezi de seam: Maurice Frchet i Paul Lvy. Este de adugat ns c trebuie trecut i Jacques Hadamard printre cei care au pus bazele acestei analize funcionale. Originalitatea operei lui Moisil n domeniul analizei funcionale const n aceea c el a introdus aceast nou noiune a lui Volterra, funcionala, n urmtoarele domenii: 1) La studiul sistemelor mecanice cu o infinitate de grade de libertate; 2) n teoria grupurilor continue cu o infinitate de parametri; 3) n geometria diferenial, ajungnd astfel la o geometrie diferenial funcional;
7

4) n mecanica ondulatorie a cmpurilor de und . Toate cercetrile de analiz funcional fcute de Gr.C.Moisil pn n 1930 au fost succint amintite de Vito Volterra n cunoscutul su tratat intitulat Theory of functional. Grupurile continue infinite, a cror teorie a fost fundat de ctre Sophus Lie, prezint cel de-al doilea exemplu pentru introducerea noiunii de funcional. Nordicul matematician Sophus Lie stabilise att teoria grupurilor finite, ct i a celor infinite. Progrese n acest domeniu au fcut ulterior Elie Cartan (francez) i U.Amaldi (italian) pornind numai de la ecuaii de definiie. Cu privire la grupurile infinite, Moisil are ns un punct de vedere deosebit de cel al lui Lie: acestea sunt grupuri care depind de o infinitate de parametri. i anume Moisil consider dou specii de grupuri infinite: grupuri n care noile coordonate Volterra; i grupuri n care noile coordonate sensul lui Hilbert. Moisil a ajuns astfel s arate c teoremele fundamentale date de Lie pentru grupurile finite se pot extinde grupurilor infinite, extinzndu-le i teoria structurii. Ct privete geometria diferenial funcional, Moisil a extins geometria riemannian ntr-un spaiu cu o infinitate de dimensiuni, la micarea unui sistem continuu. japonezi sau italieni. n sfrit, n mecanica ondulatorie a cmpurilor de und, a fcut de asemenea aplicaii de analiz funcional; aici Moisil a pus problema sub o form geometric, artnd c unui cmp de und i corespunde o geodezic ntr-o varietate riemannian funcional i o optic geometric ntr-un spaiu funcional. Lucrrile acestea ale lui Moisil de geometrie diferenial funcional au fost apoi reluate de cercettorii sunt funcionale de un parametru, n sensul lui sunt funcionale de o infinitate de parametri, n

b2. Analiza matematic. n domeniul ecuaiilor cu derivate pariale, Moisil are foarte multe creaii extrem de valoroase, cci s-a preocupat aici de la teoria preliminar a sistemelor liniare de ecuaii cu derivate pariale, pn la extinderea monogeneitii, aa cum fusese definit ca noiune de Cauchy, i anume extinderea monogeneitii n sensul lui Pompeiu (monogeneitatea P ) sau n sensul lui V.S.Feodorov (monogeneitatea F ) ; s-a preocupat apoi de aprofundarea derivatei areolare introduse de Pompeiu sau de o clas de sisteme de ecuaii cu derivate pariale de tipul Cauchy-Dirac, n spaiul cu mai multe dimensiuni.
8

Imediat dup nfiinarea Institutului de matematic al Academiei (anul 1948), Moisil a organizat acolo un colectiv care s-a preocupat de teoria preliminar a sistemelor liniare de ecuaii cu derivate pariale, colectiv care a cutat s fac un studiu de ansamblu asupra proprietilor formale utile pentru integrarea unor atare sisteme de ecuaii cu derivate pariale. Pentru formulele de reciprocitate, care constituie baza teoriei integrrii funciilor armonice sau poliarmonice, hiperbolice ori polihiperbo-lice, parabolice sau poliparabolice, adic a sistemelor de ecuaii cu derivate pariale ce se ntlnesc n elasticitate, electrodinamica sau hidrodinamica fluidelor vscoase, are dou memorii remarcabile. n ceea ce privete tipurile teoremelor de existen corect puse, s-a ncercat a se gsi o metod pentru construirea formei acestor teoreme de existen, pentru un sistem de ecuaii cu derivate pariale. Moisil a indicat o cale pentru abordarea acestei probleme, folosind o metod algebric. Prin aceasta metod a studiat apoi problema relaiilor n care nu intr derivatele n raport cu timpul pentru diferitele sisteme de ecuaii ntlnite n fizica matematic. De altminteri, prin aceeai metod, el a abordat reducerea ecuaiilor elasticitii. n legtur cu derivata areolar ca noiune n sensul su cel mai larg, i anume n legtur cu teoria funciilor monogene ( ), Moisil a extins proprietile acestor funcii n cazul n care funcionala:

nu este absolut continu, ci este cu variaie limitat i cu discontinuitate de prima spe. n privina funciilor de mai multe variabile complexe, Moisil a dat caracteristicile geometrice ale transformrilor spaiului cu patru dimensiuni, prin perechi de funcii monogene. Pentru sistemele de ecuaii cu derivate pariale de tipul lui Dirac, n spaiul cu mai multe dimensiuni, Moisil a dezvoltat o teorie a integrrii acestor sisteme de primul ordin, cu coeficieni constani, avnd o anumit form i a artat c multe sisteme de ecuaii cu derivate pariale ntlnite n fizica matematic, precum ecuaia echilibrului elastic n spaiu sau ecuaiile micrilor lente ale lichidelor vscoase incompresibile, pot fi puse sub aceast form i deci pot fi
9

integrate. n legtur cu aceste sisteme Dirac, Moisil a dezvoltat un algoritm personal pentru studiul unei anumite clase de sisteme de ecuaii cu derivate pariale, ntlnit n fizica matematic. Algoritmul lui Moisil regsete pentru sistemele eliptice trsturile importante ale funciilor analitice de o variabil complex, cum i ale funciilor monogene ( ), cum ar fi de exemplu: integralele sunt funcii armonice, se poate generaliza teorema lui Morera etc. Matematician deosebit de fecund, Moisil s-a preocupat i de geometrizarea ecuaiilor de ordinul al doilea n spaii cu conexiune liniar, spaii utilizate pentru o teorie relativist unitar. Anume, a studiat geometria ecuaiilor cu derivate pariale de ordinul doi parabolice, completnd geometria ecuaiilor liniare de ordinul doi studiate naintea sa. Mai apoi, Moisil a extins teoria clasic a varietilor caracteristice ale sistemelor de ecuaii cu derivate pariale de tipul normal (Hadamard, Levi-Civita) la sisteme de o form mai general, a stabilit o definiie invariant a caracteristicilor acestor sisteme i a precizat c ideea de caracteristic este legat de teoria undelor de discontinuitate. A studiat bicaracteristicile ecuaiilor liniare de un ordin oarecare date de un sistem canonic n care hessianul este egal cu zero, i a artat c acestea sunt situate pe o varietate Monge, fiind extremalele unei probleme variaionale.

b3. Logica matematic. Una dintre prile cele mai originale din creaia lui Moisil, i chiar pentru matematica romn, o constituie indiscutabil preocuprile sale de logic matematic care l-au condus la foarte interesante consideraii filozofice asupra matematicii, precum i la bogata activitate privind teoria algebric a mecanismelor automate. De altfel, aici nu numai c are foarte multe memorii, dar ncepnd cu anul 19331934 a inut un curs liber de logic i teoria demonstraiei, la Universitatea din Iai, iar dup 1934 pn n prezent, att la Iai ct i la Bucureti a inut cursuri obligatorii de logic. Moisil opune panlogismului un panmatematism. Pentru Moisil, matematica este o tiin
10

a structurii, ca o algebr abstract, iar logica formal este o tiin descriptiv, cu principii luate ca simple convenii. n sensul lui Poincare, gndirea matematic este astfel o form ireductibil de activitate a spiritului uman. Logicianul nostru a aplicat logicii algoritmice metodele din teoria grupurilor, n special atunci cnd se refer la sistemele cu dou operaii fundamentale: conjuncia i disjuncia. A definit astfel izomorfismul, produsul cartezian a dou logici, sublogicile unui sistem logic, sublogicile invariante etc. El a dat o expunere sistematic a algebrei logicii.Ca tiin n sine, Moisil consider logica drept o tiin de observaie. Tot Moisil a analizat i cearta din jurul principiului terului exclus i cel al dublei negaii din logic. n aceast privin a examinat lucrrile lui Heyting, cu o aleas preocupare critic, artnd c n logica acestui filozof matematician, n care nu este valabil principiul dublei negaii, exist dou tipuri noi de silogisme ipotetice, n afar de silogismele din logica clasic.A artat de asemenea c toate corpurile logice satisfac axiomele aa-numitelor algebre booleene. Moisil a introdus noiunea de ideal n logic. Cercetrile importante de logic matematic ale lui Moisil preau a se ncheia o dat cu anul 1943; dar matematicianul ne-a fcut i alte surprize n acest domeniu. Ultimele sale lucrri de logic matematic dinainte de 1943 sunt acelea care privesc logica modal. Moisil a studiat structura algebric a logicii trivalente i tetravalente, artnd c algebrele trivalente sunt similare algebrelor booleene i c n aceste algebre trivalente se pot introduce dou legi de compoziie, astfel nct acestea s devin un inel comutativ. Ct privete algebrele tetravalente, Moisil a introdus n structura acestora mai multe legi de compoziie, care le transform n inele. n sfrit, sub aspectul algebric, Moisil a studiat logica propoziiilor lui Bocivar i logica nonchrysipian a lui Becker. Artnd c raionamentul n evoluia sa depinde de o idee de nlnuire, a dat un exemplu despre rolul jucat de aceast idee n mecanica aplicat (hidrodinamic). S-a preocupat i de calculul propoziional ca o extensiune a metodei de calcul a lui Gentzen. A dat dou sisteme echivalente de axiome pentru algebrele ce corespund la logica cu trei
11

valori a lui Lukasiewicz. Aici a definit anumite ideale n funcie de endomorfisme i a demonstrat unele teoreme asupra acestor ideale. Moisil a studiat calculul predicatelor n logica cu trei valori, ca un caz particular al calculului predicatelor n logica cu n valori, calcul realizat de I.B.Rosser i A.R. Turquette. A expus o axiomatic a acestui calcul, adugind, la axiomele calculului propoziiilor cu trei valori alte cinci axiome, din care patru axiome ale calculului predicatelor au fost stabilite de HilbertBernays. Prin aceast preocupare de logic matematic, Grigore C.Moisil i are un loc cu totul aparte n matematica i coala matematic romneasc. Este singurul logistician de valoare al nostru, n prima jumtate a secolului al XX-lea.

Nu este de mirare, de aceea, c pe cnd era profesor la Iai(1932-1941), Moisil a declarat ntr-o conferin inut n strintate c se ocup n principal de logicamatematic iar n secundar de ecuaii cu derivate pariale. Declaraia a dat loc la comentarii pe atunci; ns n decursul anilor matematicianul nostru a continuat cu cercetrile de logic matematic, mai ales sub aspect aplicativ. b4. Geometrie diferenial. Moisil are realizri i n domeniul geometriei difereniale. Studiind amnunit geodezicele i suprafeele minime, a artat c deformarea ortogonal a unei curbe este caracteristic pentru geodezice. A artat de asemenea c deformarea ortogonal a unei suprafee care conserv aria este caracteristic suprafeelor minime. Pornind de aici, Moisil a fost condus la ideea de varietate total extremal referitoare la o problem oarecare de calcul al variaiilor. Folosind cele descoperite de Moisil i ntrebuinnd metoda reperului mobil al lui Elie Cartan, Alexandru Pantazi a extins apoi proprietile acestor suprafee minime. De asemenea, n cadrul acelorai preocupri de geometrie diferenial, Moisil a extins noiunea de arc afin i arc conform al unei suprafee la o varietate neolonom n sensul definit de Gh.Vrnceanu. Dac spaiul lui Riemann Vn este singular, geodezicele acestuia nu au caracterul de curbe
12

autoparalele. Pentru geodezicele acestui spaiu Moisil a demonstrat urmtoarea teorem cunoscut azi sub numele de teorema lui Moisil: sistemul de ecuaii al geodezicelor unui spaiu al lui Riemann singular, de ordinul m, este format din m ecuaii de ordinul doi i nm ecuaii ptratice din primul ordin.

b5. Algebra modern. n materie de algebr, Moisil, att prin cursul su de algebr litografiat la Iai, ct i prin lucrrile privind algebrele neasociative, sau algebra logicii, a dezbtut att ideile algebrei moderne adic ale teoriilor algebrice , ct i terminologia acestora. Ulterior a publicat trei note care privesc reprezentarea grupurilor abeliene de torsiune ca subgrup de produs direct infinit, precum i o metod pentru completare topologic. Apoi a publicat o not privind definiia numerelor ideale lund ca punct de plecare teoria local a lui Zolotarev, i o alta pornind de la logica relaiilor. A numit algebr a lui Schroder, o algebr a lui Boole cu o a treia lege de compoziie i a artat c o algebr Schroder finit este izomorf cu o algebr de matrici ntr-o algebr a lui Boole. Nu putem ncheia preocuprile de algebr modern fr a scoate n eviden c Moisil publicat o lucrare didactic valoroas, intitulat Introducere n algebr, din care volumul I cuprinde inele i ideale. Acest prim volum conine teoria inelelor i idealelor, tratat n primul rnd concret, apoi abstract. Modul de tratare al lui Moisil seamn mult cu cel folosit n Algebra modern a lui van der Waerden, ns este mult superior. Lucrarea lui Moisil conine ultimele puneri la punct ale domeniului, precum i reale progrese. Realiznd ceea ce a preconizat n prefaa acestei lucrri lucrarea sa cuprinde i teoria invarianilor algebrici i a funciilor algebrice a conceput o mic enciclopedie a algebrei moderne, cu o dezvoltare special a metodelor algebrei abstracte. n partea I a Introducerii n algebr se d definiia inelului i corpului, bazat pe proprietile numerelor raionale. Problema important tratat aici este descompunerea n factori primi. n partea a II-a, avem pur algebr abstract. Aici se dau definiii abstracte pentru inel, corp, subinel, subcorp, ideal principal, divizorul unui ideal etc. Se trateaz inelul polinoamelor ntr-un inel; se definete izomorfismul i homomorfismul. n limba romn, pn la apariia acestei cri, nu exista n aceast materie dect cursul litografiat al lui
13

Moisil cu prelegerile inute la Iai (n 1934) i dou lucrri tiprite care tratau noiunile de inel, corp i ideal: Algebra lui Onicescu i Galbur din 1948 i Leciile de algebr de Vera MyllerLebedev, aprut n 1953.

b6. Teoria algebric a mecanismelor automate. Ultima pasiune tiinific a lui Moisil este teoria algebric a mecanismelor automate, care, dup anul 1953, ncepe s-l acapareze aproape total. n aceast teorie i-a creat elevi care formeaz un colectiv bine nchegat (Gh.Ioanin, Mariana Nedelcu, C.P.Popovici, Paul Constantinescu, Sergiu Rudeanu i la nceput Oleg Aram i Drago Vaida). Teoria algebric a mecanismelor automate s-a dezvoltat la noi abia dup 1953, sub influena lucrrilor lui estacov i M.A.Gavrilov. estacov artase c un calcul pentru schemele cu contacte ce intervin n mecanismele automate este de domeniul algebrei logicii sau algebrei booleene, deoarece pentru contacte corespund dou poziii: nchis sau deschis, nct la aezarea contactelor fie n serie, fie n paralel, avem propoziii legate prin i ori sau. Pornind de la aceste constatri, Moisil are meritul de a fi dat n lucrrile sale de acest gen o descriere a evoluiei n timp a schemelor cu contacte, cu ajutorul unui sistem de ecuaii de recuren; n aceste ecuaii de recuren intr variabile descriind starea contactelor i starea curenilor din relee. Se stabilete astfel un prim sistem de ecuaii care dau funciile de lucru ale releelor i un alt sistem de ecuaii formate din ecuaiile caracteristice ale releelor. Cel dinti care a introdus aceste ecuaii caracteristice este Moisil, Pentru stabilirea sistemelor de ecuaii de recuren, Moisil, ca i elevii si, aplic algebra booleana, imaginarele lui Galois i logicile polivalente. De exemplu, n lucrrile n care studiaz contactele multipoziionale, Moisil ntrebuineaz algebra booleean prin aceea c reprezint parametric variabila polivalent prin variabile bivalente. Apoi, a folosit logici trivalente pentru ecuaiile caracteristice ale unui releu polarizat, sau a schemelor cu contacte reale (de fapt a aplicat aici o idee mai veche a lui estacov). n sfrit, a aplicat imaginarele lui Galois n multe memorii privind mecanismele automate cu contacte i relee.
14

Moisil a dat astfel ecuaiile caracteristice ale unui releu ordinar cu contacte ideale, ecuaiile caracteristice ale releelor cu contacte reale, pe cele ale releelor basculante reale, pe cele ale releelor cu nfurri multiple, ale releelor polarizate, ale releelor temporizate, precum i ecuaiile de funcionare ale unui contact multipoziional. Ct privete analiza funcionrii unei scheme, aceasta a fost fcut att pentru un caz simplu, ori pentru scheme cu contacte ideale, pentru scheme cu contacte reale, pentru scheme cu relee polarizate (determinarea a trei funcii booleene de 5 variabile booleene printr-o metod de recuren), sau, n sfrit, pentru mecanisme a cror funcionare se descrie prin contacte multipoziionale, de exemplu, ca n cazul contactelor cu blocaj mecanic. Este de menionat un fapt important pentru ingineri i tehnicieni, artat de Moisil: nu orice schem poate fi ameliorat, adic nu orice schem poate fi transformat prin adugirea de circuite suplimentare, fr o cretere a numrului de relee. n sfrit, adugm c n dou memorii n care a studiat scheme cu elemente-ventil, a aplicat algebre booleene cu un automorfism dat, sau corpuri de imaginare ale lui Galois. n legtur cu teoria algebric a mecanismelor automate, amintim c Moisil a fcut o comunicare cu aceast tem la Congresul matematicienilor cehoslovaci inut la Praga n septembrie 1955; o alt comunicare la Congresul de la Dresda, tratnd despre O sintez a schemelor cu relee polarizate n noiembrie 1955 ; iar la al patrulea Congres al matematicienilor romni din 1956 a tratat despre Probleme algebrice legate de clasificarea schemelor cu contacte i relee. De asemenea, la Congresul de automatic, inut la Paris n iunie 1956, Moisil a tratat subiectul: Asupra aplicaiei logicii trivalente la studiul schemelor cu contacte i relee. Aproape c n-a fost congres internaional de automatic sau consftuire romneasc privind automatizrile la care Moisil s nu participe i s nu-i expun punctul de vedere n importanta problem a automatizrii, legat de actualitatea tehnic. Faptul arat ct de mult l-a pasionat aplicarea automatizrii n producie, prin contribuia matematicii. Ca o ncununare a operei sale privind aceast ramur a matematicii aplicate, Gr.C.Moisil a publicat n 1959 un volum masiv de 703 pagini, cuprinznd Teoria algebric a mecanismelor automate pentru care i s-a acordat Premiul de stat pe 1962. n acest volum sunt expuse n
15

principal contribuiile proprii n acest domeniu i cele ale colaboratorilor si, ntre anii 1953 si 1959. Probleme de automatizare tratate tiinific apar o dat cu anul 1938, cnd este susinut teza de candidat n tiine a sovieticului V.I.estacov (tiprit ns abia n 1941) i lucrarea americanului Claude Shannon, intitulat A symbolic analysis of relay and switching circuits, publicat n acelai an. Contribuia romneasc n teoria mecanismelor automate este ndreptat n urmtoarele direcii: 1) Utilizarea unui instrument algebric ct mai variat de cercetare n teoria mecanismelor

automate. Moisil, de pild, a aplicat nu numai algebra booleean ca naintaii si n aceste cercetri, ci i teoria corpurilor de imaginare ale lui Galois, logicile trivalente ori logicile pentavalente. 2) Accentul cercetrilor lui Moisil a fost pus pe problema funcionrii n timp a

mecanismelor, separnd astfel variabilele asociate curentului din circuite de cele legate de contacte. 3) Ecuaiile caracteristice introduse n teorie de Moisil n 1954, au fost folosite pentru

studiul unor variate tipuri de scheme cu elemente intermediare i nu numai pentru studiul schemelor cu relee ordinare. 4) S-au fcut studii speciale pentru contacte multipoziionale, deoarece schemele sunt

simplificate prin introducerea unor contacte de acest fel.

Studiind algebrele trivalente sau n-valente ale lui Lukasiewicz, Moisil a ajuns la redactarea unui memoriu de sintez, n care, dup ce arat legtura dintre logica cu valori i circuitele multipoziionale, discut negaia, conjuncia i disjuncia, trateaz pe larg despre algebrele trivalente sau n-valente lukasiewicziene i termin fcnd aplicaie la principul determinismului.
16

Tot ce are legtur cu teoria algebric a mecanismelor automate l preocup pe Moisil. De exemplu, a artat ct de util este pentru tehnicieni noiunea de izomorfism a dou circuite cu contacte i relee, care permite s se aleag poziia de repaus i ajut la ndeplinirea condiiei tehnice a funcionrii (anclanare sau dezanclanare). Teoria algebric a mecanismelor automate, publicat n 1959, a fost tradus i publicat n rusete la Moscova n 1963. n introducerea pe care i-a scris-o, V.I. estacov recunoate existena unei coli tiinifice romne n domeniul schemelor cu contacte i relee. Recunoate, c dup S.U.A. i U.R.S.S. n aceast materie privind domeniul ciberneticii, Romnia ocup locul al treilea. Moisil este unul dintre cei care au struit s se nfiineze n 1962 un Centru de calcul al Universitii din Bucureti, formnd n cadrul su cercettori i dotndu-l cu maini de calcul. Aici se studiaz probleme de actualitate privind programarea automat, teoria jocurilor i aplicaiile matematicii n alte tiine.

b7 Lingvistica matematic. n acest domeniu s-a ocupat de traducerea automat dintr-o limb n alta i de indexarea i rezumarea lucrrilor publicate. n problemele puse de traducerea automat a studiat conjugarea verbelor i declinarea n limba romn scris. Se preocup de modele logice ale limbii, care constituie n lingvistica modern una din direciile de cercetare actual. b8. Lucrri cu caracter divers n matematica aplicat. Desigur, Moisil nu s-a mulumit s atace numai domeniile matematicilor pure, sau aplicaii ale matematicilor pure n tehnic. Are foarte multe lucrri n diverse ramuri ale matematicii aplicate, de la teoria elasticitii sau hidrodinamic pn la fizica matematic, mecanic general sau chiar probabiliti. De exemplu, n teoria elasticitii a exprimat tensiunile n cazurile plane, cu ajutorul unei funcii analoge funciei lui Airy, n cazurile dinamice. n hidrodinamic a dat o demonstraie a principiului lui d'Alembert pentru lichidele incompresibile, demonstraie n care nu folosete derivata, ci aplic teoria funciilor de mulime.
17

De asemenea, s-a ocupat de hidrodihamica plan a lichidelor vscoase sau de metoda funciilor de o variabila hipercomplex n hidrodinamica plan a lichidelor vscoase incompresibile, ori de metoda funciilor analitice n hidrodinamica lichidelor vscoase. n fizica matematic a studiat ecuaiile electrodinamicii n dielectricele i conductorii izotropi i omogeni, sau ecuaiile maxwelliene ale lui Louis de Broglie pentru particulele de spin 1. n mecanica general a studiat dinamica firului i micarea unui fir pe o suprafa. Pentru studiul fenomenelor ce evolueaz ntr-o serie stochastic Markov continu n care se presupune c exist salturi de probabiliti, a dat o integral a matricelor n sens Volterra, utiliznd procedeul lui Stieltjes.

Din expunerea fcut se poate observac acest matematician este creator att n domeniul matematicilor pure, ct i al celor aplicate. Pe orice coard tiinific, atac exuberant, sap n adncime i lrgete n suprafa, fiind mereu nou, mereu altul; i n toate exceleaz. Este un fenomen care repet n condiii optime pe Lalescu. Moisil, fondator al colii romne de teoria algebric a mecanismelor automate, dirijorul proceselor de automatizare la noi, este nvatul care i-a nscris n plus, pe palmaresul su, o bogat i profund oper de logic matematic, scnteietoare analiz, geometrie diferenial i algebr modern, toate legate practic de tehnica romneasc, n scopul progresului acesteia.

18

BIBLIOGRAFIE

Andone, G., Istoria matematicii n Romnia, Editura tiinific, Bucureti, 1966

19