Logică matematică
|
[[wiki]]
|
Acest articol sau această secțiune nu este în formatul standard. Ștergeți eticheta la încheierea standardizării. Acest articol a fost etichetat în ianuarie 2007 |
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.
