PEDRO NAVARRO ARTONI

Kurt Gödel, in his famous Gibbs Lecture, will teach one of his most philosophical classes, in which he will present for the first time the argument that became known as “Gödel’s disjunction”. This disjunction that states that “either the human mind infinitely surpasses the power of a machine, or there are absolutely undecidable mathematical propositions”, is the result of Gödel’s analysis of his incompleteness theorems, from the emergence of the Turing machine concept and the Church-Turing thesis. What is special about this disjunction is its inevitably plantonism and/or anti-materialist character. This due to the presence of a purely ideal element in both members of the disjunction, which means that we don't need to know which member is actually the case for us to conclude anti-materialism from it. Our goal is, therefore, to investigate the bases and assumptions that support Gödel's disjunction, so that we can discover the legitimacy of the anti-materialist thesis based on the disjunction.