Il teorema di Gödel
English version Nel 1930 il logico e matematico austriaco Kurt Gödel, una delle menti più profonde del secolo, enunciò i suoi due teoremi d’incompletezza. Il primo teorema afferma che un sistema formale che include l’aritmetica non può essere contemporaneamente coerente, cioè senza contraddizioni, e completo, cioè capace di dimostrare tutte le verità del sistema. Se non vogliamo sacrificare la coerenza, dobbiamo accettare che ci siano proposizioni che non possono essere dimostrate, le cosiddette proposizioni indecidibili.Il paradosso del mentitore ci offre…