Libri di Miriam Franchella
Bibliografia di Miriam Franchella: tutti i libri in vendita online editi da Unicopli
Al risveglio dal sogno. La pratica della dimostrazione automatica Franchella Miriam - Unicopli, 2017 - Biblioteca Di Cultura Filosofica
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.
La logica del gregge. Brouwer e Nietzsche a confronto Franchella Miriam - Unicopli, 2014 - Biblioteca Di Cultura Filosofica
Le riflessioni che Nietzsche ha espresso a proposito della logica sono state poco indagate nella letteratura e sono state semplicemente archiviate sotto una generica formula di svalutazione da parte dell'autore per una disciplina che riteneva una pubblica menzogna. Il presente volume si propone, invece, di andare più a fondo nell'analisi delle osservazioni di Nietzsche attraverso un confronto con L. E. J. Brouwer, matematico olandese del primo Novecento, che, come lui, era insofferente verso l'appartenenza ad un gregge, criticava la logica e organizzava il suo pensiero attorno alla concezione della vita come volontà di potenza. Ne risulta quanto, direttamente o indirettamente, i due giganti hanno contribuito ad introdurre una visione pluralistica della logica.