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. [...] quella da lui pubblicata il 1889 nell’opera Arithmetices Principia, nova methodo exposita, in cui propose l’assiomatizzazione dell’aritmetica dei numeri naturali attraverso cinque assiomi, detti assiomi di Peano. Il principio d’induzione corrisponde ... Leggi Tutto