Versione delle 23:04, 18 dic 2007 modifica RamaccoloBot (discussione \| contributi) 5 079 modifiche m Bot: Aggiungo: en:Logic ← Differenza precedente		Versione delle 21:29, 22 mar 2008 modifica annulla Olandobot~itwikibooks (discussione \| contributi) 386 modifiche m Bot: Sostituzione automatica (-([^D])E'([^'.]) +\1È\2) Differenza successiva →
Riga 10: 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. Verso la fine dell' 800, Frege compie il primo tentativo di dare una fondazione completamente basata su regole logiche all' intero edificio della matematica. Ma quando la sua monumentale opera era già in stampa Russel identificò dei paradossi che la invalidavano. Se questo fu un terribile smacco per Frege, lo fu ancora di più per la matematica: la casa era costruita sulla sabbia!

Logica matematica: differenze tra le versioni