I Teoremi di Incompletezza di Kurt Gödel: Quando la matematica ha scoperto i propri limiti.
All'inizio del XX secolo, il matematico David Hilbert lanciò una sfida epocale: dimostrare che la matematica era un sistema perfetto, completo e coerente. Voleva creare una "macchina" logica in cui ogni verità potesse essere dimostrata partendo da pochi assiomi fondamentali.
"Wir müssen wissen. Wir werden wissen."
(Dobbiamo sapere. Sapremo.)
L'ideale di una matematica meccanica e infallibile.
Nel 1931, Kurt Gödel fece qualcosa di inaspettato. Invece di usare solo la logica, usò i numeri per "parlare" della logica stessa.
Assegnando un numero a ogni simbolo e a ogni formula, Gödel dimostrò che la matematica poteva riflettere su se stessa, proprio come uno specchio.
In ogni sistema logico abbastanza potente, esistono affermazioni che sono vere ma che non possono essere dimostrate all'interno del sistema.
Nessun sistema logico coerente può dimostrare la propria coerenza usando i propri strumenti.
"Questa frase non può essere dimostrata."
Immagina di voler portare in uno zaino tutto ciò che serve per sopravvivere. Non importa quanto sia grande lo zaino, ci sarà sempre qualcosa di essenziale (come lo zaino stesso!) che non può essere messo *dentro* di esso perché serve a contenerlo.