Iscriviti alla Newsletter!
Logica da Zero a Gödel di Francesco Berto e Fallacie di ragionamento
La computabilità: Algoritmi, Logica, Calcolatori è un’introduzione alla teoria della computabilità. Non si tratta di un testo particolarmente tecnico e può essere compreso anche da chi non ha quasi nessuna cognizione pregressa sull’argomento. In particolare non sono richieste particolari competenze matematiche o logico-formali. Anche se probabilmente il libro può suscitare approvazione e interesse soprattutto per gli interessati alla logica filosofica, esso può essere di utilità anche a studenti di matematica del triennio piuttosto che a studenti del liceo particolarmente agguerriti.
Il testo è diviso in sette capitoli. Il primo capitolo, Algoritmi introduce la nozione centrale di algoritmo, la loro possibile rappresentazione grafica mediante i diagrammi di flusso e i loro possibili risultati, tra cui anche la possibilità che essi non ne producano affatto. Il secondo capitolo, Funzioni matematiche e algoritmi è il primo passo verso la costruzione della teoria della computabilità in matematica. Infatti, gli algoritmi sono concettualmente vicini ai sistemi di logica, grazie ai quali possiamo effettuare dimostrazioni rigorose. Sono a tal punto vicini che i due campi si intersecano. Per mostrare in che modo questo avvenga, gli autori forniscono una serie di utili spiegazioni circa la natura delle funzioni, alla loro calcolabilità effettiva (o non calcolabilità) e nell’ultimo paragrafo anticipano alcuni risultati sull’indecidibilità (cioè problemi matematici che non ammettono una risposta positiva da parte di alcun algoritmo). Il capitolo terzo, Le macchine di Turing, è una trattazione di un certo dettaglio delle macchine di Turing, una macchina astratta che, appositamente programmata, è in grado di svolgere algoritmi. In particolare la macchina di Turing può essere utilizzata per spiegare in che consista la computabilità effettiva. Esse, dunque, possono essere impiegate per il calcolo di funzioni aritmetiche. Nella parte finale del capitolo si considera anche il problema della fermata. Il capitolo quarto, Funzioni ricorsive, è dedicato alla spiegazione di un tipo particolare di funzioni, le funzioni ricorsive. Si scoprirà che di esse ci sono diversi tipi. Per cui nel capitolo quinto Tesi di Church e problemi indecidibili si considera la tesi di Church, la sua disamina e la sua analisi circa la connessione con le macchine di Turing. Il penultimo capitolo, il sesto, La computabilità e i fondamenti della matematica, considera il versante puramente logico e considera i teoremi di indecidibilità di Gödel e la loro connessione con i risultati di Church. In fine, Computabilità informatica e studio della mente fornisce una panoramica generalissima sull’informatica, come disciplina applicativa della teoria della computabilità. Inoltre, sempre in questo ultimo capitolo, si considera stringatamente, il legame tra alcune discipline della scienza cognitiva, in particolare tra la filosofia della mente, l’intelligenza artificiale e la neuroscienza.
Il testo La computabilità: algoritmi, logica, calcolatori è un testo sobrio, scritto con molta chiarezza e semplicità. Semplice non vuol dire facile. Non è senza dubbio un testo così introduttivo da lasciare indifferenti gli specialisti, a parte coloro i quali sono già così addentro nella disciplina da essere ormai troppo padroni della materia. Ma non è detto che costoro non possono trarre giovamento dalla chiarezza del volumetto. Infatti, pur non essendo un testo particolarmente lungo, riesce a condensare molte nozioni molto tecniche pur non eccedendo nei tecnicismi. Anzi, mi sia concesso di rimarcare proprio il fatto che i tecnicismi sono pochi o assenti e questo consente di seguire il discorso senza doversi sentire minorati dall’uso di un simbolismo che, spesso, pochi iniziati riescono a comprendere. E d’altra parte, se la comprensione è lo scopo di un testo introduttivo, allora bisogna pur lasciare perdere gli inutili dettagli per concentrarsi sulla rilevanza. Ed è in questo che questo volume eccelle.
Se, da un lato, il volume non si perde in inutili dettagli, è anche vero che consente di andare a recuperarli. Infatti, gli strumenti forniti dagli autori e la bibliografia consente questo genere di approfondimento senza uno sforzo eccessivo da parte del lettore. Sicché, anche da questo punto di vista, questa introduzione risulta virtuosa proprio perché spinge il lettore all’approfondimento personale, fornendogli alcuni strumenti tecnici che, opportunamente raffinati, consentono di comprendere aspetti importanti di questioni più di dettaglio.
Il libro è, in generale, sulla logica formale, sulla teoria della computabilità e i problemi che essa deve affrontare. Quindi non è un testo propriamente filosofico, per quanto possa essere di indubbio giovamento per lo studente e per il ricercatore, che voglia farsi un’idea dello stato dell’arte in questa disciplina senza doverci necessariamente entrare. Tuttavia, l’ultimo capitolo fornisce un inquadramento anche filosofico. E forse proprio su questo si poteva insistere in larghezza, per quanto possibile. In fondo, un solo capitolo su sette potrebbe non essere sufficiente per esaurire anche una panoramica non di dettaglio su una disciplina così tanto densa (la filosofia della mente con le sue molteplici diramazioni come scienza cognitiva). Ma forse non si poteva chiedere di più, per le legittime ragioni di spazio che un simile volume deve mantenere. E sicuramente non si poteva chiedere di meglio, ad un libro che con poco dice molto.
Dario Palladino, Marcello Frixione
La computabilità: algoritmi, logica, calcolatori
Carocci
Pagine: 142.
Euro: 10,50.
Giangiuseppe Pili
Be First to Comment