Sul sito web di Terence Tao, celebre matematico australiano, compare l’indovinello che riportiamo nei prossimi paragrafi in una versione edulcorata. Su un’isola lontana abita una tribù dai costumi particolari. [...] ’ordine, tramite uno schema di assiomi (assiomi di induzione), che assieme ad altri formano la cosiddetta Aritmetica di Peano, e si può anche ottenere come un enunciato della teoria degli insiemi di Zermelo-Fraenkel, come conseguenza immediata dell ... Leggi Tutto