expand_lessAPRI WIDGET

Spigolare – Ciottoli di Psicopatologia Generale Nr. 48

Una teoria può essere falsificata ed estesa a partire da poche affermazioni evidenti e non dimostrabili (postulati) e perciò, a priori, non universali.

Di Roberto Lorenzini

Pubblicato il 21 Nov. 2018

Una teoria fisica non può avere la pretesa di essere una “teoria del tutto” ed ha un preciso campo di esistenza, che la rende applicabile a un certo numero di fenomeni.

CIOTTOLI DI PSICOPATOLOGIA GENERALE – Spigolare (Nr. 48)

 

Il Primo Teorema di incompletezza di Gödel dice che:

In ogni teoria matematica T sufficientemente espressiva da contenere l’aritmetica, esiste una formula tale che, se T è coerente, allora   \varphi né la sua negazione \lnot \varphi sono dimostrabili in T.

Con qualche semplificazione, il primo teorema afferma che:

In ogni formalizzazione coerente della matematica che sia sufficientemente potente da poter assiomatizzare la teoria elementare dei numeri naturali — vale a dire, sufficientemente potente da definire la struttura dei numeri naturali dotati delle operazioni di somma e prodotto — è possibile costruire una proposizione sintatticamente corretta che non può essere né dimostrata né confutata all’interno dello stesso sistema.

Intuitivamente, la dimostrazione del primo teorema ruota attorno alla possibilità di definire una formula logica che nega la propria dimostrabilità. È dunque cruciale che T consenta di codificare formule autoreferenziali, che parlano cioè di se stesse: questa richiesta è garantita dal fatto che T è espressiva almeno quanto l’aritmetica o più in generale che T sia in grado di rappresentare tutte le funzioni ricorsive primitive.

Merito di Gödel fu dunque l’aver esibito tale proposizione e la vera potenza di tale teorema è che vale “per ogni teoria affine”, cioè per qualsiasi teoria formalizzata, forte quanto l’aritmetica elementare.

In particolare Gödel dimostrò che l’aritmetica stessa risulta incompleta: vi sono dunque delle realtà vere ma non dimostrabili.

Questo teorema, che esprime uno dei più discussi limiti della matematica, è uno dei più frequentemente fraintesi. È un teorema proprio della logica formale e, se estrapolato da questo contesto, può prestarsi facilmente a interpretazioni erronee. Ci sono diversi enunciati apparentemente simili al primo teorema di incompletezza di Gödel, ma che non sono in realtà veri.

 

Leggi anche Scopiazzando dalla fisica – Ciottoli di Psicopatologia Generale Nr. 46

RUBRICA CIOTTOLI DI PSICOPATOLOGIA GENERALE

Si parla di:
Categorie
CONSIGLIATO DALLA REDAZIONE
Quantum Mind. La mente quantica al confine tra fisica e psicologia - Recensione
Quantum mind: un libro sulla fisica quantistica e le scoperte nella psicologia moderna

Quantum Mind è un libro che tratta i temi della fisica quantistica e della spiritualità in un'ottica di integrazione tra fisica, matematica e psicologia.

ARTICOLI CORRELATI
cancel