Logică matematică
În acest articol dorim să aprofundăm subiectul Logică matematică, care a stârnit un mare interes în mai multe sectoare ale societății. Logică matematică a câștigat relevanță în ultimii ani datorită impactului său semnificativ în diferite domenii, de la sănătate la tehnologie. În acest sens, vom analiza cele mai relevante aspecte legate de Logică matematică, explorând importanța acestuia, evoluția ei în timp și perspectivele de viitor care sunt preconizate în jurul acestui subiect. De la origini și până la relevanța actuală, Logică matematică s-a dovedit a fi un punct de cotitură care marchează un înainte și un după în numeroase domenii, motivând dezbateri, cercetări și schimbări semnificative.
 | Acest articol sau această secțiune are bibliografia incompletă sau inexistentă. Puteți contribui prin adăugarea de referințe în vederea susținerii bibliografice a afirmațiilor pe care le conține. |
Logica matematică este un subdomeniu al matematicii. Este de obicei divizată în următoarele subdomenii: teoria modelelor, teoria demonstrației, teoria mulțimilor și teoria recursivității. Cercetarea din domeniul logicii matematice a contribuit la, și a fost motivată de, studiul fundamentelor matematicii, dar logica matematică conține, de asemenea, și probleme ce aparțin matematicii pure, care nu sunt legate direct de fundamentele matematicii.
O temă unificatoare în logica matematică este studiul puterii expresive a logicii formale și a sistemelor de demonstrație.
Denumirile anterioare ale logicii matematice au fost cele de logică simbolică (opusă logicii filosofice) și metamatematică. Primul termen este încă folosit (ca în Association for Symbolic Logic = Asociere pentru Logica simbolică), dar ultimul termen este folosit azi pentru a desemna anumite aspecte ale teoriei demonstrației.
George Boole este creatorul logicii simbolice moderne. In 1847 a subliniat izomorfismul diverselor tipuri de raționamente.[1]
Referințe
- ^ Nicolae N. Mihăileanu, Istoria matematicii, vol 2, Editura Științifică și Enciclopedică, București, 1981 p. 477
