Logica e teoria degli insiemi

Tutti sappiamo che due più due fa quattro, ma pochi di noi sono in grado di dire perché

Il teorema di interpolazione occupa una posizione centrale nel panorama delle ricerche logiche contemporanee, sia per gli aspe

"Giocare con la matematica e il problem solving" invita studenti e insegnanti ad avvicinarsi alla risoluzione dei problemi dal

Gigante della logica del Novecento e tra i massimi pensatori di ogni epoca, definito dalla rivista Time «il matematico del sec

In questo libro, Johnny Ball racconta uno dei percorsi storici più importanti dell'umanità: la storia della matematica

Lo spread potrà mai superare alef con zero? E quando questo accadrà, la Borsa saprà resistere? Il crollo si annuncia disastros

Oggi, in un mondo dominato da meme, fake news, tweet di 140 caratteri, dibattiti televisivi in cui si impone chi grida più for

Smettere di temere la matematica? Si può

La matematica ci permette di comprendere e interpretare in profondità il mondo che ci circonda, dalle esperienze quotidiane ai

Il volume presenta un corso iniziale di logica che è rivolto agli studenti universitari e a tutti coloro che desiderano legger

Un nuovo panorama della ricerca sulla logica in Italia

Il testo contiene gli argomenti di matematica di base che si svolgono nei corsi universitari del primo anno

Il libro nasce dall'esperienza pluriennale di insegnamento da parte delle autrici nei corsi di Linguaggi e sistemi formali

Questo secondo volume, presenta le basi della teoria della ricorsività, l'aritmetica di Peano ed i teoremi di incompletezza, g

Meglio i giochi matematici o le intriganti biografie dei grandi geni della storia? Meglio le due cose insieme, ben mescolate!

Albert Lautman traccia in questi tre testi minori, scritti in occasione dei due Congrès de philosophie scientifique (1935 e 19

Questo testo è concepito per i corsi delle Facoltà di Ingegneria e di Scienze e affronta tutti gli argomenti tipici della mate

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.