Logica Matematica eBooks

L' equazione degli alef. E-book. Formato EPUB Carlo Toffalori   -  Società Editrice Il Mulino, Spa, 2019  - 

Lo spread potrà mai superare alef con zero? E quando questo accadrà la borsa saprà resistere? Il crollo si annuncia disastroso. Dove allora proteggere i risparmi, se non investendoli in un alef ancor più grande? Nessun timore: è solo fantascienza, e in effetti gli alef appartengono alla matematica più astratta e fantastica. Sono numeri, con le loro formule e i loro teoremi, tuttavia infiniti, fratelli maggiori degli 1, 2, 3, … e perfino dei miliardi che si usano in finanza. Sono pieni di misteri: chi tra loro è per esempio 2 alla alef con zero? Vale la pena conoscerli, perché, al di là della fanta-economia, è da loro che è nata l’informatica, e anche per apprezzare la genialità di chi - il matematico tedesco Georg Cantor - seppe idearli.

Pinocchio nel paese dei paradossi. Viaggio tra le contraddizioni della logica. E-book. Formato EPUB Alessio Palmero Aprosio   -  Gruppo Alpha Test, 2012  - 

Pinocchio rivive le sue avventure sullo sfondo di nuovi paesaggi paradossali. Il più celebre burattino di tutti i tempi si troverà di fronte al dilemma del coccodrillo, al paradosso del mentitore, a quello della nave di Teseo, alla mitica gara tra Achille e la tartaruga e tanti altri: come farà a superare questi nuovi ostacoli? L'immancabile Grillo parlante con la sua proverbiale sapienza spiega al burattino, e ai lettori, come uscire dall'impasse in cui le contraddizioni logiche e matematiche li hanno fatti sprofondare. Un libro per scoprire il gusto del ragionamento, arricchito di illustrazioni che reinventano la popolare fiaba di Collodi.

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.