Grigore C. Moisil — biografie și contribuții în matematică

Grigore C. Moisil (1906–1973) este considerat părintele informaticii românești: a arătat cum logica și algebra pot descrie circuitele electrice și a format prima generație de informaticieni din România. Când lucrezi cu mulțimi, cu „și”, „sau”, „non” sau cu legi de compoziție, folosești exact limbajul pe care l-a dezvoltat.

Viața

S-a născut la Tulcea, la 10 ianuarie 1906. A studiat matematica la București și în 1929 și-a susținut doctoratul despre mecanica sistemelor continue, în fața unei comisii conduse de Gheorghe Țițeica. A predat la Universitatea din Iași (din 1931), apoi, din 1941, la Universitatea din București. Între 1946 și 1948 a fost reprezentantul diplomatic al României la Ankara.

A devenit membru titular al Academiei Române în 1948. A murit la Ottawa, în Canada, la 21 mai 1973, în timpul unei călătorii în străinătate.

Contribuții în matematică

Logica cu mai multe valori

În logica obișnuită o propoziție este fie adevărată (1), fie falsă (0). Logicianul polonez Jan Łukasiewicz a propus o logică cu trei valori: \( 0 \), \( \tfrac12 \) („posibil”) și \( 1 \). Moisil a găsit structura algebrică potrivită pentru astfel de logici, numită azi algebră Łukasiewicz–Moisil, și a generalizat-o la \( n \) valori.

Algebra circuitelor de comutație

Un întrerupător are două stări: închis (1) sau deschis (0). Două întrerupătoare legate în serie lasă curentul să treacă doar dacă ambele sunt închise, adică „și”; legate în paralel, dacă măcar unul este închis, adică „sau”:

\[ \text{serie: } x \cdot y, \qquad \text{paralel: } x + y, \qquad 1 + 1 = 1. \]

Aceste operații respectă regulile algebrei lui Boole, de exemplu distributivitatea și legile lui De Morgan:

\[ x\cdot(y+z) = x y + x z, \qquad \overline{x + y} = \bar x \cdot \bar y. \]

Un exemplu practic: expresia \( x y + x \bar y \) descrie un circuit cu patru contacte. Cu distributivitatea obținem \( x y + x \bar y = x (y + \bar y) = x \cdot 1 = x \), adică același circuit poate fi realizat cu un singur contact. Această simplificare economisește piese și energie, iar ideea stă și azi la baza proiectării procesoarelor. Tabelul de adevăr al unei expresii se verifică pur și simplu încercând toate combinațiile de 0 și 1.

Moisil a construit o teorie completă a circuitelor și a automatelor finite pe această bază, inclusiv pentru circuitele cu relee și tranzistori. Cărțile sale, Teoria algebrică a mecanismelor automate (1959) și versiunea engleză The Algebraic Theory of Switching Circuits (1969), au circulat în întreaga lume.

Primele calculatoare românești

Moisil a susținut construirea primului calculator electronic românesc, realizat în 1957 la Institutul de Fizică Atomică, a organizat cursuri de programare și a sprijinit apariția specializării de informatică în universități. Pentru aceste merite, IEEE Computer Society i-a acordat postum, în 1996, distincția Computer Pioneer Award.

Unde îl întâlnești la școală

  • La mulțimi: reuniunea, intersecția și complementara se comportă exact ca „sau”, „și”, „non”.
  • La legi de compoziție și structuri algebrice (clasa a XII-a), unde algebrele Boole sunt un exemplu firesc.
  • La informatică, în expresiile logice și în tabelele de adevăr.

Vezi și: Gheorghe Țițeica și Simion Stoilow, colegul său de la București.

Curiozități

  • Era cunoscut pentru umorul său; multe dintre replicile lui circulă și azi printre matematicieni, deși nu toate sunt verificate.
  • Inițiala „C.” vine de la numele tatălui, Constantin Moisil.
  • Multe licee de informatică și concursuri școlare din România îi poartă numele.

Întrebări frecvente

De ce este numit Moisil părintele informaticii românești? Pentru că a creat teoria algebrică a circuitelor și automatelor, a sprijinit primele calculatoare românești și a format primii informaticieni din țară.

Ce premiu internațional a primit Grigore C. Moisil? Computer Pioneer Award, acordat postum de IEEE Computer Society în 1996.

Ce sunt algebrele Łukasiewicz–Moisil? Structuri algebrice care descriu logica cu mai multe valori de adevăr, nu doar adevărat și fals.

Vezi și: Georg Cantor, Blaise Pascal · toți matematicienii


Sursa: wikipedia.org