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. [...] propose l’assiomatizzazione dell’aritmetica dei numeri naturali attraverso cinque assiomi, detti assiomi di Peano. Il principio d’induzione corrisponde al quinto di questi assiomi. Senza entrare troppo nel dettaglio, eventualmente per stuzzicare la ... Leggi Tutto