Accedi all'area personale per aggiungere e visualizzare i tuoi libri preferiti
Autore principale: Wittgenstein, Ludwig
Serie: Archivium philosophicum aloisianum. 3a ser. ; vol. 1
Serie: Archivum philosophicum aloisianum / A cura della Facoltà di Filosofia dell'Istituto Aloisianum S.J. ; Serie III
Serie: Archivium philosophicum aloisianum. 3a ser. ; vol. 1
Serie: Archivum philosophicum Aloisianum. Ser. 3
Serie: Einaudi paperbacks ; 142
Serie: Nuova universale Einaudi ; 196
Serie: Nuova universale Einaudi ; 196
Serie: Nuova Universale Einaudi ; 196
Serie: Routledge classics
Serie: Universale economica
La logica matematica è il settore della matematica che studia i sistemi formali dal punto di vista del modo di codificare i concetti intuitivi della dimostrazione e di computazione come parte dei fondamenti della matematica. Essa si occupa delle parti della logica che possono essere modellate matematicamente. Altri termini utilizzati spesso nel passato sono logica simbolica (termine contrapposto a logica filosofica) e metamatematica, termine che ora si applica più specificamente a taluni aspetti della teoria della dimostrazione.
Record aggiornato il: 2025-10-24T01:40:38.276Z