Il primo teorema di Godel afferma che se un sistema formale, F, è corretto e coerente, allora è incompleto; il secondo, invece, stabilisce che un sistema di questo tipo, che è sufficientemente potente, non può dir di sé stesso d'essere corretto. Un sistema si dice corretto se in esso son dimostrabili solo verità (non si può dimostrare che 2+2=5, uguaglianza chiaramente falsa; tutt'al più la si può refutare!); coerente se non s'incappa in delle contraddizioni; sufficientemente potente se è autoreferenziale; completo se è consistente, cioè se in esso non si ravvisano frasi né dimostrabili né refutabili (in altri termini, indecidibili).

 

 

Dimostrazione del primo teorema

Se si considera la frase autoreferenziale che di sé stessa dice "io non sono dimostrabile all'interno del sistema formale F-corretto", allora, per definizione di sistema corretto, la frase in questione è dimostrabile: è vero che non è dimostrabile, dato che essa afferma proprio di non esserlo; di conseguenza, il suo contrario è falso: se, infatti, fosse vero, allora sarebbe refutabile. Tirando le somme, ci si trova innanzi ad una frase indecidibile: non è  né dimostrabile, né refutabile all'interno del sistema esaminato.

 

Dimostrazione del secondo teorema

Assumendo che F-corretto possa dire di sé stesso d'essere appunto corretto, allora dovrebbe poterlo arguire sfruttando le proposizioni, gli assiomi, le formule in esso definite; tuttavia, dato che contiene al suo interno un assunto indecidibile - quello autoreferenziale -, non può esser sicuro della propria correttezza: occorre che sia un altro sistema a stabilirne l'eventuale correttezza. Ö

 

Esempio

Se s'assume d'essere in un sistema in cui valgono gli assiomi validi sia per i numeri naturali che per quelli razionali, questi non può dire di sé stesso d'esser corretto: la formula sqrt(2d^2)= r, ove "d" è naturale, non ha che soluzioni irrazionali. Il sistema in esame, per come è stato definito, non ha gli strumenti necessari per poter esprimersi in merito ad essa; per cui, ai suoi "occhi", è indecidibile. La conclusione è che ci si trova in un sistema incompleto dove la formula sopra menzionata è autoreferenziale proprio perché indecidibile.

 

 

Commenti   

0 # I teoremi d'incompletezza di Kurt Gödelmanicure 2017-03-27 08:12
Hmm it appears like your site ate my first comment (it was super long) so
I guess I'll just sum it up what I had written and say, I'm thoroughly enjoying your blog.
I as well am an aspiring blog writer but I'm
still new to everything. Do you have any recommendations for rookie blog writers?
I'd really appreciate it.
Rispondi | Rispondi con citazione | Citazione
0 # I teoremi d'incompletezza di Kurt GödelBHW 2017-04-09 09:46
For most recent news you have to pay a quick visit the web and on the web
I found this web page as a best web site for most recent updates.
Rispondi | Rispondi con citazione | Citazione
0 # I teoremi d'incompletezza di Kurt GödelEdith 2017-05-06 00:48
We're a bunch of volunteers and starting a brand new scheme in our community.
Your site offered us with helpful info to work on. You've performed
a formidable activity and our entire neighborhood shall be grateful to you.
Rispondi | Rispondi con citazione | Citazione
0 # I teoremi d'incompletezza di Kurt GödelDannielle 2017-05-08 21:40
I drop a leave a response whenever I like a article on a site or I
have something to add to the conversation. It is a result of the fire displayed in the article I read.
And on this post I teoremi d'incompletezza di Kurt Gödel.
I was actually moved enough to leave a thought :-P I actually do have a couple of
questions for you if it's allright. Is it just me or does it look like some of these responses look like they are coming from brain dead folks?
:-P And, if you are writing at additional places, I would like to
follow everything fresh you have to post. Would you make a list the complete
urls of your community sites like your twitter feed,
Facebook page or linkedin profile?
Rispondi | Rispondi con citazione | Citazione

Aggiungi commento


Codice di sicurezza
Aggiorna