Libri di Luigi Butti

Il volume, indirizzato a un pubblico di non specialisti, introduce con scrittura scrittura agile e scorrevole i concetti logici di base, e rappresenta un’ottimo 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 dell’informatica 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 sull’intelligenza artificiale (IA) e sulle logiche adatte all’IA. 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.

Succede ancora ai nostri giorni di sentir dire - in famiglia o sui campi di volo - che i peggior nemici dell'aviazione sono la forza di gravità e... le donne! Mentre l'accusa fatta alla forza di gravità è indubbiamente fondata, la colpa attribuita alle donne deve essere spiegata e notevolmente mitigata. Con la loro scherzosa affermazione, infatti, gli aviatori esprimono disappunto solamente nei confronti di quelle madri, mogli, nonne, sorelle e fidanzate che - manifestando eccessivi timori e apprensioni - frenano lo slancio dei giovani attratti dal volo. Malgrado questo atteggiamento femminile sia piuttosto diffuso, il ruolo sostenuto dalle donne nella storia dell'aeronautica - e poi nelle ancora più spettacolari missioni spaziali — è stato tutt'altro che trascurabile. E merita di essere conosciuto.