Primo teorema di incompletezza
Ogni sistema formale coerente F sufficientemente potente da esprimere l'aritmetica di base contiene enunciati che sono veri ma non dimostrabili all'interno di F. La dimostrazione avviene per autoreferenza: Gödel costruì un enunciato G che afferma: 'questo enunciato non è dimostrabile in F'. Se F dimostra G, allora F è incoerente. Se F non può dimostrare G, allora G è vero (poiché afferma di non essere dimostrabile) ma non dimostrabile. In entrambi i casi, F è incompleto o incoerente.
Secondo teorema di incompletezza
Nessun sistema formale coerente sufficientemente potente da esprimere l'aritmetica di base può dimostrare la propria coerenza. Non è possibile usare un sistema per stabilire che il sistema stesso non proverà mai una contraddizione. Questo è il risultato più profondo: significa che il programma di Hilbert di dimostrare la coerenza della matematica usando mezzi matematici è impossibile.
Cosa non dimostra Gödel
I teoremi di incompletezza non significano che la matematica sia inattendibile o che 'tutto sia permesso'. Si applicano ai sistemi formali (sistemi assiomatici con regole di dimostrazione meccaniche), non all'intuizione matematica in generale. Non significano che ogni questione matematica sia indecidibile, solo che nessun sistema di assiomi finito decide tutte le questioni. Gödel stesso era un platonista: credeva che le verità matematiche fossero oggettivamente reali e accessibili all'intuizione matematica, anche quando superano la dimostrazione formale.
Venti domande, otto minuti di orologio e un percentile misurato su tutti quelli che l’hanno fatto. Senza registrazione.
Fai il test del QI →Implicazioni oltre la matematica
I teoremi di Gödel sono stati interpretati (spesso sovrainterpretati) come aventi implicazioni per l'intelligenza artificiale, i limiti della conoscenza umana e la natura della coscienza (l'argomentazione di Penrose). L'interpretazione più difendibile: ogni IA sufficientemente potente basata su un sistema formale avrà dei punti ciechi, ovvero verità matematiche che non può dimostrare. Se l'intuizione matematica umana sfugga a questa limitazione è oggetto di acceso dibattito.
Domande frequenti
Cosa dicono i teoremi di incompletezza di Gödel?
Il primo teorema: ogni sistema formale coerente abbastanza potente per l'aritmetica contiene enunciati veri che non può dimostrare. Il secondo teorema: nessun sistema di questo tipo può dimostrare la propria coerenza. Insieme, dimostrano che la matematica non può essere completamente assiomatizzata: ci saranno sempre verità matematiche oltre qualsiasi sistema di dimostrazione prefissato.
I teoremi di Gödel dimostrano che l'IA non potrà mai eguagliare l'intelligenza umana?
Roger Penrose sostiene di sì: se la mente fosse un sistema formale, si applicherebbe Gödel; dato che i matematici possono riconoscere verità oltre la dimostrazione formale, la mente deve essere qualcosa di più. I critici (inclusi molti ricercatori di IA) sostengono che questo sia un uso improprio dei teoremi: Gödel si applica ai sistemi formali fissi, mentre un sistema di apprendimento o uno che modifica i propri assiomi non è la stessa cosa.
I teoremi di Gödel riguardano i limiti della conoscenza umana?
Riguardano specificamente i sistemi assiomatici formali, non la conoscenza umana in generale. Gödel credeva che gli esseri umani possedessero un'intuizione matematica che trascende qualsiasi particolare sistema formale: era un platonista. I teoremi mostrano che nessuna procedura di dimostrazione meccanica cattura l'intera matematica, ma se la comprensione matematica umana superi le procedure meccaniche è una questione filosofica distinta.