Mondadori Store

Trova Mondadori Store

Benvenuto
Accedi o registrati

lista preferiti

Per utilizzare la funzione prodotti desiderati devi accedere o registrarti

Vai al carrello
 prodotti nel carrello

Totale  articoli

0,00 € IVA Inclusa

Al risveglio dal sogno. La pratica della dimostrazione automatica
Al risveglio dal sogno. La pratica della dimostrazione automatica

Al risveglio dal sogno. La pratica della dimostrazione automatica

by Miriam Franchella
pubblicato da Unicopli

Prezzo:
17,00 14,45
Risparmio:
2,55 -15 %
mondadori card 29 punti carta PAYBACK
Disponibile.
Consegna gratuita con spesa totale superiore a 19 €.
Ordina ora per riceverlo mercoledì 7 dicembre.  (Scopri come).

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.

Dettagli

Generi Psicologia e Filosofia » Filosofia occidentale e Storia della filosofia » Filosofia occidentale: dal 1900

Editore Unicopli

Collana Biblioteca di cultura filosofica

Formato Brossura

Pubblicato  08/10/2016

Pagine  180

Lingua Italiano

Isbn o codice id 9788840019109


0 recensioni dei lettori  media voto 0  su  5

Scrivi una recensione per "Al risveglio dal sogno. La pratica della dimostrazione automatica"

Al risveglio dal sogno. La pratica della dimostrazione automatica
 

Accedi o Registrati  per aggiungere una recensione

usa questo box per dare una valutazione all'articolo: leggi le linee guida
torna su Torna in cima