La Computabilità: Algoritmi, Logica, Calcolatori — Marcello Frixione, Dario Palladino

-

 

«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 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 introduttivo, 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.

Post popolari in questo blog

La radionostalgia. Mi racconto attraverso la radio

-
Immagine
    «Né più mai toccherò le sacre sponde / ove il mio corpo fanciulletto giacque, / Zacinto mia...»  — Ugo Foscolo , A Zacinto (1803) «Vaghe stelle dell’Orsa, io non credea / tornare ancor per uso a contemplarvi / sul paterno giardino scintillanti...»  — Giacomo Leopardi , Le ricordanze (1829) «Sempre un villaggio, sempre una campagna / mi ride al cuore, sempre, a tutte l'ore, / la stessa pieve dalla bianca torre...»  — Giovanni Pascoli , Canti di Castelvecchio (1903) «Il vero paradiso è il paradiso che si è perduto.»  — Marcel Proust , À la recherche du temps perdu (1913–1927) «We shall not cease from exploration / And the end of all our exploring / Will be to arrive where we started / And know the place for the first time.»  — T. S. Eliot , Little Gidding , in Four Quartets (1942) «Non si ricordano i giorni, si ricordano gli attimi.»  — Cesare Pavese , Il mestiere di vivere. Diario 1935–1950 (postumo, 1952) «La nostalgia: desiderio di tornare. Non a...
Read more »

Noosemia: «effetto wow» e l’attribuzione di una mente alle intelligenze artificiali generative

-
Immagine
  Questo post è un resoconto dell’autore del paper «Noosemia: toward a Cognitive and Phenomenological Account of Intentionality Attribution in Human-Generative AI Interaction» (Enrico De Santis, Antonello Rizzi) https://arxiv.org/abs/2508.02622   Negli ultimi anni, il panorama dell'intelligenza artificiale ha subito una trasformazione di portata storica e siamo nel pieno di una « rivoluzione cognitiva », la quale porterà ancora nuove «sorprese». L'avvento dei modelli generativi, in particolare dei Large Language Models come ChatGPT, Gemini e Claude, ha inaugurato una stagione di interazioni linguistiche tra uomo e macchina senza precedenti. Questi sistemi, lungi dall'essere semplici automi passivi, hanno raggiunto un livello di multimodalità , fluidità espressiva, sensibilità contestuale e apparente intenzionalità tale da suscitare nell'utente un senso di risonanza cognitiva e di sorpresa profonda . Si prospetta che tale fenomeno non si arresterà facilmente con...
Read more »

La fine della conoscenza come noi la conosciamo

-
Immagine
Immagine generata con uno dei primi modelli di IA generativa StableDiffusion ~ IA, generazione di contenuti e contaminazioni epistemiche ~   Se volessimo parafrasare in maniera un po' frettolosa Ernesto De Martino diremmo che ogni cultura, nel suo divenire storico, ha la propria apocalisse . L'apocalisse dell'ultimo trentennio la conosciamo e coincide la crisi climatica. Oggi, dopo il frangente pandemico, se n'è aggiunta un'altra: l'Intelligenza Artificiale (IA), che poi ad un certo livello di dettaglio scopriamo essere legata a doppio filo alla prima. È dall'inizio del Novecento che il panorama letterario, saggistico e filmico traccia una strada senza uscita; primo tra tutti il film Metropolis del 1927, in cui se il dito non poteva essere puntato sull'IA propriamente detta (termine non ancora coniato), esso indicava la tecnica come imputato principale. Poi si sono susseguiti romanzi e film che hanno iniziato una marcatura stretta sull'IA, man mano c...
Read more »

Gli LLM sono solo dei motori statistici ?

-
Immagine
Oltre il luogo comune: perché i Large Language Models non sono soltanto motori statistici Nella conversazione pubblica contemporanea, e persino in alcuni ambienti specialistici, i Large Language Models (LLM) vengono ridotti all’immagine di macchine che non fanno altro che predire la parola successiva («sono solo motori statistici»). È un’immagine che si fonda su una verità parziale, perché nella sua formulazione più grezza un LLM è addestrato proprio a minimizzare la perdita relativa alla probabilità condizionata: P(xₜ ∣ x₍₍ₜ₋₁₎₎ … , x₁), che andrebbe «osservata» nella sua struttura generale: P(x₁, x₂, … , xₜ) = P(x₁) · P(x₂ ∣ x₁) · P(x₃ ∣ x₁, x₂) · … · P(xₜ ∣ x₁, … , xₜ₋₁), dove t è la dimensione della «finestra di contesto», che oggi può arrivare anche a milioni di token di natura generale (multimodali). Vi è, storicamente, una difficoltà intrinseca a stimare questa probabilità di emissione di un nuovo simbolo-parola dati i simboli-parola precedenti dovuta sia a fattori algoritmici c...
Read more »