Breve storia della logica matematica …ed un pallido raggio di luna su che cosa sia Miglior Prezzo

Descrizione

Il volume, indirizzato a un pubblico di non specialisti, introduce con scrittura scrittura agile e scorrevole i concetti logici di base, e rappresenta unottimo punto di partenza per sostenere un esame di logica su manualistica universitaria. Il testo narra la nascita della logica nella Grecia antica come branca della filosofia, del suo intreccio con la matematica fino a diventare Logica Matematica, del suo contributo alla nascita dellinformatica e delle sue plurime applicazioni. Un obiettivo primario è portare il lettore a rispondere alla domanda che cosè la logica matematica? Nel testo si affrontano con esempi chiari i sillogismi aristotelici, i sistemi formali, la logica proposizionale, la logica modale e la logica del primo ordine, e si fa luce sullintelligenza artificiale (IA) e sulle logiche adatte allIA. Il volume è arricchito da episodi e curiosità su alcuni personaggi (Platone, Bertrand Russell, Alan Turing) e macchine (la macchina di Anticitera, la macchina differenziale e quella analitica di Babbage, la macchina di Turing), così come narra del dio della logica Kurt Gödel, spiegando il significato dei suoi teoremi di completezza e di incompletezza.