Θεωρήματα μη πληρότητας του Γκέντελ: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μ μτροππ |
→Πρώτο θεώρημα μη-πληρότητας: τροπποιήσεις διατύπωση |
||
Γραμμή 16:
: ''Οποιαδήποτε αποτελεσματικά παραχθείσα θεωρία που είναι ικανή να εκφράσει τη στοιχειώδη αριθμητική δεν μπορεί να είναι και [[συνεπής θεωρία|συνεπής]] και [[Πλήρης θεωρία|πλήρης]]. Συγκεκριμένα, για κάθε [[Απόδειξη συνέπειας|συνεπή]], αποτελεσματικά παραχθείσα τυπική [[θεωρία (μαθηματική λογική)|θεωρία]] που αποδεικνύει συγκεκριμένες αλήθειες βασικής αριθμητικής, υπάρχει μία αριθμητική δήλωση η οποία είναι αληθής,<ref>Η λέξη "αληθής" χρησιμοποιείται [[ντισκουοτενσιονιστικά]] εδώ: η πρόταση Γκέντελ είναι αληθής υπό αυτήν την έννοια επειδή "ισχυρίζεται ότι δεν μπορεί να αποδειχθεί και όντως δεν μπορεί" (Smoryński 1977 p. 825. Δείτε επίσης: Franzén 2005 pp. 28–33).<!-- It is also possible to read "''G''<sub>''T''</sub> is true" in the formal sense that [[primitive recursive arithmetic]] proves the implication Con(''T'')→''G''<sub>''T''</sub>, where Con(''T'') is a canonical sentence asserting the consistency of ''T'' (Smoryński 1977 p. 840, Kikuchi and Tanaka 1994 p. 403) --> </ref> αλλά δεν μπορεί να αποδειχθεί από τη θεωρία (Kleene 1967, p. 250).
Η αληθής δήλωση που δεν μπορεί να αποδειχθεί στην οποία αναφέρεται το θεώρημα συχνά αναφέρεται ως “η πρόταση Γκέντελ”
Για κάθε συνεπή τυπική θεωρία ''Θ'' που
Αν η ''G'' είναι αληθής τότε η ''G'' δεν μπορεί να αποδειχθεί μέσα στη θεωρία, και η θεωρία είναι μη-πλήρης.
|