Fondamenti di logica matematica

Titolo originale:

Fundamentals of Mathematical Logic

Contenuto del libro:

Il sottocampo della matematica che si concentra sull'identificazione delle applicazioni della logica formale alla matematica è noto come logica matematica. È nota anche come logica simbolica o logica formale.

Si occupa dello studio del potere espressivo e deduttivo dei sistemi formali. Alcuni dei sistemi logici formali sono la logica del primo ordine, la logica non classica e modale, la logica algebrica e altre logiche classiche. La disciplina è suddivisa in quattro aree.

Si tratta della teoria dei modelli, della teoria delle prove, della teoria degli insiemi e della teoria della ricorsione. Il campo è strettamente legato all'informatica teorica e ai fondamenti della matematica.

Il campo trova applicazioni in altre discipline come la fisica, la biologia, l'economia, la metafisica, la legge e la morale e la psicologia. Questo libro esplora tutti gli aspetti importanti legati a questa disciplina nello scenario attuale.

Sono stati inclusi diversi approcci, valutazioni, metodologie e studi sulla logica matematica. Poiché questo campo sta emergendo a un ritmo rapido, i contenuti di questo libro aiuteranno i lettori a comprendere i concetti e le applicazioni moderne della materia.