Logica matematica

[thedarkhero]

Pensavo che la logica e la logica matematica fossero la stessa cosa.
Nella home page ho trovato un articolo in pdf sulla logica ma cercando "logica matematica" su wikipedia ho trovato tutt'altro.
Sono la stessa cosa o no?

[thedarkhero]

up

[moreno88]

Se hai letto attentamente vedi la differenza su wiki gia all inizio come introduzione.
La logica classica è la scienza che tratta tutta la validità e le articolazioni di un discorso in termini di nessi inferenziali - in particolare deduttivi - relativamente alle proposizioni che lo compongono.(wiki)
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.(wiki)

[thedarkhero]

L'avevo letto ma non mi è molto chiaro.
Ad esempio: i problemi che sono stati proposti ad agosto per la sfida di intelligenza matematica di questo sito sono di logica, logica matematica o tutt'altro?