O nouă recunoaștere internațională pentru academicianul Gheorghe Păun și pentru Matematica românească
Cea mai recentă clasificare oficială a domeniilor matematicii conține, în premieră, sintagma „membrane computing”, al cărei autor este acad. Gheorghe Păun. Menționarea apare în ediția revizuită a Mathematics Subject Classification 2020 (MSC2020), catalog care a fost publicat de Mathematical Reviews și de zbMATH Open - publicație editată de European Mathematical Society, Heidelberg Academy of Sciences and Humanities, și FIZ Karlsruhe. La conturarea teoriei DNA computing au contribuit acad. Gheorghe Păun, Grzegorz Rozenberg, din Olanda, și Arto Salomaa, din Finlanda. Matematicianul și informaticianul român acad. Gheorghe Păun este autorul sintagmei membrane computing. „Este pentru prima dată când cele două cuvinte apar explicit în clasificarea American Mathematical Society, precedenta clasificare fiind din 2010", a declarat acesta.
În clasificarea MSC2020 mai sunt menționate și domeniile inițiate de matematicianul și poetul Dan Barbilian, membru post-mortem al Academiei Române [51C05, Ring geometry (Hjelmslev, Barbilian, etc.), pagina 91] și de ing. Vasile-Mihai Popov, membru corespondent al Academiei Române (93D10, Popov-type stability of feedback systems, pagina 146). Calculul cu membrane este o ramură a calculului natural: „Calculul natural este definit ca domeniu al informaticii, cu două obiective: să se inspire de la natură în folosul informaticii - suporturi de date, operații cu date, arhitecturi de calculatoare, la modul cel mai general - și invers, să furnizeze noi instrumente celor care studiază natura cu alte mijloace", a precizat acad. Păun într-un interviu acordat în 2018 Biroului de comunicare și imagine al Academiei Române. Acad. Gheorghe Păun, președinte de onoare al International Membrane Computing Society, este inițiatorul (în anul 1998) calculului cu membrane (membrane computing, MC), ramură a calculului natural. Modelele de calcul (celular) cu membrane se numesc P sisteme (P systems), de la numele său. „E o inițială care s-a abstractizat, sunt total neutru acum. Modelul e de tip gramatici formale - sau automate - automate distribuite, iar asta lipsește cumva limbajelor formale. Vreau să spun că eram antrenat, timp de tot vreo 20 de ani, să fac limbaje formale pure de diverse tipuri; a picat foarte natural un nou cadru în care să aplic instrumentele cu care lucrasem atâta timp. Limbajele formale, automatele clasice, au de a face cu șiruri, așa cum scriem - numere cu informație pozițională, așa cum vorbim - în limbile naturale folosim fraze care au anumită ordine, succesiune; informatica lucrează cu șiruri de biți, de simboluri. Biologia însă nu lucrează neapărat cu șiruri de biți! ADN-ul e un șir de nucleotide, dar în celulă plutesc în apă obiecte chimice, de la ioni până la macromolecule, unele sunt fixate de diverse suporturi, de scheletul din interior, de membrane. Structura de date nu mai e șirul -, dacă vreți, este șirul în care nu mai este ordine, în care literele se plimbă și trec unele pe lângă altele. Dintr-odată, iată un aspect foarte atrăgător pentru lucrătorul în teoria limbajelor formale: să folosească mașinăriile de acolo, dar nu pentru șiruri, ci pentru șiruri minus ordine. Era o provocare evidentă, de aceea teoria s-a și dezvoltat foarte rapid. Întreaga problematică a limbajelor formale se putea translata aici, într-un context total nou, distribuit și folosind multi-seturi, mulțimi cu multiplicități, deci nu șiruri. Apoi, lucru absolut reconfortant și benefic, au început aplicațiile. La ora aceasta, în teoria membrane computing-ului aplicațiile sunt preponderente - aproape în fiecare an se publică câte o carte”, a explicat acesta.
Argeșean de peste 7 decenii, acad. Gheorghe Păun susține că educația sa este matematică. A studiat informatica teoretică, domeniu la intersecția dintre matematică și informatică. Prin urmare, se consideră mai degrabă matematician, „dar cu înclinație spre zona aceasta a matematicii, de tip discret - discret, în sens matematic, atras de numerele naturale, nu reale”. Gh. Păun aparţine, deci, nu matematicii continuului, ci matematicii discretului... Echipa Argeș Expres îl felicită pe senior editor și-l prețuiește pentru tot ceea ce face, atât pentru știință, cât și pentru Orașul Regal Curtea de Argeș!
Cristina MINCU
Foto
