Back

ⓘ Logică matematică. Logica matematică este un subdomeniu al matematicii. Este de obicei divizată în următoarele subdomenii: teoria modelelor, teoria demonstrație ..



                                     

ⓘ Logică matematică

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), 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.

Free and no ads
no need to download or install

Pino - logical board game which is based on tactics and strategy. In general this is a remix of chess, checkers and corners. The game develops imagination, concentration, teaches how to solve tasks, plan their own actions and of course to think logically. It does not matter how much pieces you have, the main thing is how they are placement!

online intellectual game →