Fundamentele logicii matematice

Titlul original:

Fundamentals of Mathematical Logic

Conținutul cărții:

Subdomeniul matematicii care se concentrează pe identificarea aplicațiilor logicii formale la matematică este cunoscut sub numele de logică matematică. Este cunoscută și sub numele de logică simbolică sau logică formală.

Se ocupă cu studiul puterii expresive și deductive a sistemelor formale. Unele dintre sistemele logice formale sunt logica de ordinul întâi, logica nonclasică și modală, logica algebrică și alte logici clasice. Disciplina este împărțită în patru domenii.

Acestea sunt teoria modelelor, teoria dovezilor, teoria seturilor și teoria recursivității. Domeniul este strâns legat de informatică teoretică și de fundamentele matematicii.

Domeniul își găsește aplicații în alte discipline, cum ar fi fizica, biologia, economia, metafizica, dreptul și morala, precum și psihologia. Această carte explorează toate aspectele importante legate de această disciplină în scenariul actual.

Au fost incluse aici diferite abordări, evaluări, metodologii și studii privind logica matematică. Deoarece acest domeniu se dezvoltă într-un ritm rapid, conținutul acestei cărți va ajuta cititorii să înțeleagă conceptele și aplicațiile moderne ale subiectului.