Discussione:Teoremi di incompletezza di Gödel

message: Godel dimostrò che in ogni sistema formale esiste almeno un teorema indimostrabile partendo dagli assiomi del sistema stesso. Viene però spesso precisato, ritengo a ragione, che l'incompletezza risulta valida solamente all'interno del sistema, in quanto un teorema, indimostrabile al suo interno, è chiaramente (come, tramite intuizione?) vero se analizzato dall'esterno. Questo sembrò quindi chiudere la controversia sul secondo dei Problemi di Hilbert (anche se poi sembra non lo riguardi del tutto, mi pare di capire), che invece ripresero successivamente Turing e Church. Questi ultimi formalizzarono il concetto secondo cui per ogni problema calcolabile esiste un sistema computazionale capace di risolverlo. 
Ecco: da ignorante quale sono, questo mi pare in contraddizione con quello che teorizzava Godel. Sapendo che probabilmente invece non è cosi, sarei felice di vedere chiariti i miei dubbi atroci! XD Grazie mille in anticipo! --Blaekflauer (msg) 23:19, 11 feb 2010 (CET)
thread_title: Domanda circa il significato logico del teorema

message: Esiste una specie di ripetizione all'interno della voce:
"L'esistenza di un enunciato indecidibile all'interno di un sistema formale non è un fatto di per sé stesso particolarmente sorprendente."
e poco sotto
"Il fatto che possano esistere sistemi incompleti non è una scoperta particolarmente sorprendente."nicola (msg) 17:54, 1 lug 2010 (CEST)
thread_title:  ripetizione 

message: noto che, a causa dell'accorpamento, le parti provengono dalla voce unita non erano correttamente formattate in LaTeX e quindi ci sono parti correttamente formattate (es. \lnot \varphi) e parti non formattate e quindi poco comprensibili ("-> P |- r(x)", "-> P|- - r(x)", "P :- G", "-G"). segnalo la discussione anche al progetto Matematica. --valepert 00:29, 8 dic 2010 (CET)
thread_title:  Problemi con l'integrazione 

message: Ho spostato tutto il paragrafo, frutto di ricerche originali (dato che non cita alcuna delle sue fonti, ciò è da desumere) da parte di un utente non registrato (anonimo con IP 78.13.37.155) in questa pagina: Matrix_(trilogia)#Riferimenti_filmici_ad_altri_soggetti_e_culture. Non è affatto adatto per una pagina sulla Matematica un simile commento su una trama di un film di intrattenimento, peraltro un commento basato solo su speculazioni non comprovate, e di questa lunghezza. Molto meglio semmai che sia la pagina sulla trilogia di Matrix a riferire della possibilità di una citazione dei teoremi di Gödel, visto che riguarda la trama del film e non i teoremi di per sé. Questo spostamento uniforma questo articolo alla serietà dell'omologo su Wikipedia in Inglese. --79.11.245.89 (msg) 07:03, 18 nov 2014 (CET)
thread_title:  Riferimenti alla trama della trilogia di The Matrix 

message: In quest'articolo Gianni Riotta cita la voce come incomprensibile. Non saprei da dove cominciare per renderla più chiara. Chi vuol cimentarsi?--ArchEnzo 14:26, 10 gen 2016 (CET)
thread_title: Gianni Riotta vorrebbe capirlo

message: Gentili utenti,
ho appena modificato 1  sulla pagina Teoremi di incompletezza di Gödel. Per cortesia controllate la mia modifica. Se avete qualche domanda o se fosse necessario far sì che il bot ignori i link o l'intera pagina, date un'occhiata a queste FAQ. Ho effettuato le seguenti modifiche:
*Aggiunta del link all'archivio https://web.archive.org/web/20050324025823/http://www-gap.dcs.st-and.ac.uk/~history/Mathematicians/Godel.html per http://www-gap.dcs.st-and.ac.uk/~history/Mathematicians/Godel.html
Fate riferimento alle FAQ per informazioni su come correggere gli errori del bot.
Saluti.—InternetArchiveBot (Segnala un errore) 00:44, 24 giu 2019 (CEST)
thread_title:  Collegamenti esterni modificati 

message: Una procedura automatica ha modificato uno o più collegamenti esterni ritenuti interrotti:
*Aggiunta del link all'archivio https://web.archive.org/web/20180506135515/http://users.ox.ac.uk/~jrlucas/mmg.html per http://users.ox.ac.uk/~jrlucas/mmg.html
In caso di problemi vedere le FAQ.—InternetArchiveBot (Segnala un errore) 15:26, 21 ott 2021 (CEST)
thread_title:  Collegamenti esterni interrotti