Libri di Gabriele Lolli
Bibliografia di Gabriele Lolli: tutti i libri in vendita online editi da Il Mulino con argomento Logica Matematica
I teoremi di incompletezza Lolli Gabriele - Il Mulino, 2019 - Voci
Nel 1930 i teoremi di incompletezza di Kurt Gödel cambiarono il corso della filosofia della scienza. La dimostrazione per cui in una teoria soddisfacente certe condizioni minime è possibile costruire una proposizione che non può essere né dimostrata né confutata all'interno della teoria rappresenta uno dei cardini del pensiero scientifico. L'annuncio dei due teoremi al convegno di Königsberg, dedicato all'epistemologia e alle scienze esatte, infranse il sogno di Leibniz, quel "calcolemus" che doveva risolvere qualsiasi controversia. Una nuova logica fatta anche di antinomie e paradossi si era ormai imposta.
Introduzione alla logica formale Lolli Gabriele - Il Mulino, 1991 - Strumenti
Introduzione alla logica formale - Il Mulino
Capire una dimostrazione. Il ruolo della logica nella matematica Lolli Gabriele - Il Mulino, 1988 - Saggi
Capire una dimostrazione. Il ruolo della logica nella matematica - Il Mulino