Who wants to be GOAT? Intro

Il problema del GOAT è che si cerca di dare per assodato un teorema facendolo passare per assioma, ma non è così che si ragiona. L’assioma è: Federer è il GOAT, ma questo postulato non può essere vero a prescindere, deve essere il risultato di un teorema o una serie di teoremi che ne dimostrino la sua veridicità. Come funziona una teoria: si prendono una serie di assiomi, ossia delle verità che tutti noi prendiamo per scontate e da qui si arriva a dimostrare tutti i teoremi, ma non si deve mai arrivare alla veridicità di un terorema e alla sua negazione, se succede questo prendo tutto e lo butto nel cestino. E’ successo tante volte che teorie molto luminari arrivassero a questo paradosso, teorie molto più importanti del GOAT del tennis. Ora se noi partiamo dall’assunto (assioma) che il GOAT è il migliore di tutti i tempi e diciamo che non si possono paragonare le varie epoche tennistiche arriviamo in un lampo al paradosso e quindi la teoria va subito in fumo, come si può dire Greatest of All Time e dire che gli All Times non sono tutti uguali? Come si risolve? Cambiando il secondo assunto ossia: tutti i tempi del tennis sono paragonabili. Allora si va avanti. Si ma Federer è più forte di un Laver perchè vissuti in epoche diverse, altro paradosso: 2 tempi equipollenti per assioma sono non paragonabili, si torna indietro…solo se si assume che Laver e Federer sono paragonabili si potrà dire che uno tra Roger e Rod è il GOAT altrimenti non è nessuno dei 2 e di conseguenza non esiste il GOAT. E’ un ragionamento molto contorno, ma è così che funziona la logica che è l’unico strumento che ci potrà permettere di arrivare ad un risultato condiviso e unanime, altrimenti potremmo fare dei discorsi circolari che non portano mai a niente.