I computer servono per fare matematica, questo è ovvio. No, sappiamo tutti che non è così: li si usa praticamente per tutt’altro. Ma è vero che quella che oggi chiamiamo informatica è nata come costola della matematica, usando strutture matematiche come insiemistica, funzioni, induzione e ricorsività. Paolo Caressa mostra come questi elementi siano stati uniti tra loro, e presenta un minilinguaggio di programmazione, il LAW (Linguaggio di Assegnazioni e While) che con questi due unici costrutti può simulare un qualunque altro linguaggio, e che Caressa usa per dimostrare il teorema della fermata costruendo una funzione che non può essere computata da nessun programma. Caressa termina con un accenno ai linguaggi formali, mostrando come sono utili ma non “abbastanza potenti”. Il personaggio raccontato da Veronica Giuffré è Jean-Baptiste Joseph Fourier, un matematico poco ortodosso che ha creato la teoria del calore in modo non esattamente ortodosso… ma poi la teoria è stata messa a posto. D’altronde Fourier era persino stato nominato prefetto di un dipartimento francese: ve lo sareste aspettati da un matematico? I miei problemi infine tornano sulla spannometria ma stavolta richiedono di valutare probabilità.
Paolo Caressa, Matematica e computer, allegato a Gazzetta dello Sport e Corriere della Sera, €6.99 più il prezzo del giornale.
Ultimo aggiornamento: 2024-11-26 21:50
La matematica è reale? Per un platonista come me sì, ma non è questo il punto. La vera domanda è “la matematica ci permette di capire il mondo?” La risposta parrebbe essere positiva, ma a ben pensarci non è del tutto così. Diciamo che la matematica ci aiuta a comprendere la realtà, e la realtà ci costringe a inventarci nuova matematica per cercare di capirla. La cosa più interessante, che Marco Menale ci racconta in questo volume, è che non solo il pensiero di matematica come studio di modelli del mondo è relativamente recente (no, non parlo di Galileo, è ancora successivo!) ma sta anche cambiando negli ultimi tempi, sia per una concezione filosofica diversa che per la possibilità di avere a disposizione molti più dati.
Che cos’è un agente intelligente? Bella domanda. La definizione che si ha in matematica è un sistema – non necessariamente un essere umano, potrebbe anche essere un software – che può compiere azioni autonome per raggiungere i suoi scopi. Potremmo dire che un software non può compiere azioni autonome, ma qualche filosofo potrebbe anche affermare che nemmeno noi siamo davvero dotati di libero arbitrio, quindi siamo punto e daccapo. La parte più interessante, e quella che Pierluigi Vellucci tratta in questo volume, sono però appunto gli agenti umani. Sembra incredibile, ma si può formalizzare matematicamente concetti come quello di echo chamber, e vedere che sotto assunti assolutamente naturali essi sono il risultato inevitabile delle regole che ci siamo dati.
[Disclaimer: Ho ricevuto il libro grazie al programma Early Reviewer di LibraryThing] Il titolo spiega già tutto: il racconto è una rivisitazione in chiave fantascientifica della favola dei nuovi vestiti dell’imperatore. La storia però non funziona proprio. Non si capisce come mai il protagonista fosse da solo, né per quanto tempo lo sia stato (e questo significa molto nella trama); il ruolo della donna non è chiaro, e l’ultima pagina sembra incongrua. È vero che il racconto è breve, ma non è TROPPO breve, e ci sarebbe stato tutto lo spazio per svilupparlo un po’ di più.