Al risveglio dal sogno. La pratica della dimostrazione automatica

Al risveglio dal sogno. La pratica della dimostrazione automatica

di Miriam Franchella

 
Disponibile in
3 giorni lavorativi
Prezzo solo online:

14,45

€ 17,00 -15%
Aggiungi al carrelloPrenota e ritiraVerifica disponibilità in Negozio

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.

Dopo aver letto il libro Al risveglio dal sogno. La pratica della dimostrazione automatica di Miriam Franchella ti invitiamo a lasciarci una Recensione qui sotto: sarà utile agli utenti che non abbiano ancora letto questo libro e che vogliano avere delle opinioni altrui. L’opinione su di un libro è molto soggettiva e per questo leggere eventuali recensioni negative non ci dovrà frenare dall’acquisto, anzi dovrà spingerci ad acquistare il libro in fretta per poter dire la nostra ed eventualmente smentire quanto commentato da altri, contribuendo ad arricchire più possibile i commenti e dare sempre più spunti di confronto al pubblico online.

Recensioni

Nessuna Recensione presente. Vuoi essere il primo a inserirne una?
Recensioni con x Stelle
Trama
 
Stile scrittura
 
Aspetto estetico
 
Rapporto qualità / prezzo
 
Valutazione complessiva
 

Dettagli

Parole chiave laFeltrinelli:

filosofia occidentale: dal 1900




APP18 - Bonus cultura da 500€


I Nostri Partner


 
Dogalize
 
Cardif
 
Dogalize

Top Miriam Franchella

Visualizza tutti i prodotti