La disgiunzione di Gödel
Abstract Gödel’s disjunction is the philosophical thesis according to which either it is impossible to mechanize the mathematical endeavour or else there exist absolutely unsolvable mathematical problems. After briefly describing the historical and theoretical context of the disjunction, we stress…