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. [...] un enunciato della teoria degli insiemi di Zermelo-Fraenkel, come conseguenza immediata dell’assioma dell’infinito. vera e per il passo induttivo bisognerà mostrare che per ogni k maggiore o uguale a m, se è vera P(k), allora è vera P(k+1).È del ... Leggi Tutto