sublimina.it

  • Full Screen
  • Wide Screen
  • Narrow Screen
  • Increase font size
  • Default font size
  • Decrease font size






  research gate


omino_logo_sublomina


La Conoscenza è come una linea, dove sono i confini non ci è dato di saperlo.

Sublimina.it è un viaggio personale nel mondo del pensiero umano. Per raggiungere ogni meta c'è una via ed ogni via ha un ingresso. Questa è la mia porta personale, l'ho appena aperta. Ognuno ha la sua porta, qualche volta si ha bisogno, però, di intravedere cosa c'è al di là della porta altrui per mirare l'altrove che sta dietro la propria.  Ispirato da: Franz Kafka, Il processo (1925)


M. Frixione, D. Palladino - La Computabilità: Algoritmi, Logica, Calcolatori

E-mail Stampa PDF

La Computabilità: Algoritmi, Logica, Calcolatori"La Computabilità: Algoritmi, Logica, Calcolatori" di Marcello Frixione e Dario Palladino, il primo professore di Logica e Filosofia del Linguaggio presso l'università di Palermo, il secondo docente di Logica Matematica presso l'università di Genova è un interessante testo introduttivo sulla nozione di algoritmo e di computabilità. E' lodevole lo sforzo degli autori nel presentare gli argomenti nella maniera più semplice possibile liberandoli da tutti quei tecnicismi che renderebbero il testo adatto solo agli esperti. Il risultato di questo lavoro è un testo semplice e scorrevole, pur trattando di argomenti ostici, nonché altamente teorici. Il testo inizia illustrando la nozione di algoritmo mostrando che talvolta un algoritmo può non produrre risultati. Il concetto di algoritmo, poi, viene affiancato a quello di funzione matematica. Attraverso la nozione  teorica di calcolatore: la macchina di Turing, il lettore è pronto per assaggiare uno dei concetti più belli, più discussi e inaspettati del pensiero del Novecento: l'indecidibilità. La seconda parte di fatto enuncia i teoremi fondamentali di Godel e la tesi di Church, che, come noto, chiudono definitivamente con il "fondazionalismo a tutti i costi" del matematico David Hilbert. Il testo termina con importanti riflessioni, alla luce di quanto trattato in precedenza, sull'Informatica, la Computabilità e la Teoria della Mente. In definitiva  "La Computabilità: Algoritmi, Logica, Calcolatori" si configura come un buon testo a carattere intoduttivo, corredato con esempi e qualche nozione di carattere storico. Il formalismo è presente anche se alleggerito, quindi talvolta alcuni passi richiedono un surplus di attenzione, cosa fondamentale in quanto per comprendere la parte finale è importante aver ben chiaro quanto illustrato in precedenza.

Hanno detto..

You are here: Letture Scelte M. Frixione, D. Palladino - La Computabilità: Algoritmi, Logica, Calcolatori