Gabriele Lolli eBooks
eBooks di Gabriele Lolli Fondamenti della matematica
Guida alla teoria degli insiemi. E-book. Formato PDF Gabriele Lolli - Springer Verlag, 2012 - Convergenze
Si può tranquillamente affermare, sulla base di molta esperienza, che il matematico medio, anche chi fa ricerca, non sa cosa sia la teoria degli insiemi. Due pregiudizi si frappongono a una buona conoscenza della teoria: uno, di tipo minimalista, è la sua identificazione con una non meglio precisata "insiemistica", un linguaggio austero fin troppo impegnativo ove lo si voglia imporre prematuramente; l'altro è di tipo massimalista e consiste nel supposto, ed effettivo legame con le questioni più sottili dei fondamenti della matematica. Ma la teoria ha un contenuto matematico importante, e con molti risvolti di interesse didattico. Si può dire in una parola che è lo studio dell'infinito, il che comporta anche per complemento che sia uno studio del finito. Attraverso gli insiemi numerabili ed effettivamente generati si stabilisce anche un collegamento con la più concreta teoria della calcolabilità. Il libro è solo una guida, e vorrebbe accompagnare e orientare in uno studio più sistematico e completo condotto su un manuale.
I teoremi di incompletezza. E-book. Formato EPUB Gabriele Lolli - Società Editrice Il Mulino, Spa, 2019 -
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.