Nel nostro tentativo di ripercorrere le tappe che hanno portato alla moderna concezione della matematica e della logica ci siamo fermati alla lettera di Russell al povero Frege, che ha visto crollare davanti ai propri occhi il lavoro di una vita. Era riuscito ad erigere un monumento grandioso alla potenza espressiva della pura logica, un palazzo curato nei minimi particolari, che però poggiava le proprie fondamenta sul paradosso. In quegli stessi anni inoltre i lavori di Cantor stavano prendendo piede nella comunità matematica, e i suoi risultati estremamente controintuitivi non […]

Continua a leggere

Nell’ultimo articolo della nostra serie abbiamo visto come George Boole riuscì a trattare la logica come un ramo della matematica. In questo modo fu finalmente possibile applicare la potenza dei metodi matematici a questa importantissima materia di studio, che fino ad allora apparteneva più che altro alla filosofia. Viene naturale allora chiedersi se, viceversa, la matematica possa essere espressa unicamente mediante la logica, senza dunque far ricorso a ragionamenti “intuitivi”. Sarebbe una scoperta strabiliante: significherebbe aver trovato finalmente il calculus ratiocinator sognato da Leibniz! Significherebbe essere in grado, data una […]

Continua a leggere

Gottfried Wilhelm von Leibniz (1646-1716) è stato un matematico, ingegnere, filosofo, teologo, linguista, diplomatico, giurista, storico… Il suo genio universale ha lasciato tracce del suo passaggio in ogni campo del sapere di cui si è interessato. Per parlare della sua opera anche solo in uno di questi campi servirebbe ben più di un articolo.  A noi appassionati di matematica il nome di Leibniz riporta alla mente subito derivate e integrali, famosa è la disputa tra lui e Newton sulla paternità del calcolo infinitesimale. Ci sarebbe tantissimo da dire anche su […]

Continua a leggere