Differenze tra le versioni di "Logica matematica"

Nessun cambiamento nella dimensione ,  13 anni fa
m
m (Bot: Sostituzione automatica (-([^D])E'([^'.]) +\1È\2))
Euclide ci ha lasciato la geometria derivata da 5 soli assiomi, erigendo un monumento all' arte delle conseguenze logiche.
 
Leibniz sognava un calcolo del ragionare, la sua speranza era che i filosofi per dirimere i problemi si esortassero con un "calculemus" anzichèanziché un "disquisimus".
 
È nel 1800, con il lavoro di Boole, che la logica diventa anche una branca della matematica. Boole si accorge che le regole del pensiero possono essere esplorate con metodi matematici, e inventa l' algebra che porta il suo nome.
386

contributi