1. La scoperta di Gödel e il limite dei sistemi formali
Gödel, nel 1931, sconvolse la matematica con il suo teorema di incompletezza: **nessun sistema formale sufficientemente potente può dimostrare la verità di tutte le sue affermazioni**. Questo limite non è un difetto tecnico, ma una caratteristica profonda della conoscenza stessa. I sistemi logici, pur eleganti, **hanno un “microstato” fondamentale: non possono catturare ogni verità senza uscire dal loro schema**. Questo concetto risuona oggi più che mai, soprattutto in informatica, dove ogni algoritmo ha i suoi confini invalicabili.