Logica matematica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
Nessun oggetto della modifica |
||
Riga 13:
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è un "disquisimus".
E' 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.
| |||