Furio Honsell

Furio Honsell è docente di Teoria degli Automi all’Università di Udine. Ha pubblicato oltre un centinaio di articoli scientifici sui fondamenti della matematica, la teoria dei tipi, la semantica dei linguaggi di programmazione, la dimostrazione formale e la certificazione formale del software, il lambda-calcolo, la teoria dei giochi, e la salute pubblica. Svolge inoltre un’intensa attività di promozione dell’alfabetizzazione matematica e della cultura del gioco come strumento di inclusione sociale. Attualmente cura la rubrica "Giochi Furiosi" sul supplemento Enigmistica del Sole 24 Ore. Ha pubblicato alcuni libri di giochi matematici (L’algoritmo del Parcheggio, Mondadori 2007). Ha collaborato con la trasmissione "Che tempo che fa" di Fabio Fazio dal 2003 al 2006. Dal 2011 al 2018 è stato Presidente di GIONA, l’associazione nazionale dei comuni italiani che promuovono il gioco.
10 POSTS

-

0 COMMENTS

La caccia infinita alle cifre di π

π è il simbolo della matematica per antonomasia. È il rapporto tra la lunghezza di una circonferenza e il suo diametro, ovvero la misura dell’area di un cerchio di raggio 1, ovvero la misura della...

Il fascino del pensiero “circolare”

Da Narciso al digitale: un viaggio prezioso, ma pieno di trappole logiche e paradossi, nell’abisso delll'autoreferenzialità.

Che cos’è un numero? (Parte 2)

Negli anni ’70, nel suo libro On Numbers and Games, il matematico John Horton Conway (1937-2020) presentò al mondo una nuova classe di numeri, i surreali, da lui inventati e battezzati così dall’informatico Donald...

Il doppio volto dell’intelligenza

Un grande romanzo russo ha stimolato lo sviluppo della matematica alla base dell'intelligenza artificiale. Quest'ultima, però, è molto diversa da quella umana. I grandi filosofi, e un piccolo quiz, aiutano a capire.

Che cos’è un numero? (Parte 1)

Condividiamo la capacità di contare con scimpanzé, ma anche con piccioni e topi – così almeno vengono interpretati gli esperimenti di zoopsicologia cognitiva descritti da Stanislas Dehaene. Ma che cos’è un numero? E che...

Le leggi della rete

Dalle ragnatele ai social network, dalle foglie ai voli aerei, le reti sono ovunque intorno a noi. E seguono precise leggi matematiche.

I computer sostituiranno i matematici? 

I recenti sviluppi dell’informatica, e in particolare del machine learning, aprono le porte a molte riflessioni sulla natura dell’intelligenza, dell’apprendimento, della conoscenza. Il titolo di un articolo pubblicato recentemente su Quanta Magazine, “Quanto manca...

Quanto pesano le Alpi? (e altre “iper” curiosità)

Da Archimede a Enrico Fermi, piccoli trucchi per districarsi tra i numeri troppo grandi per essere... umani.

In evidenza

Domande e risposte

Categorie più lette

Archivio