L'indecidibilità in matematica e lo Zen
sabato, Maggio 15th, 2021Abbiamo già esposto la nozione di strano anello che Douglas Hofstadter espone in maniera magistrale nel suo best seller Gödel, Escher, Bach: un'eterna ghirlanda brillante.
(altro…)
Scarica gratis migliaia di esercizi svolti di Analisi Matematica, Fisica, Geometria etc.
Abbiamo già esposto la nozione di strano anello che Douglas Hofstadter espone in maniera magistrale nel suo best seller Gödel, Escher, Bach: un'eterna ghirlanda brillante.
(altro…)
Nell’estate del 1930 il matematico ventiquattrenne Kurt Gödel dimostrò uno strano teorema, secondo il quale in ogni sistema formale esistono proposizioni che non possono essere né dimostrate né confutate.
Tali proposizioni indecidibili possono essere dimostrate o confutate, all’interno di un sistema formale che contenga il precedente. Ma questo secondo sistema sarà a sua voltdotato di proposizioni indecidibili.
Per quanto visto in questa dispensa una teoria T può essere – in linea di principio – strutturata come un sistema formale. Ne consegue l’esistenza di proposizioni indecidibili in T. Quindi, comunque prendiamo una successione di teorie {Tn} ci aspettiamo una incompletezza di Tn,
per ogni n appartenente a {1, 2, ...,+oo}. Tale incompletezza si conserva nell’operazione di passaggio al
limite per n->+oo. Ne consegue l’incompletezza di una eventuale "teoria del tutto" T*.
Ironicamente parlando, le affermazioni di alcuni virologi, si prestano ad interpretazioni di tipo gödeliano. Anzi, è addirittura possibile enunciare il terzo teorema di Gödel (il secondo riguarda la coeerenza di un sistema formale):
(altro…)