Dopo Gödel e il suo teorema, i ricercatori si sono accorti che persino l’aritmetica non può dimostrare con puri metodi logici la propria coerenza. Parla il matematico Girardi. «Abbiamo una scienza formalmente rigorosa, ma i suoi fondamenti non sono affatto solidi. E questo per me è un’indicazione della nostra insufficienza».
Le cifre sono deboli (e l’analisi non basta)
Dopo Gödel e il suo teorema, i ricercatori si sono accorti che persino l’aritmetica non può dimostrare con puri metodi logici la propria coerenza. Parla il matematico Girardi. «Abbiamo una scienza formalmente rigorosa, ma i suoi fondamenti non sono affatto solidi. E questo per me è un’indicazione della nostra insufficienza».
