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