Αρίθμηση Γκέντελ: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Διόρθωση ορθογραφίας Ετικέτες: Επεξεργασία από κινητό Επεξεργασία από εφαρμογή κινητού |
μ νέα πληροφορία |
||
Γραμμή 33:
Στη θεωρία υπολογισιμότητας , ο όρος «αρίθμηση Γκέντελ» χρησιμοποιείται με έννοια ευρύτερη από αυτή που περιγράφεται παραπάνω.
Επίσης, ο όρος αρίθμηση Γκέντελ μερικές φορές χρησιμοποιείται όταν οι κατ 'εξουσιοδότηση "αριθμοί" είναι στην πραγματικότητα ακολουθίες αριθμών, το οποίο είναι απαραίτητο σε υπολογιστικά μοντέλα, όπως μηχανές Turing που χειρίζονται ακολουθίες αριθμών αντί για αριθμούς. Ακόμα και έτσι όμως, είναι μια λειτουργία ένα προς ένα. Αυτό πολύ απλά σημαίνει, ότι λαμβάνει μία και μόνη αριθμητική τιμή για μία και μόνη πρόταση μιας τυπικής γλώσσας. Η αντίστροφη διαδικασία, θα μας δώσει ξανά την αρχική πληροφορία.
Βιβλιογραφία
| |||