Rete Bibliotecaria della Provincia di Como

Abstract: Il libro è una completa e variegata introduzione alle principali tecniche dimostrative. Gli argomenti incrociano trasversalmente quelli trattati nei classici testi che si focalizzano su una specifica disciplina. Ogni sezione presenta esempi che illustrano levarietecnichedimostrative ed esercizi con cui il lettore può prendere dimestichezza con la materia. Tecniche dimostrative è dedicato a chiunque, studente, docente o semplice appassionato, voglia avvicinarsi e prendere confidenza con il principale strumento del matematico: la dimostrazione.

Abstract: I bambini cominciano a sviluppare il pensiero logico già da neonati e il miglior modo per favorirlo è l’allenamento. In questo volume, progettato da insegnanti competenti, si trovano attività che si propongono di aiutare la coordinazione oculo-manuale, sviluppare la velocità di pensiero, stimolare il ragionamento, favorire e allenare la concentrazione. Tra le pagine ci sono giochi che chiedono di fare delle scelte, ricercare collegamenti tra le possibilità e individuare analogie. Il libro si contraddistingue per la chiarezza grafica e il rispetto dei tempi di concentrazione dei bambini dai 5 anni in su.

Abstract: Non sempre logica e giustizia vanno di pari passo. Talora una medesima parola, come teorema, assume significati opposti, di verità dimostrata o di ipotesi strampalata. Esistono tuttavia tra logica e giustizia innocenti e sorprendenti analogie. Analogie che Carlo Toffalori e Stefano Leonesi, matematici con la passione per la letteratura, ci invitano a scoprire, ricavandole da vari casi criminali, spesso solo immaginari, in cui la logica si rivela uno strumento utile, una presenza paradossale o un'assenza imbarazzante. Si affidano per questa indagine alle testimonianze di personaggi illustri, da Protagora a Cervantes, da Diderot a Dostoevskij, da Kafka a Lewis Carroll, raccontando varie singolari vicende di giudizi senza logica e di logica senza giudizio e istruendo infine una sorta di processo alla logica stessa, per valutarne i presunti benefici e gli svantaggi non solo per la giurisprudenza e il diritto, ma anche per la matematica, l'informatica e la scienza in generale. Utili allo scopo si riveleranno essere alcune varianti giuridiche di quei celebri teoremi di incompletezza di Gödel che hanno dimostrato come pure in matematica la verità non sia sempre dimostrabile. Una conclusione, tuttavia, che non dovrebbe indurre alla rassegnazione, perché, se non altro, nella buona matematica tutto ciò che è dimostrabile è vero. E bisogna augurarsi che lo stesso capiti nella buona giustizia.

Abstract: Nel 1930 un ragazzo ventitreenne di nome Kurt Gödel dimostrò un teorema destinato a cambiare per sempre la nostra comprensione della matematica e, forse, di noi stessi: il Teorema di Incompletezza dell'Aritmetica. Questo libro ci guida, e senza presupporre alcuna particolare competenza matematica, nei segreti della leggendaria dimostrazione di Gödel e delle sue controverse implicazioni filosofiche. Francesco Berto mostra come alcuni usi del Teorema oggi invocato in migliaia di siti Internet, in discorsi di politica, religione, sociologia e, naturalmente, ermeneutica e postmodernismo - sorgano da buffi fraintendimenti del risultato gödeliano. E discute le posizioni dei molti nomi celebri del pensiero contemporaneo che hanno sentito il bisogno di dir la loro sul Teorema. Da Wittgenstein al profeta dell'Intelligenza Artificiale Douglas Hofstadter, vincitore del Premio Pulitzer col celebre Gödel, Escher, Bach; dal fisico Roger Penrose, per il quale invece il Teorema di Incompletezza mostra che nessun computer può emulare la mente umana, allo stesso Kurt Gödel, che associò la propria scoperta a un'intuizione puramente intellettuale dell'infinito.

Abstract: La matematica è rivoluzionaria. Attinge alla dimensione della libertà umana per creare mondi diversi e opposti, negando un codice già affermato per strutturarne liberamente un altro. Affermazioni matematiche all'apparenza inutili o sbagliate preannunciano quasi sempre vere e proprie rivoluzioni del pensiero. Il teorema di Bayes, per esempio, da puro gioco intellettuale è diventato un pilastro della diagnostica medica, della scienza forense, delle neuroscienze e nelle ricerche sull'intelligenza artificiale. In un viaggio che dai filosofi greci ci conduce alla Ultimate Machine di Claude Shannon, l'autore ci mostra che la matematica è rivoluzionaria anche in un modo più profondo: ci mette in grado di capire il mondo e di partecipare alla costruzione della società; di sconfiggere il tiranno: quello vero, ma soprattutto quello generato dal nostro stesso pensiero. Tutti possiamo intervenire, decidere se un ragionamento è corretto o meno, e tutti possiamo accedere agli assiomi iniziali e alle regole usate per svilupparli. Nel mondo fantastico dei numeri e dei teoremi non ci sono limiti all'immaginazione e in questo esercizio di fantasia siamo tutti liberi e tutti uguali. Non c'è nulla di controverso. Sire, spiegò ad Alessandro Magno il suo precettore Menecmo, in geografia esistono strade per i re e strade per il popolo, ma in geometria c'è un'unica strada per tutti.