Αρίθμηση Γκέντελ: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μ νέα πληροφορία |
μ ορολογία |
||
Γραμμή 1:
Ο όρος "Γκεντελοποίηση" είναι υπαρκτός και ενεργός αλλά θα ήταν προτιμότερη η ορολογία "αρίθμηση κατά Godel" ή "κωδικοποίηση κατά Godel" ώστε να συμφωνεί και με τη διεθνή ορολογία.
Ο μεγάλος μαθηματικός Γκέντελ (Kurt Godel) έμεινε στην ιστορία για τα δύο θεωρήματά του της μη πληρότητας (1931).
Αυτά σε γενικές γραμμές λένε:α) Ότι σε κάθε συνεπές εσωτερικά σύστημα, υπάρχουν μη αποδείξιμες προτάσεις και β) ότι ένα συνεπές εσωτερικά σύστημα, δεν μπορεί να είναι πλήρες και συνεπές την ίδια στιγμή.
| |||