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 matamatice au fost cele de logică simbolică (opusă logicii filosofice) și metamatematică. Primul termen este încă folosit (ca în en:Association for Symbolic Logic), dar ultimul termen este folosit azi pentru a desemna anumite aspecte ale teoriei demonstrației.

Bibliografie[modificare | modificare sursă]