Libri di Sa

Logica dimostrativa Saccheri Gerolamo  Girondino M. (Cur.)  Mugnai M. (Cur.)   -  Scuola Normale Superiore (En), 2012

Logica dimostrativa - Scuola Normale Superiore (EN)

L'importanza di essere fuzzy. Matematica e computer Sangalli Arturo   -  Bollati Boringhieri, 2000  -  Saggi. Scienze

In questo libro, che tratta il problema dei rapporti tra matematica e computer, l'autore spiega come, servendosi della logica "fuzzy" (alla lettera: confusa, imprecisa) e dei concetti correlati, i programmatori sono in grado di evitare la tradizionale ricerca di soluzioni matematiche perfette per accogliere invece soluzioni "abbastanza buone", "sufficienti". La logica fuzzy è una tecnica che permette ai computer di lavorare con termini imprecisi, di rispondere alle domande con risposte come "forse" piuttosto che con "si" o "no". Se i matematici vogliono che il loro lavoro resti rilevante per la soluzione dei problemi del mondo moderno devono sempre più riconoscere l'importanza di essere "fuzzy".

DETTAGLI

Logica dimostrativa. Testo latino a fronte Saccheri Gerolamo  Pagli P. (Cur.)  Mangione C. (Cur.)   -  Bompiani, 2011  -  Il Pensiero Occidentale

II gesuita Gerolamo Saccheri aveva circa trent'anni quando nel 1696-97 pubblicò la "Logica demonstrativa", un manuale scritto in occasione del suo primo incarico didattico importante, nel Collegio dell'Ordine a Torino. A prima vista il testo rientra nell'alveo della immensa trattatistica di logica aristotelica, ininterrotta dal Medioevo. Invece è un unicum nella storia della disciplina. L'autore si propone di esporre la materia non m modo descrittivo, come sempre era stato fatto, ma assiomaticamente, individuando "principi" da cui derivino i noti risultati sui sillogismi validi. L'obiettivo viene lucidamente formulato: ottenere per la logica lo stesso rigore della geometria, seconda l'esempio e il modello di Euclide. Con finissima sensibilità assiomatica Saccheri raggiunge pienamente lo scopo, prima impiegando, tra gli altri, un assioma del tutto plausibile, ma, diremmo noi, "extra-logico"; poi riuscendo a eliminarlo con un elegante procedimento deduttivo (la via nobilior). Una pari lucidità è dispiegata nel trattamento del problema delle definizioni, anche in questo caso con un salto di livello rispetto a ogni trattazione precedente. Ma l'opera, forse troppo audace negli scopi e nei metodi, dopo l'iniziale diffusione e varie ristampe nei primi anni, misteriosamente non fu più utilizzata, sembra, dallo stesso autore e fu riproposta solo postuma come affettuoso omaggio di allievi.