Al risveglio dal sogno

La pratica della dimostrazione automatica

Informazioni aggiuntive

Autore

Pagine

181

Formato

14×22

Uscita

ISBN

9788840019109

ACQUISTA SU:

Descrizione

Il XX secolo ha segnato la fine del sogno leibniziano di elaborare un grande sistema assiomatico che permettesse di risolvere ogni disputa, in qualunque ramo del sapere, attraverso un semplice calcolo. Il teorema d’indecidibilità di Church, infatti, ha stabilito che non è possibile progettare un algoritmo che stabilisca, per qualunque formula del linguaggio predicativo del primo ordine con l’identità, se essa sia una verità logica oppure no. A fronte di questo risultato, si è aperta una nuova area di ricerca, quella dell’automated reasoning, che, stimolata anche da esigenze di tipo pratico (quali la verifica di protocolli), lavora per capire ed ampliare quanto si riesce a dimostrare attraverso i calcoli, facendo interagire varie euristiche. La mancanza di testi costituisce un ostacolo alla diffusione delle conoscenze relative a questa area di ricerca, limitandone la potenziale fruttuosità. Il presente volume si propone di colmare tale lacuna per quanto riguarda il dimostratore “Z3”, ricco strumento disponibile gratuitamente in rete.

Autore

Miriam Franchella (Milano 1965) è Professore associato di Logica e Filosofia della Scienza all’Università degli Studi di Milano. È autrice, oltre che di numerosi articoli e saggi, di svariate monografie di storia e filosofia della logica del Novecento (Il terzo escluso: genesi e critiche di un principio; L.E.J. Brouwer pensatore eterodosso; Come l’amor platonico; Con gli occhi negli occhi di Brouwer; A rigor di logica; Con permesso: forma, norma e libertà). Per Unicopli ha pubblicato nel 2014 il volume La logica del gregge: Brouwer e Nietzsche a confronto.