Θεωρήματα μη πληρότητας του Γκέντελ: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Γραμμή 96:
Το θεώρημα μη-πληρότητας έχει στενή συγγένεια με αρκετά αποτελέσματα σχετικά με τα [[υπολογισιμότητα|μη-αποφασίσιμα σύνολα]] στη [[θεωρία αναδρομής]], η οποία αποτελεί κεντρικό πυλώνα της [[επιστήμη υπολογιστών|επιστήμης υπολογιστών]].
Ο [[Στίβεν Κλέινι]] (Stephen Cole Kleene) (1943) παρουσίασε μία απόδειξη του θεωρήματος μη-πληρότητας του Γκέντελ χρησιμοποιώντας βασικά αποτελέσματα της θεωρίας υπολογισμού. Ένα τέτοιο αποτέλεσμα δείχνει ότι το [[πρόβλημα τερματισμού]] δεν έχει λύση: δεν υπάρχει πρόγραμμα υπολογιστή που
== Παραπομπές ==
| |||