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.Sebbene molti siano indotti a pensare che la logica matematica sia la matematica della logica, è più giustificato affermare che essa è la logica applicata alla 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.
Per saperne di più visita Wikipedia.org...
Free Download Now!
