|
|
La logica matematica è un particolare ramo della logica che si propone di tradurre in linguaggio matematico tutte le operazioni logiche e di stabilire al tempo stesso un linguaggio simbolico rigoroso nel quale scompaiano le ambiguità e gli equivoci del linguaggio comune. La logica matematica, intesa come applicazione del calcolo al ragionamento, può farsi risalire a G.W. Leibniz, ma soltanto due secoli più tardi, per merito di G. Boole, essa ha trovato un'adeguata sistemazione, i cui sviluppi sono stati opera, tra gli altri, di G. Frege, G. Peano, B. Russell, A.N. Whitehead e, in tempi recenti, delle scuole polacca e americana.
Tutto quanto riportato in questa pagina è a puro scopo informativo personale. Se non ti trovi in accordo con quanto riportato nella pagina, vuoi fare delle precisazioni, vuoi fare delle aggiunte o hai delle proposte e dei consigli da dare, puoi farlo mandando un email. Ogni indicazione è fondamentale per la continua crescita del sito.