Libri di
Bibliografia di : tutti i libri in vendita online pubblicati nella collana Universale Bollati Boringhieri S Scient con argomento Logica Matematica
QED. Fenomenologia della dimostrazione Lolli Gabriele - Bollati Boringhieri, 2020 - Universale Bollati Boringhieri-S. Scient.
Tutti sappiamo che due più due fa quattro, ma pochi di noi sono in grado di dire perché. Si tratta, in effetti, di un'affermazione tutt'altro che scontata da un punto di vista matematico. Si celebrano coloro che dimostrano teoremi apparentemente astrusi, si girano film su questi personaggi eccentrici, ma come abbiano fatto, in che cosa consista la loro prova non sembra essere mai del tutto chiaro. In QED , che altro non è se non l'acronimo per Quod Erat Demonstrandum , formula di rito posta alla fine di tutte le dimostrazioni matematiche, la problematica delle dimostrazioni viene inserita in un quadro storico e filosofico, dai greci a Descartes alla rigorizzazione dell'Ottocento, ma soprattutto le dimostrazioni vengono discusse dall'interno, per far risaltare il loro ruolo nella costruzione della matematica. Al termine della lettura, sarà impossibile restare insensibili al fascino dell'eleganza razionale dell'attività dimostrativa, dal lampo d'intuizione iniziale alla sua inevitabile e stringente conclusione, a volte così poco intuitiva da risultare sorprendente.
L'analisi matematica della logica Boole George - Bollati Boringhieri, 1993 - Universale Bollati Boringhieri-S. Scient.
Opera di grande impegno teorico, il libro è il passo iniziale dal quale è nato lo sviluppo della logica simbolica, ed oggi è considerato l'atto ufficiale di nascita dell'algebra della logica. Il libro è introdotto da un chiaro saggio storico.
Del metodo matematico Bolzano Bernard - Bollati Boringhieri, 2004 - Universale Bollati Boringhieri-S. Scient.
Bolzano enuncia in forma chiara e concentrata alcune delle sue idee principali sulla logica e sulla metodologia della matematica. Discute in particolare una distinzione tra le proposizioni, in quanto concepite dalla mente di un essere pensante o espresse a parole e le proposizioni in quanto entità astratte, indipendenti da una mente e dalla loro espressione linguistica. Quest'ultimo costituisce il dominio delle matematiche, dove tra le proposizioni esiste un certo ordinamento deduttivo, una gerarchia basata sul rapporto di fondamento e conseguenza, ampiamente indagata da colui che seppe anticipare alcune idee fondamentali della logica contemporanea.