In questa conferenza ludica e molto interattiva, cercheremo di spiegare i sistemi formali (assiomi, teoremi, ipotesi, controesempi, geometrie euclidea e non euclidee) applicandoli al semplice gioco del gomoku. In seguito il circolo bolognese di go vi proporrà di testare il gomoku e di scoprire il go, il gioco che ha segnato una svolta decisiva nello sviluppo dell’intelligenza artificiale.