Logică matematică

De la Wikipedia, enciclopedia liberă
Salt la: Navigare, căutare

Logica matematică este un subdomeniu al matematicii. Este deobicei divizată în următoarele subdomenii: teoria modelelor, teoria demonstrației, teoria mulțimilor și teoria recursivității. Cercetarea din domeniul logicii matamatice a contribuit la, și a fost motivată de, studiul fundamentelor matematicii, dar logica matamatică conține, de asemenea, și probleme ce aparțin matematicii pure, care nu sunt legate direct de fundamentele matematicii.

O temă unificatoare în logica matamatică 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)), dar ultimul termen este folosit azi pentru a desemna anumite aspecte ale teoriei demonstrației.