Logică matematică
 | 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(en)[traduceți]), 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
[modificare | modificare sursă]- ^ Nicolae N. Mihăileanu, Istoria matematicii, vol 2, Editura Științifică și Enciclopedică, București, 1981 p. 477
