Θεωρία υπολογισιμότητας

Η θεωρία υπολογισιμότητας ή θεωρία αναδρομής, είναι ένας κλάδος της μαθηματικής λογικής, της πληροφορικής και της θεωρίας υπολογισμού που προήλθε από την έρευνα των υπολογίσιμων συναρτήσεων και του βαθμού μη επιλυσιμότητας Τούρινγκ στα μέσα της δεκαετίας του 1930.

Τα βασικά ερωτήματα που απευθύνονται από την Θεωρία Αναδρομής είναι

«Τι σημαίνει για μια συνάρτηση, ορισμένη στους φυσικούς αριθμούς, ότι είναι υπολογίσιμη;»

και

«Πώς μπορούν μη-υπολογίσιμες συναρτήσεις να κατηγοριοποιηθούν ιεραρχικά ανάλογα με το βαθμό μη-υπολογισιμότητας τους;».

Οι απαντήσεις σε αυτές τις ερωτήσεις οδήγησαν στην διαμόρφωση μίας πλούσιας θεωρίας η οποία απασχολεί ακόμη και σήμερα τους επιστήμονες. Το πεδίο των ερευνών αυτών έχει διευρυνθεί από τότε και πλέον περιέχει την έρευνα της γενικευμένης υπολογισιμότητας και προσδιορισιμότητας.

Είναι αξιοσημείωτο ότι η καθολική μηχανή Τούρινγκ, το κεντρικό αντικείμενο της θεωρίας υπολογισιμότητας, προηγείται και προκαθορίζει την εφεύρεση των σύγχρονων υπολογιστών. Ιστορικά, η έρευνα των αλγοριθμικά αποφασίσιμων συνόλων και υπολογίσιμων συναρτήσεων προέκυψε από διάφορα μαθηματικά προβλήματα που κατέληγαν να είναι μη-αποφασίσιμα. Υπάρχουν πολλές εφαρμογές αυτής της θεωρίας σε άλλους κλάδους των μαθηματικών που δεν επικεντρώνονται απαραίτητα στην αναποφασισιμότητα.

Στις πρώτες εφαρμογές της περιλαμβάνονταν το θεώρημα ενσωμάτωσης του Higman (Higman's embedding theorem), το οποίο συνδέει την Αναδρομική Θεωρία με την Θεωρία των Ομάδων που ήταν αποτέλεσμα των Michael O. Rabin και Anatoly Maltsev στην αλγοριθμική παρουσίαση της άλγεβρας αλλά και την αρνητική λύση του Hilbert's Tenth Problem. Οι πιο νέες εφαρμογές περιλαμβάνουν την αλγοριθμική τυχαιότητα που αποτελεί έρευνα του Theodore Allen Slaman, ο οποίος εφάρμοσε αναδρομικές-θεωρητικές μεθόδους για να επιλύσει προβλήματα Αλγεβρικής Γεωμετρίας και η νεότερη του δουλειά εστιάζεται στους κανονικούς αριθμούς για να λύσει προβλήματα της Αναλυτικής Θεωρίας Αριθμών.

Η Θεωρία της Αναδρομής συνδυάζεται με την Θεωρία των Αποδείξεων,με την Αποτελεσματική Περιγραφική Θεωρία Συνόλων, την Θεωρία Μοντέλων και την Αφηρημένη Άλγεβρα. Μάλιστα, Θα μπορούσαμε να χαρακτηρίσουμε ότι η Θεωρία της Πολυπλοκότητας είναι γέννημα της Αναδρομικής Θεωρίας καθώς και οι δύο μοιράζονται ίδιο τεχνικό εργαλείο ,δηλαδή τη μηχανή Turing Οι θεωρητικοί της Αναδρομής στη μαθηματική λογική συχνά μελετούν τη θεωρία της σχετικής υπολογιστικότητας. Αυτό έρχεται σε αντίθεση με τη θεωρία της αναδρομικής ιεραρχίας, επίσημων μεθόδων και επίσημων γλωσσών, το οποίο είναι σύνηθες στην μελέτη της υπολογιστικής θεωρίας και της Πληροφορικής. Υπάρχει ένα αξιοσημείωτο κενό στις γνώσεις και στις μεθόδους μεταξύ των δύο ερευνητικών κοινοτήτων, ωστόσο δεν μπορούν να διαχωριστούν εντελώς. Για παράδειγμα η παραμετρική πολυπλοκότητα, εφευρέθηκε από τον θεωρητικό της πολυπλοκότητας, Michael Fellows και τον θεωρητικό της αναδρομής Rod Downey.

Υπολογίσιμα και μη υπολογίσιμα σύνολα Επεξεργασία

Η έρευνα στην θεωρία αναδρομής ξεκίνησε τη δεκαετία του 1930, με τα έργα των Κουρτ Γκέντελ, Αλόνζο Τσερτς, Άλαν Τούρινγκ, Στίβεν Κλέινι και Emil Post.

Τα θεμελιώδη αποτελέσματα που αποκόμισαν οι ερευνητές εγκαθίδρυσαν την υπολογισιμότητα Τούρινγκ ως τη σωστή επισημοποίηση της άτυπης ιδέα του αποτελεσματικού υπολογισμού. Αυτά τα αποτελέσματα οδήγησαν τον Στίβεν Κλέινι (1952) να δώσει τις ονομασίες «θέση Τσερτς»[1]:300 και «θέση Τούρινγκ».[1]:376 Σήμερα αυτά συχνά θεωρούνται ως μια ενιαία υπόθεση η θέση Τσερτς–Τούρινγκ η οποία ορίζει ότι κάθε συνάρτηση που είναι υπολογίσιμη από κάποιον αλγόριθμο είναι μια υπολογίσιμη συνάρτηση. Αν και αρχικά σκεπτικός, από το 1946 ο Γκέντελ τάχθηκε υπέρ αυτής της διατριβής:

Ο Τάρσκι τόνισε στην ομιλία του (και νομίζω δικαίως) τη μεγάλη σημασία της έννοιας της γενικής αναδρομής (ή του υπολογιστικού περιβάλλοντος του Τούρινγκ). Μου φαίνεται ότι η σημασία αυτή σε μεγάλο βαθμό οφείλεται στο γεγονός ότι με αυτήν την έννοια για πρώτη φορά κατόρθωσε κάποιος να δώσει μια απόλυτη έννοια σε μια ενδιαφέρουσα επιστημολογική αντίληψη, δηλαδή χωρίς να εξαρτάται από τον φορμαλισμό που επιλέγεται.

— Γκέντελ 1946[2]:84[3]

Με τον ορισμό του αποτελεσματικού υπολογισμού ήρθαν οι πρώτες αποδείξεις ότι υπάρχουν προβλήματα στα μαθηματικά που δεν μπορούν να αποφασιστούν αποτελεσματικά. Το 1936, ο Τσερτς[4][5] και ο Τούρινγκ,[6] εμπνευσμένοι από τεχνικές που χρησιμοποιούνται από τον Γκέντελ[7] για να αποδείξουν τα θεωρήματα μη πληρότητας, ανεξάρτητα κατέδειξαν ότι το Entscheidungsproblem δεν λύνεται αποτελεσματικά. Το αποτέλεσμα έδειξε ότι δεν υπάρχει αλγοριθμική διαδικασία που μπορεί σωστά να αποφασίσει αν κάποια αυθαίρετη μαθηματική πρόταση είναι αληθής ή ψευδής.

Πολλά προβλήματα των μαθηματικών ακολούθησαν στο να αποδειχθούν ότι είναι άλυτα. Το 1947, ο Μάρκοφ και ο Ποστ δημοσίευσαν ανεξάρτητες μελέτες που δείχνουν ότι η πρόβλημα λέξης για ημιομάδες δεν μπορεί να λυθεί αποτελεσματικά. Επεκτείνοντας αυτό το αποτέλεσμα, ο Pyotr Novikov και ο William Boone έδειξαν ανεξάρτητα στη δεκαετία του 1950 ότι η πρόβλημα λέξης για ομάδες δεν είναι αποτελεσματικά επιλύσιμο: δεν υπάρχει αποτελεσματική διαδικασία η οποία, δοσμένης μιας λέξης σε μια πεπερασμένη ομάδα, θα αποφασίσει εάν το στοιχείο που αναπαριστάται από τη λέξη είναι το ουδέτερο στοιχείο της ομάδας. Το 1970, ο Yuri Matiyasevich απέδειξε (χρησιμοποιώντας τα αποτελέσματα της Τζούλια Ρόμπινσον) το θεώρημα Matiyasevich, πράγμα που σημαίνει ότι το δέκατο πρόβλημα του Χίλμπερτ δεν έχει καμία αποτελεσματική λύση. Το πρόβλημα αυτό ρωτούσε αν υπάρχει μια αποτελεσματική διαδικασία για να αποφασιστεί εάν μια διοφαντική εξίσωση έχει κάποια λύση στους ακεραίους. Υπάρχουν και άλλα πολλά προβλήματα χωρίς υπολογίσιμη λύση.

Η μελέτη για το ποιες μαθηματικές κατασκευές μπορούν να πραγματοποιηθούν αποτελεσματικά μερικές φορές ονομάζεται αναδρομικά μαθηματικά. Το Εγχειρίδιο των Αναδρομικών Μαθηματικών[8] καλύπτει πολλά από τα γνωστά αποτελέσματα σε αυτόν τον τομέα.

Πεδία έρευνας Επεξεργασία

Κυρίως με την θεωρία των αναδρομικών συνόλων και συναρτήσεων ο χώρος έρευνας της θεωρίας της αναδρομής έχει επεκταθεί σε πολλές σχετικές θεωρίες:

Σχετική υπολογισιμότητα και βαθμός Τούρινγκ Επεξεργασία

Η θεωρία της αναδρομής στη μαθηματική λογική παραδοσιακά εστιαζόταν στη σχετική υπολογισιμότητα, μια γενίκευση της υπολογισιμότητας Τούρινγκ, που καθορίζεται χρησιμοποιώντας μια μηχανή Τούρινγκ που παρουσιάστηκε από τον Τούρινγκ.[9] Μια oracle μηχανή Τούρινγκ, είναι μία υποθετική συσκευή, η οποία εκτός από τις παραδοσιακές ενέργειες μιας μηχανής Turing, μπορεί να κάνει ερωτήσεις για ένα συγκεκριμένο σύνολο ακέραιων αριθμών. Η μηχανή αυτή μπορεί να κάνει ερωτήσεις της μορφής «Είναι το   στο σύνολο oracle;» Κάθε ερώτηση θα απαντάται άμεσα σωστά ακόμη και αν το σύνολο δεν είναι υπολογίσιμο.

Ανεπίσημα, ένα σύνολο φυσικών αριθμών   είναι Turing reducible σε ένα σύνολο   αν υπάρχει μια oracle μηχανή Τούρινγκ που σωστά εάν οι αριθμοί είναι στο Α όταν εκτελούνται με το Β, όπως στο σύνολο oracle (σε αυτή την περίπτωση, το σύνολο Α επίσης λέγεται ότι είναι (σχετικά) υπολογίσιμο από το Β και το Β μπορεί να αναχθεί στο Α τότε το σύνολο λέγεται ότι έχουν τον ίδιο βαθμό Turing (ονομάζεται επίσης βαθμός unsolvability). Ο βαθμός Turing ενός συνόλου δίνει ένα ακριβές μέτρο του πόσο μη-υπολογίσιμο είναι το σύνολο.

Τα φυσικά παραδείγματα των συνόλων που δεν είναι υπολογίσιμα, συμπεριλαμβανομένων πολλών διαφορετικών συνόλων που κωδικοποιούν παραλλαγές του προβλήματος τερματισμού, έχουν δύο κοινές ιδιότητες:

  1. Είναι αναδρομικά αριθμήσιμα, και
  2. Κάθε ένα μπορεί να μεταφραστεί σε οποιοδήποτε άλλο μέσω πολλών-μίας μείωσης. Δηλαδή, δεδομένων τέτοιων συνόλων Α και Β, υπάρχει μία συνολική λειτουργία τέτοια ώστε Α={x:f(x)∈B} Αυτά τα σύνολα λέγεται ότι είναι πολλές-ένα ισοδύναμο (ή m-ισοδύναμο).

Οι πολλές-μια μειώσεις είναι «ισχυρότερες» από τις μειώσεις Turing: εάν ένα σύνολο Α είναι αναγώγιμο σε ένα σύνολο Β, τότε το Α μπορεί να αναχθεί σε B, αλλά το αντίστροφο δεν είναι πάντα εφικτό. Παρά το γεγονός ότι τα φυσικά παραδείγματα μη-υπολογίσιμων συνόλων είναι όλα πολλά-ένα ισοδύναμα, είναι δυνατόν να κατασκευαστούν αναδρομικά αριθμήσιμα σύνολα Α και Β, έτσι ώστε το Α να ανάγεται στο Β, αλλά όχι πολλά-ένα αναγώγιμο στο Β. Μπορεί να δειχθεί ότι κάθε αναδρομικά αριθμήσιμα σύνολο είναι πολλά-ένα αναγώγιμο στο πρόβλημα τερματισμού, και έτσι το πρόβλημα τερματισμού είναι το πιο περίπλοκο αναδρομικά αριθμήσιμα σύνολο σε σχέση με πολλές-ένα αναγωγές και με αναφορά προς την αναγωγή Turing. Ο Post (1944) ρώτησε αν κάθε αναδρομικά αριθμήσιμα σύνολο είναι είτε υπολογίσιμο ή Turing ισοδύναμο με το πρόβλημα τερματισμού, δηλαδή, αν δεν υπάρχει αναδρομικά αριθμήσιμα σύνολο με ένα βαθμό Turing ενδιάμεσο μεταξύ των δύο.

Ως ενδιάμεσα αποτελέσματα, ο Post όρισε ακέραιους τύπους αναδρομικά αριθμήσιμων συνόλων όπως τα απλά, υπεραπλά και υπέρ-υπεραπλά σύνολα. Ο Post έδειξε ότι αυτά τα σύνολα είναι αυστηρά μεταξύ των υπολογίσιμων συνόλων και του προβλήματος τερματισμού σε σχέση με την πολλές-μια αναγωγιμότητα. Ο Post έδειξε επίσης ότι ορισμένοι από αυτούς είναι απολύτως ενδιάμεσο προϊόν υπό άλλες έννοιες αναγωγιμότητας ισχυρότερες από ότι η αναγωγιμότητα του Turing. Αλλά ο Post άφησε ανοιχτό το κύριο πρόβλημα της ύπαρξης των αναδρομικά αριθμήσιμων συνόλων με ενδιάμεσο βαθμό Turing,το πρόβλημα αυτό έγινε γνωστό ως το πρόβλημα του Post. Μετά από δέκα χρόνια, ο Kleene και ο Post το 1954 έδειξαν ότι υπάρχουν ενδιάμεσοι βαθμοί Turing μεταξύ αυτών τα υπολογίσιμα σύνολα και το πρόβλημα τερματισμού, αλλά απέτυχαν να δείξουν ότι κάποια από αυτές τις μοίρες περιλαμβάνει κάποιο αναδρομικά αριθμήσιμα σύνολο. Πολύ σύντομα μετά από αυτό, ο Friedberg και ο Muchnik ανεξάρτητα έλυσαν το πρόβλημα του Post κατά τη διαπίστωση της ύπαρξης αναδρομικά αριθμήσιμων συνόλων με ενδιάμεσο βαθμό. Αυτή το πρωτοποριακό αποτέλεσμα άνοιξε μια ευρεία μελέτη των βαθμών Turing των αναδρομικά αριθμήσιμων συνόλων που αποδείχθηκε ότι έχουν μια πολύ περίπλοκη και μη τετριμμένη δομή.

Υπάρχουν αμέτρητα πολλά σύνολα που δεν είναι αναδρομικά αριθμήσιμα, καθώς και η διερεύνηση των Turing βαθμών όλων των συνόλων είναι τόσο κεντρική στη θεωρία αναδρομής και τη διερεύνηση των αναδρομικά αριθμήσιμων βαθμών Turing. Πολλοί βαθμοί με ειδικές ιδιότητες κατασκευάστηκαν ως υπεράνοσοι χωρίς βαθμούς όπου κάθε λειτουργία υπολογίσιμη σε σχέση με αυτό το βαθμό είναι μεγενθυμένη από μια υπολογίσιμη συνάρτηση. Υψηλούς βαθμούς σε σχέση με τους οποίους μπορεί κανείς να υπολογίσει μια συνάρτηση f η οποία κυριαρχεί σε κάθε υπολογίσιμη συνάρτηση g, με την έννοια ότι υπάρχει μια σταθερά c, ανάλογη με τη g τέτοια ώστε g(x) < f(x) for all x > c, τυχαίοι βαθμοί που περιέχουν αλγοριθμικά τυχαία σύνολα. 1-γενικοί βαθμοί ενός 1-γενικού συνόλου.

Η μελέτη των αυθαίρετων (όχι κατ' ανάγκη αναδρομικά αριθμήσιμων) βαθμών Turing περιλαμβάνει τη μελέτη του άλματος Turing. Λαμβάνοντας υπόψη ένα σύνολο A, το Turing άλμα του Α είναι ένα σύνολο των φυσικών αριθμών που κωδικοποιεί μια λύση για το πρόβλημα τερματισμού για τις μηχανές Turing που τρέχουν με χρησμό Α. Το Turing άλμα του κάθε σετ είναι πάντα με υψηλότερο βαθμό Turing από το αρχικό σύνολο, και ένα θεώρημα του Friedburg δείχνει ότι κάθε σύνολο που υπολογίζει το πρόβλημα τερματισμού μπορεί να ληφθεί ως Turing άλμα του ενός άλλου συνόλου. Το θεώρημα του Post, καθιερώνει μια στενή σχέση μεταξύ της λειτουργίας του άλματος Turing και της αριθμητικής ιεραρχίας, η οποία είναι μια κατάταξη ορισμένων υποσυνόλων των φυσικών αριθμών με βάση το πόσο μπορούν να οριστικοποιηθούν στην αριθμητική.

Μεγάλο μέρος της πρόσφατης έρευνας για τους βαθμούς Turing έχει επικεντρωθεί στη συνολική δομή του συνόλου των βαθμών Turing και το σύνολο των βαθμών που περιέχουν αναδρομικά αριθμήσιμα σύνολα.Ένα βαθύ θεώρημα του Shore και Slaman (1999) αναφέρει ότι η χαρτογράφηση της συνάρτησης βαθμού x με το βαθμό του άλματος Turing της,είναι προσδιορίσιμο με τη μερική σειρά των βαθμών Turing. Μια πρόσφατη έρευνα από τους Ambos-Spies και Fejer (2006) παρέχει μια επισκόπηση της έρευνας και της ιστορικής εξέλιξης της.

Άλλες Αναγωγισιμότητες Επεξεργασία

Κύρια άρθρα: Μείωση (θεωρία αναδρομής)

Η εν εξελίξει τομέα της έρευνας στη θεωρία αναδρομής μελετά τις σχέσεις αναγωγισιμότητας πλην της αναγωγισιμότητας του Turing . Ο Post (1944) εισήγαγε αρκετές ισχυρές αναγωγισιμότητες, που ονομάστηκαν έτσι επειδή υπαινίσσονται τραπέζι αληθινής αναγωγισιμότητας. Μια μηχανή Turing για την εφαρμογή μιας ισχυρής αναγωγισιμότητας θα υπολογίσει μια συνολική συνάρτηση ανεξάρτητα από το με ποιο oracle παρουσιάζεται. Ασθενείς αναγωγές είναι εκείνες όπου η διαδικασία μείωσης δεν μπορεί να τερματιστεί για όλα τα σύνολα αριθμών. Η αναγωγή του Turing είναι ένα παράδειγμα.

Όπως τις:

Μία προς μία αναγωγισιμότητα
Το Α είναι το ένα προς ένα αναγώγιμο (ή 1-αναγώγιμο) στο Β αν υπάρχει μια συνολική υπολογίσιμη αμφιμονοσήμαντη συνάρτηση τέτοια ώστε κάθε n είναι στην Α αν και μόνο αν το f(n) είναι στο Β.
Πολλές προς μία αναγωγισιμότητα
Αυτό είναι ουσιαστικά η αναγωγή ένα προς ένα χωρίς τον περιορισμό ότι το f είναι αμφιμονοσήμαντο. Το Α είναι πολλοί προς ένα αναγώγιμο (ή m-αναγώγιμη) στο Β, αν υπάρχει μια συνολικά υπολογίσιμη συνάρτηση, έτσι ώστε κάθε n ανήκει στο A αν και μόνο αν το f(n) είναι στο Β.
Αναγωγισιμότητα του Πίνακα Αληθείας
Το Α είναι αληθινά αναγώγιμο σε πίνακα Β,αν το Α είναι αναγώγιμο κατά Turing στο Β μέσω της μηχανής Turing που υπολογίζει μια συνολική συνάρτηση. Λόγω του συμπαγούς του Cantor χώρου, αυτό είναι ισοδύναμο με το να πούμε ότι η μείωση παρουσιάζει έναν ενιαίο κατάλογο ερωτήσεων (εξαρτώμενο μόνο από την είσοδο) στο oracle ταυτόχρονα, και στη συνέχεια, έχοντας δει τις απαντήσεις τους είναι σε θέση να παράγει ένα αποτέλεσμα χωρίς να ζητήσει πρόσθετες ερωτήσεις,ανεξάρτητα με την απάντησης του oracle των αρχικών ερωτημάτων. Πολλές παραλλαγές του πίνακα αληθινής αναγωγής έχουν επίσης μελετηθεί.

Περαιτέρω αναγωγές(θετική,διαζευκτική,συνδετική,γραμμική και οι αδύναμες και δυνατές μορφές τους) συζητούνται στο άρθρο Μείωση (θεωρία αναδρομής).

Η μεγάλη έρευνα για ισχυρές αναγωγές έγινε για να συγκρίνουν τις θεωρίες τους, τόσο για την κλάση όλων των αναδρομικά αριθμήσιμων συνόλων, καθώς και για την τάξη όλων των υποσυνόλων των φυσικών αριθμών. Επιπλέον, οι σχέσεις μεταξύ των αναγωγών έχει μελετηθεί. Για παράδειγμα, είναι γνωστό ότι κάθε βαθμός Turing είναι είτε ένας βαθμός από αληθινό πίνακα ή είναι η ένωση των απείρων πολλών βαθμών από αληθινούς πίνακες.

Οι αναγωγές που είναι ασθενέστερες από ότι η αναγωγή του Turing (δηλαδή, αναγωγές που υπονοούνται από την αναγωγή του Turing) έχουν επίσης μελετηθεί.Οι πιο γνωστές είναι αριθμητικές αναγωγές και υπεραριθμητική αναγωγή.Αυτές οι αναγωγές συνδέονται στενά με την οριστικοποίηση πάνω από το καθιερωμένο μοντέλο της αριθμητικής.

Το Θεώρημα του Rice και η Αριθμητική Ιεραρχία Επεξεργασία

Ο Ράις έδειξε ότι για κάθε μη τετριμμένη κατηγορία C (η οποία περιέχει ορισμένα αλλά όχι όλα τα σύνολα) στο ενδεικτικό σύνολο E = {e: το e στο We είναι στο C} έχει την ιδιότητα ότι είτε το πρόβλημα τερματισμού ή το συμπλήρωμά της είναι πολλές -ένα αναγώγιμο στο E, δηλαδή, μπορεί να χαρτογραφηθούν με τη χρήση πολλών-μίας αναγωγής έως Ε (βλ. θεώρημα του Rice για περισσότερες λεπτομέρειες). Όμως, πολλά από αυτά τα ενδεικτικά σύνολα είναι ακόμη πιο περίπλοκα από ότι το πρόβλημα τερματισμού. Τα εν λόγω είδη συνόλων μπορούν να ταξινομηθούν χρησιμοποιώντας την αριθμητική ιεραρχία. Για παράδειγμα,το ενδεικτικό σύνολο FIN της τάξης όλων των πεπερασμένων συνόλων είναι στο επίπεδο Σ2, το ενδεικτικό σύνολο REC της τάξης όλων των αναδρομικών συνόλων είναι στο επίπεδο Σ3, το ενδεικτικό σύνολο COFIN όλων των ομοτελικών συνόλων είναι επίσης στο επιπέδου Σ3 και το ενδεικτικό σύνολο COMP της κατηγορίας όλων των ολοκληρωμένων συνόλων Turing στο Σ4. Αυτά τα επίπεδα ιεραρχίας ορίζονται επαγωγικά, Σn+1 και περιέχονται ακριβώς όλα τα σύνολα που είναι αναδρομικά αριθμήσιμα σε σχέση με το Σn. Το Σ1 περιέχει τα αναδρομικά αριθμήσιμα σύνολα.Τα ενδεικτικά σύνολα που δίνονται εδώ είναι πλήρεις ακόμη και για τα επίπεδά τους,δηλαδή όλα τα σύνολα σε αυτά τα επίπεδα μπορεί να είναι πολλά προς ένα αναγώγιμα στα ενδεικτικά δοσμένα σύνολα.

Αντίστροφα μαθηματικά Επεξεργασία

Το πρόγραμμα των αντιστρόφων Μαθηματικών ρωτά ποια αξιώματα υπαρκτά από τα σύνολα είναι αναγκαία για να αποδειχθεί συγκεκριμένα θεωρήματα των μαθηματικών σε υποσυστήματα της αριθμητικής της δεύτερης τάξης. Η μελέτη αυτή ξεκίνησε από τον Harvey Friedman και μελετήθηκε λεπτομερώς από τον Stephen Simpson και άλλους. Ο Simpson (1999) δίνει μια λεπτομερή συζήτηση για το πρόγραμμα. Τα αξιώματα της ύπαρξης των συνόλων υπό ερώτηση αντιστοιχούν ανεπίσημα σε αξιώματα που λένε ότι το δυναμοσύνολο των ακέραιων αριθμών είναι κλειστό υπό διάφορες έννοιες αναγωγής. Το πιο αδύναμο τέτοιο αξίωμα που έχει μελετηθεί σε αντίστροφα μαθηματικά είναι η αναδρομική κατανόηση, η οποία αναφέρει ότι το δυναμοσύνολο των ακεραίων είναι κλειστό υπό την αναγωγή Turing.

Αρίθμηση Επεξεργασία

Η αρίθμηση είναι μια απαρίθμηση των συναρτήσεων. Έχει δύο παραμέτρους, e και χ και εξάγει την τιμή της συνάρτησης e στην αρίθμηση για την είσοδο x. Οι αριθμήσεις μπορεί να είναι μερικά-αναγώγιμες αν και ορισμένα από τα μέλη τους είναι συνολικά αναγώγιμα, δηλαδή, υπολογίσιμες συναρτήσεις. Παραδεκτές αριθμήσεις είναι εκείνες στις οποίες όλες οι άλλες μπορούν να μεταφραστούν. Μια αρίθμηση Friedberg (που ονομάζεται από αυτόν που την ανακάλυψε) είναι η ένα προς ένα αρίθμηση όλων των επιμέρους-αναδρομικών συναρτήσεων, είναι κατ' ανάγκην μια μη παραδεκτή αρίθμηση. Μεταγενέστερη έρευνα ασχολήθηκε επίσης με αριθμήσεις από άλλες κατηγορίες όπως τις τάξεις των αναδρομικά αριθμήσιμων συνόλων. Ο Goncharov ανακάλυψε για παράδειγμα μια κατηγορία αναδρομικά αριθμήσιμων συνόλων για τα οποία οι αριθμήσεις εμπίπτουν σε δύο κατηγορίες ακριβώς σε σχέση με τους αναδρομικούς ισομορφισμούς.

Η μέθοδος της Προτεραιότητας Επεξεργασία

Το πρόβλημα του Post λύθηκε με μια μέθοδο που ονομάζεται η μέθοδος κατά προτεραιότητας,μια απόδειξη χρήση αυτής της μεθόδου ονομάζεται επιχείρημα προτεραιότητας. Αυτή η μέθοδος χρησιμοποιείται κυρίως για την κατασκευή αναδρομικά αριθμήσιμων συνόλων με συγκεκριμένες ιδιότητες. Για να χρησιμοποιηθεί αυτή η μέθοδος, οι επιθυμητές ιδιότητες του συνόλου που πρόκειται να κατασκευαστεί χωρίστηκαν σε έναν άπειρο κατάλογο των στόχων, που είναι γνωστός ως απαιτήσεις, έτσι ώστε ικανοποιώντας όλες τις απαιτήσεις θα κάνει το κατσκευασμένο σύνολο να έχει τις επιθυμητές ιδιότητες. Κάθε απαίτηση έχει εκχωρηθεί σε ένα φυσικό αριθμό που αντιπροσωπεύει την προτεραιότητα της απαίτησης, έτσι το 0 αποδίδεται στην πιο σημαντική προτεραιότητα, το 1 στη δεύτερη πιο σημαντική, και ούτω καθεξής. Το σύνολο στη συνέχεια κατασκευάζεται σε στάδια, σε κάθε στάδιο προσπαθεί να ικανοποιήσει μία ή περισσότερες από τις απαιτήσεις, είτε με την προσθήκη αριθμών στο σύνολο ή με την απαγόρευση των αριθμών από το σύνολο, έτσι ώστε το τελικό σύνολο να ικανοποιεί την απαίτηση. Μπορεί να συμβεί να ικανοποιείται μία απαίτηση και αυτό να προκαλεί τη μη ικανοποίηση μιας άλλης,η σειρά προτεραιότητας χρησιμοποιείται για να αποφασιστεί τι πρέπει να γίνει σε μια τέτοια περίπτωση. Τα επιχειρήματα Προτεραιότητας έχουν χρησιμοποιηθεί για να λύσουν πολλά προβλήματα στη θεωρία αναδρομής, και έχουν ταξινομηθεί σε μια ιεραρχία με βάση την πολυπλοκότητά τους (Soare 1987). Επειδή τα περίπλοκα επιχειρήματα προτεραιότητας μπορεί να είναι τεχνικά και δύσκολα να ακολουθηθούν, παραδοσιακά θεωρείται σκόπιμο να αποδειχτούν τα αποτελέσματα χωρίς επιχειρήματα προτεραιότητας, ή να διαπιστώσουμε αν τα αποτελέσματα που αποδείχθηκαν με επιχειρήματα προτεραιότητας μπορούν επίσης να αποδειχθούν χωρίς αυτά. Για παράδειγμα, ο Kummer δημοσίευσε ένα έγγραφο σε μια απόδειξη για την ύπαρξη της αρίθμηση του Friedberg χωρίς τη χρήση της μεθόδου προτεραιότητας.

Το δικτυωτό των Αναδρομικά Αριθμήσιμων Συνόλων Επεξεργασία

Όταν ο Post όρισε την έννοια ενός απλού συνόλου, ως ενός εκ νέου συνόλου με ένα άπειρο συμπλήρωμα που δεν περιέχει κανένα άπειρο σύνολο re, άρχισε τη μελέτη της δομής των αναδρομικά αριθμήσιμων συνόλων υπό ένταξη. Αυτό το πλέγμα έγινε μια καλά μελετημένη δομή. Αναδρομικά σύνολα μπορούν να οριστούν σε αυτή τη δομή από τη βασικό αποτέλεσμα ότι ένα σύνολο είναι αναδρομικό αν και μόνο αν το σύνολο και το συμπλήρωμά του είναι αναδρομικά αριθμήσιμα. Άπειρα σύνολα έχουν πάντα άπειρα αναδρομικά υποσύνολα αλλά από την άλλη πλευρά, υπάρχουν απλά σύνολα που υπάρχουν, αλλά δεν έχουν αναδρομικό υπερσύνολο. Ο Post (1944) εισήγαγε ήδη υπεραπλά και υπερυπεραπλά σύνολα. Αργότερα μέγιστα σύνολα κατασκευάστηκαν τα οποία είναι σύνολα τέτοια ώστε κάθε υπερσύνολο είναι είτε ένα πεπερασμένο παραλλαγή του συγκεκριμένου μέγιστου συνόλου ή συν-πεπερασμένο. Το αρχικό κίνητρο του Post στη μελέτη αυτού του πλέγματος ήταν να βρεθεί μια δομική αντίληψη, έτσι ώστε κάθε σύνολο που ικανοποιεί αυτή την ιδιότητα δεν είναι ούτε στο βαθμό Turing των αναδρομικών συνόλων ούτε στο βαθμό Turing του προβλήματος τερματισμού. Ο Post δεν κατάφερε να βρει τον εν λόγω κώδικα και η λύση στο πρόβλημά του εφαρμόστηκε στις μεθόδους προτεραιότητας. Ο Harrington και ο Soare (1991), βρήκαν τελικά ένα τέτοιο κώδικα.

Προβλήματα Αυτομορφισμού Επεξεργασία

Ένα άλλο σημαντικό ζήτημα είναι η ύπαρξη αυτομορφισμών στις δομές της ανάδρομης θεωρίας. Σε μία από αυτές τις δομές, το Α είναι κάτω από Β αν και μόνο αν η διαφορά συνόλου Β - Α είναι πεπερασμένη. Τα Μέγιστα σύνολα (όπως ορίζονται στην προηγούμενη παράγραφο) έχουν την ιδιότητα ότι δεν μπορούν να είναι αυτομορφικά σε μη-μέγιστη σύνολα, δηλαδή, εάν υπάρχει ένας αυτομορφισμός των αναδρομικών αριθμητικών συνόλων σύμφωνα με τη δομή που μόλις ανεφέρθη, τότε κάθε μέγιστο σύνολο αντιστοιχίζεται σε ένα άλλο μέγιστο σύνολο. Ο Soare (1974) έδειξε ότι και το αντίστροφο ισχύει, δηλαδή, κάθε δύο μέγιστα σύνολα είναι αυτόμορφα. Έτσι, τα μέγιστα σύνολα σχηματίζουν μια τροχιά, δηλαδή, κάθε αυτομορφία διατηρεί μεγιστοποίηση και οποιαδήποτε δύο μέγιστα σύνολα μετασχηματίζονται το ένα στο άλλο από κάποια αυτομορφία. Ο Harrington έδωσε ένα ακόμη παράδειγμα μιας αυτομορφικής ιδιότητας: αυτής των δημιουργικών συνόλων, των συνόλων που έχουν πολλά-ένα ισοδύναμα με το πρόβλημα τερματισμού. Εκτός από το πλέγμα των αναδρομικά αριθμήσιμων συνόλων, οι αυτομορφισμοί έχουν επίσης μελετηθεί για τη δομή των Turing βαθμών όλων των συνόλων, καθώς και για τη δομή των Turing βαθμών σε r.e. σύνολα. Σε αμφότερες τις περιπτώσεις, o Cooper ισχυρίζεται ότι έχει κατασκευασει μη τετριμμένους αυτομορφισμούς που χαρτογραφούν κάποιους βαθμούς σε άλλους βαθμούς. Αυτη η κατασκευή, ωστόσο, δεν έχει επαληθευτεί και ορισμένοι συνάδελφοί του πιστεύουν ότι η κατασκευή περιέχει σφάλματα και ότι το ζήτημα του κατά πόσον υπάρχει ένας τετριμμένος αυτομορφισμός των βαθμών Turing εξακολουθεί να είναι ένα από τα κύρια εκκρεμή θέματα σε αυτόν τον τομέα (Slaman και Woodin 1986, Ambos-Spies και Fejer 2006).

Πολυπλοκότητα του Kolmogorov Επεξεργασία

Το πεδίο της πολυπλοκότητας του Kolmogorov και της αλγοριθμικής τυχαιότητας αναπτύχθηκε κατά τη διάρκεια του 1960 και του 1970 από τους Chaitin, Kolmogorov, Levin, Martin-Löf και Σολομόνοφ (τα ονόματα δίνονται εδώ με αλφαβητική σειρά, μεγάλο μέρος της έρευνας ήταν ανεξάρτητη, και η ενότητα της έννοιας της τυχαιότητας δεν ήταν κατανοητή εκείνη τη στιγμή). Η κύρια ιδέα είναι να εξετάσει μια καθολική μηχανή Turing U και να μετρήσει την πολυπλοκότητα ενός αριθμού (ή string) x ως το μήκος της συντομότερης p εισόδου έτσι ώστε U (p) να έχει αποτέλεσμα x .Αυτή η προσέγγιση έφερε την επανάσταση στους τρόπους που καθορίζουν πότε μια άπειρη ακολουθία (ισοδύναμα, χαρακτηριστική συνάρτηση ενός υποσυνόλου των φυσικών αριθμών) είναι τυχαία ή όχι με την επίκληση της έννοια της τυχαιότητας για πεπερασμένα αντικείμενα. Η πολυπλοκότητα του Kolmogorov όχι μόνο έγινε αντικείμενο ανεξάρτητης μελέτης, αλλά εφαρμόζεται επίσης σε άλλα θέματα, όπως σε ένα εργαλείο για τη λήψη αποδείξεων. Υπάρχουν ακόμα πολλά ανοιχτά προβλήματα σε αυτόν τον τομέα. Για το λόγο αυτό, ένα πρόσφατο συνέδριο της έρευνας στον τομέα αυτό πραγματοποιήθηκε τον Ιανουάριο του 2007 και μια λίστα των ανοικτών προβλημάτων διατηρείται από τον Joseph Miller και τον Andre Nies.

Συχνότητα υπολογισμού Επεξεργασία

Αυτός ο κλάδος της θεωρίας της αναδρομής ανέλυσε την ακόλουθη ερώτηση: Για σταθερά m και n με 0 < m < n, για την οποία λειτουργεί το Α είναι δυνατόν να υπολογιστεί και για τυχόν διαφορετικές εισόδους n x 1, x 2, ..., x n μια πλειάδα n αριθμών y 1, y 2, ..., yn έτσι ώστε τουλάχιστον το m των εξισώσεων A (x k) = y k να είναι αληθές. Τέτοια σύνολα είναι γνωστά ως (m, n) αναδρομικά σύνολα. Το πρώτο σημαντικό αποτέλεσμα σε αυτόν τον κλάδο της ανάδρομης θεωρίας είναι το αποτέλεσμα του Trakhtenbrot ότι ένα σύνολο είναι υπολογίσιμο αν είναι (m, n) ανάδρομο για κάποιο m, n με 2m > n. Από την άλλη πλευρά, τα ημιανάδρομα σύνολα του Jockusch (τα οποία ήταν ήδη γνωστά ανεπίσημα πριν τα εισαγάγει ο Jockusch το 1968 ) αποτελούν παραδείγματα ενός συνόλου που είναι ανάδρομο κατά (m, n) αν και μόνο αν 2m < n + 1. Υπάρχουν αναρίθμητα πολλά απο αυτά τα σύνολα και επίσης κάποια αναδρομικά αριθμητικά αλλά μη-υπολογίσιμα σύνολα του τύπου αυτού. Αργότερα, ο Degtev προέβλεψε την ιεράρχηση των αναδρομικά αριθμήσιμων συνόλων που είναι (1, n + 1), αλλά όχι (1, n). Μετά από μια μακρά φάση της έρευνας από Ρώσους επιστήμονες, το θέμα αυτό έγινε ξανά δημοφιλές στα δυτικά από την πραγματεία του Beigel για οριοθετημένα ερωτήματα, τα οποία συνδέουν τον υπολογισμό της συχνότητας με την προαναφερόμενη οριοθετημένη αναγωγή και άλλες συναφείς έννοιες. Ένα από τα σημαντικότερα αποτελέσματα ήταν Cardinality Θεωρία του Kummer η οποία αναφέρει ότι ένα σύνολο Α είναι υπολογίσιμο αν και μόνο αν υπάρχει n τέτοιο ώστε κάποιος αλγόριθμος απαριθμεί για κάθε πλειάδα των n διαφορετικούς αριθμούς μέχρι n πολλές πιθανές επιλογές αυτού του συνόλου των n αριθμών διασταυρώνεται με το Α. Αυτές οι επιλογές πρέπει να περιέχουν την πραγματική cardinality αλλά να αφήνουν έξω τουλάχιστον μια ψεύτικη.

Επαγωγικά Συμπεράσματα Επεξεργασία

Αυτή είναι το ανάδρομο θεωρητικό παρακλάδι της θεωρίας της μάθησης. Βασίζεται στο μοντέλο της μάθησης στο όριο του Gold από το 1967 και έχει εξελιχθεί έκτοτε σε όλο και περισσότερα μοντέλα της μάθησης. Το γενικό σενάριο είναι το εξής: Λαμβάνοντας υπόψη μια κατηγορία S των υπολογίσιμων συναρτήσεων, είναι ένας μαθητής (δηλαδή, αναδρομική λειτουργία) το οποίο εξάγει για κάθε είσοδο της μορφής (f (0), f (1), ..., f (n)) μια υπόθεση. Ένας μαθητής Μ μαθαίνει μια συνάρτηση f αν και σχεδόν όλες τις υποθέσεις είναι ο ίδιος δείκτης ε της f σε σχέση με προηγούμενη συμφωνία για την αποδεκτή αρίθμηση όλων των υπολογίσιμων συναρτήσεων. Ο M μαθαίνει το S αν ο M μαθαίνει κάθε f στο S. Τα βασικά συμπεράσματα είναι ότι όλες οι αναδρομικά αριθμήμενες τάξεις των συναρτήσεων μπορούν να κατακτηθούν γνωστικά, ενώ η κατηγορία REC όλων των υπολογίσιμων συναρτήσεων δεν μπορεί να κατακτηθεί. Πολλά σχετικά μοντέλα έχουν εξεταστεί και η εκμάθηση των κατηγοριών των αναδρομικά αριθμήσιμων συνόλων από τα θετικά αποθυκευμένα στοιχεία είναι ένα θέμα που μελετήθηκε από την πρωτοποριακή εργασία του Gold απο το 1967 και μετά.

Γενικεύσεις της υπολογισιμότητας Turing Επεξεργασία

Η ανάδρομη θεωρία περιλαμβάνει τη μελέτη των γενικευμένων εννοιών του τομέα αυτού, όπως η αριθμητική αναγωγή, η υπεραριθμιτική αναγωγή και θεωρία της α-αναδρομής , όπως περιγράφεται από τον Sacks (1990). Αυτές οι γενικευμένες έννοιες περιλαμβάνουν αναγωγές που δεν μπορούν να εκτελεστούν από μηχανές Turing, αλλά είναι παρ 'όλα αυτά φυσικά γενικεύσεις της αναγωγής του Turing. Οι μελέτες αυτές περιλαμβάνουν προσεγγίσεις για τη διερεύνηση της αναλυτικής ιεραρχίας η οποία διαφέρει από την αριθμητική ιεραρχία επιτρέποντας την ποσοτικοποίηση πάνω σε σύνολα των ακεραίων αριθμών εκτός από την ποσοτικοποίηση των ατομικών αριθμών. Οι περιοχές αυτές συνδέονται με τις θεωρίες των καλώς διεταγμένων και τις γραφικές αναπαραστάσεις. Για παράδειγμα, το σύνολο όλων των δεικτών των αναδρομικών (μη δυαδικές) αναπαραστάσεων χωρίς άπειρα κλαδιά είναι πλήρης για το επίπεδο της αναλυτικής ιεραρχίας. Τόσο η αναγωγιμότητα Turing και η υπεραριθμιτική αναγωγή είναι σημαντική στον τομέα της αποτελεσματικής περιγραφικής θεωρίας του σύνολο. Η ακόμα πιο γενική έννοια των βαθμών Κατασκευασιμότητας έχει μελετηθεί σε θεωρία συνόλων.

Συνεχής θεωρία υπολογισιμότητας Επεξεργασία

Η Θεωρία της υπολογισιμότητας για τον ψηφιακό υπολογισμό έχει αναπτυχθεί καλά. Η Θεωρία της υπολογισιμότητας είναι λιγότερο καλά αναπτυγμένη για αναλογικό υπολογισμό που εμφανίζεται σε αναλογικούς υπολογιστές , αναλογική επεξεργασία σήματος , αναλογικά ηλεκτρονικά, νευρωνικά δίκτυα και συνεχούς χρόνου θεωρία ελέγχου διαμορφωμένη από διαφορικές εξισώσεις και συνεχή δυναμικά συστήματα (Orponen 1997, Moore 1996).

Σχέσεις μεταξύ Προσδιορισιμότητας και Υπολογισιμότητας Επεξεργασία

Υπάρχουν στενοί δεσμοί μεταξύ του βαθμού Turing ενός συνόλου φυσικών αριθμών και της δυσκολίας (απο πλευράς αριθμητικής ιεραρχίας) προσδιορισμού αυτού του συνόλου χρησιμοποιώντας Λογική Πρώτου Βαθμού.Αυτή η σχέση έγινε εφικτή με την βοήθεια του θεωρήματος του Post. Μία λιγότερο ακριβής απόδειξη παρουσιάστηκε απο τον Κουρτ Γκέντελ με τις αποδείξεις του στα θεωρήματα ολοκληρωσιμότητας και μη ολοκληρωσιμότητας. Οι αποδείξεις του Γκέντελ εξηγούν ότι ένα σύνολο λογικών συνεπειών μίας δυναμικής Λογικής Πρώτου Βαθμού είναι ένα αναδρομικά αριθμήσιμο σύνολο και αν η θεωρία ειναι αρκετά ισχυρή τότε αυτό το σύνολο θα είναι μη υπολογίσιμο. Παρομοίως το Θεώρημα της μη-Προσδιορισιμότητας του Τάρσκι μπορεί να ερμηνευτεί τόσο από την άποψη της προσδιορισιμότητας όσο και της υπολογισιμότητας.

Η Θεωρία της Αναδρομής συνδεέται με την αριθμητική δευτέρου τάξης, μια τυπική θεωρία των φυσικών αριθμών και συνόλων φυσικών αριθμών.Το γεγονός οτι κάποια σύνολα ειναι υπολογίσιμα και κάποια σχετικά υπολογίσιμα συχνά σημαίνει ότι αυτά τα σύνολα μπορούν να οριστούν σε πιο αδύναμα υποσυστήματα αριθμητικής δευτέρου τάξης.Το πρόγραμμα των αντίστροφων μαθηματικών χρησιμοποιεί αυτά τα υποσυστήματα για να μετρήσει την μη υπολογισιμότητα σε κάποια πολύ γνωστά μαθηματικά θεωρήματα. Ο Simpson (1999) αναφέρεται σε πολλές πτυχές της αριθμητικής δεύτερης τάξης και reverse mathematics.

Ο κλάδος της Θεωρίας Αποδείξεων περιλαμβάνει την μελέτη της αριθμητικής δεύτερης ταξης και τα Αξιώματα Πεάνο όπως επίσης και τυπικές θεωρίες των φυσικών πιο αδύναμες από τα Αξιώματα Πεάνο.Μία μέθοδος κατηγοριοποιήσης της ισχύς αυτών των αδύναμων συστημάτων γίνεται με τον χαρακτηρισμό για ποιες υπολογίσμες συναρτήσεις το σύστημα μπορει να αποδειχθεί πλήρες (βλ. Fairtlough and Wainer (1998)).Για παράδειγμα ,στην θεμελιωδώς αναδρομική αριθμητική οποιαδήποτε συνάρτηση που ειναι πλήρης ειναι θεμελιωδώς αναδρομική, ενώ τα Αξιώματα Πεάνο αποδεικνύουν ότι συναρτήσεις όπως η συνάρτηση του Ackermann, οι οποίες δεν είναι θεμελιωδώς αναδρομικές ,είναι πλήρης,Επομένως δεν αποδεικνύεται για όλες τις πλήρης-υπολογίσιμες συναρτήσεις οτι ειναι πλήρης και στην Αριθμητική Πεάνο.Μάλιστα μία τέτοια συνάρτηση δίνεται απο το θεώρημα Goodstein.

Όνομα του Υποκειμένου Επεξεργασία

Το πεδίο της μαθηματικής λογικής που ασχολείται με την υπολογισιμότητα και τις γενικεύσεις της έχει χαρακτηριστεί ως «θεωρία αναδρομής» από τις πρώτες ημέρες της. Ο Robert I. Soare , ένας εξέχων ερευνητής στον τομέα, πρότεινε (Soare 1996) ότι το πεδίο θα πρέπει να ονομάζεται «θεωρία υπολογισιμότητας». Ισχυρίζεται ότι η ορολογία του Τούρινγκ που χρησιμοποιεί τη λέξη «υπολογίσιμο» είναι πιο φυσική και πιο ευρέως κατανοητή από την ορολογία που χρησιμοποιεί τη λέξη «αναδρομική» που θεσπίστηκε από τον Kleene. Πολλοί σύγχρονοι ερευνητές έχουν αρχίσει να χρησιμοποιούν αυτή την εναλλακτική ορολογία. Αυτοί οι ερευνητές χρησιμοποιούν επίσης την ορολογία, όπως μερικά υπολογίσιμη συνάρτηση και υπολογισίμως αριθμήσιμο σύνολο αντί για μερικά αναδρομική συνάρτηση και αναδρομικά αριθμήσιμα σύνολα. Δεν έχουν όλοι οι ερευνητές αυτή την πεποίθηση, ωστόσο, όπως εξήγησε ο Fortnow και Simpson. Ορισμένοι σχολιαστές υποστηρίζουν ότι τόσο το όνομα θεωρία της αναδρομής όσο και το όνομα θεωρία της υπολογισιμότητας αποτυγχάνουν να μεταδώσουν το γεγονός ότι τα περισσότερα από τα αντικείμενα που μελετήθηκαν στη θεωρία αναδρομής δεν είναι υπολογίσιμα. Ο Rogers (1967) πρότεινε ότι μια βασική ιδιότητα της θεωρίας αναδρομής είναι ότι τα αποτελέσματα και οι δομές της θα πρέπει να αμετάβλητες στο πλαίσιο υπολογίσιμων συναρτήσεων για τους φυσικούς αριθμούς (η πρόταση αυτή εμπνέεται από τις ιδέες του προγράμματος Erlangen στη γεωμετρία). Η ιδέα είναι ότι ένα υπολογίσιμη συνάρτηση απλώς μετονομάζει τους αριθμούς σε μια σειρά, αντί να αναγράφει κάθε δομή στο σύνολο, ακριβώς όπως και η περιστροφή του Ευκλείδειου επιπέδου δεν αλλάζει οποιαδήποτε γεωμετρική όψη των γραμμών που χαράσσονται σε αυτό. Εφόσον κάθε δύο άπειρα υπολογίσιμα σύνολα συνδέονται με υπολογίσιμη συνάρτηση, η παρούσα πρόταση προσδιορίζει όλα τα άπειρα υπολογίσιμα σύνολα (τα πεπερασμένα σύνολα υπολογίσιμα σύνολα θεωρούνται ως ασήμαντο). Σύμφωνα με τον Rogers, τα σύνολα των τόκων στη θεωρία της αναδρομής είναι τα μη-υπολογίσιμα σύνολα, χωρισμένα σε κατηγορίες ισοδυναμίας από υπολογίσιμες συναρτήσεις των ακεραίων αριθμών.

Οι Επαγγελματικές Οργανώσεις Επεξεργασία

Η κύρια επαγγελματική οργάνωση για τη θεωρία της αναδρομής είναι η Ένωση της Συμβολικής Λογικής , η οποία οργανώνει διάφορα ερευνητικά συνέδρια κάθε χρόνο. Η διεπιστημονική ερευνητική οργάνωση Υπολογισιμότητα στην Ευρώπη (CiE) διοργανώνει επίσης μια σειρά ετήσιων συνεδρίων. Το συνέδριο CiE 2012 ήταν η διάσκεψη εκατονταετίας Turing, που πραγματοποιήθηκε στο Cambridge, στο πλαίσιο του έτους Alan Turing.

Σημειώσεις Επεξεργασία

  1. Πολλά από αυτά τα θεμελιώδη έγγραφα συλλέγονται στο The Undecidable (1965) που εκδόθηκε από τον Martin Davis.
  2. Το πλήρες χαρτί μπορεί επίσης να βρεθεί στις σελίδες 150ff (με σχολιασμό από τον Charles Parsons στο 144ff) σε Feferman et al. συντάκτες 1990 Kurt Gödel Τόμος ΙΙ Εκδόσεις 1938-1974, Oxford University Press, Νέα Υόρκη,  ISBN 978-0-19-514721-6. Και οι δύο έχουν τυπώσει την ακόλουθη υποσημείωση * στον όγκο Davis από τον Κουρτ Γκέντελ το 1965: «Για να είμαι πιο ακριβής: η λειτουργία των ακεραίων είναι υπολογίσιμη σε κάθε επίσημο σύστημα που περιέχει αριθμητική αν και μόνο αν είναι υπολογίσιμη στην αριθμητική, όπου η συνάρτηση f ονομάζεται υπολογίσιμη στο S αν υπάρχει σε ένα υπολογίσιμο S που αντιπροσωπεύει την f» (σελ. 150).
  3. Διάσκεψη για τη Λογική, Υπολογισιμότητα και τυχαιότητα, 10 - 13 Ιαν 2007.
  4. Η αρχική σελίδα του Andre Nies έχει μια λίστα από ανοικτά προβλήματα στην πολυπλοκότητα Kolmogorov.
  5. Μαθηματικές αναζητήσεις για τους τίτλους όπως «υπολογίσιμα enumerable» και «c.e.» δείχνουν ότι πολλές εργασίες έχουν δημοσιευθεί με αυτήν την ορολογία, καθώς και με την άλλη.
  6. Lance Fortnow, «Είναι Αναδρομική, Computable ή να αποφασισθεί;» 15.02.2004, πρόσβαση 09/01/2006.
  7. Stephen G. Simpson, «Τι είναι η θεωρία computability;» FOM κατάλογο ηλεκτρονικού ταχυδρομείου, 08.24.1998, 01.09.2006 πρόσβαση.
  8. Harvey Friedman, «η θεωρία Μετονομασία αναδρομής,» λίστα email FOM, 08.28.1998, 01.09.2006 πρόσβαση.

Βιβλιογραφία Επεξεργασία

Προπτυχιακά Έντυπα
  • S. B. Cooper, 2004. Computability Theory, Chapman & Hall/CRC. ISBN 1-58488-237-9
  • N. Cutland, 1980. Computability, An introduction to recursive function theory, Cambridge University Press. ISBN 0-521-29465-7
  • Y. Matiyasevich, 1993. Hilbert's Tenth Problem, MIT Press. ISBN 0-262-13295-8
Ανώτερα 'Εντυπα
  • S. Jain, D. Osherson, J. Royer and A. Sharma, 1999. Systems that learn, an introduction to learning theory, second edition, Bradford Book. ISBN 0-262-10077-0
  • S. Kleene, 1952. Introduction to Metamathematics, North-Holland (11th printing; 6th printing added comments). ISBN 0-7204-2103-9
  • M. Lerman, 1983. Degrees of unsolvability, Perspectives in Mathematical Logic, Springer-Verlag. ISBN 3-540-12155-2.
  • Andre Nies, 2009. Computability and Randomness, Oxford University Press, 447 pages. ISBN 978-0-19-923076-1.
  • P. Odifreddi, 1989. Classical Recursion Theory, North-Holland. ISBN 0-444-87295-7
  • P. Odifreddi, 1999. Classical Recursion Theory, Volume II, Elsevier. ISBN 0-444-50205-X
  • H. Rogers, Jr., 1967. The Theory of Recursive Functions and Effective Computability, second edition 1987, MIT Press. ISBN 0-262-68052-1 (paperback), ISBN 0-07-053522-1
  • G Sacks, 1990. Higher Recursion Theory, Springer-Verlag. ISBN 3-540-19305-7
  • S. G. Simpson, 1999. Subsystems of Second Order Arithmetic, Springer-Verlag. ISBN 3-540-64882-8
  • R. I. Soare, 1987. Recursively Enumerable Sets and Degrees, Perspectives in Mathematical Logic, Springer-Verlag. ISBN 0-387-15299-7.
Έγγραφα Ερευνών και Συλλογές
  • K. Ambos-Spies and P. Fejer, 2006. «Degrees of Unsolvability.» Unpublished preprint.
  • H. Enderton, 1977. «Elements of Recursion Theory.» Handbook of Mathematical Logic, edited by J. Barwise, North-Holland (1977), pp. 527–566. ISBN 0-7204-2285-X
  • Y. L. Ershov, S. S. Goncharov, A. Nerode, and J. B. Remmel, 1998. Handbook of Recursive Mathematics, North-Holland (1998). ISBN 0-7204-2285-X
  • M. Fairtlough and S. Wainer, 1998. «Hierarchies of Provably Recursive Functions». In Handbook of Proof Theory, edited by S. Buss, Elsevier (1998).
  • R. I. Soare, 1996. Computability and recursion, Bulletin of Symbolic Logic v. 2 pp. 284–321.
Ερευνητικές Εργασίες και Συλλογές
  • Burgin, M. and Klinger, A. «Experience, Generations, and Limits in Machine Learning.» Theoretical Computer Science τομ. 317, No. 1/3, 2004, pp. 71–91
  • A. Church, 1936a. «An unsolvable problem of elementary number theory.» American Journal of Mathematics τομ. 58, pp. 345–363. Reprinted in "The Undecidable", M. Davis ed., 1965.
  • A. Church, 1936b. «A note on the Entscheidungsproblem.» Journal of Symbolic Logic v. 1, n. 1, and v. 3, n. 3. Reprinted in "The Undecidable", M. Davis ed., 1965.
  • M. Davis, ed., 1965. The Undecidable—Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions, Raven, New York. Reprint, Dover, 2004. ISBN 0-486-43228-9
  • R. M. Friedberg, 1958. Three theorems on recursive enumeration: I.

Decomposition, II. Maximal Set, III. Enumeration without repetition. «The Journal of Symbolic Logic», v. 23, pp. 309–316.

  • Gold, E. Mark (1967), Language Identification in the Limit 10, Information and Control, pp. 447–474
  • L. Harrington and R. I. Soare, 1991. «Post's Program and incomplete recursively enumerable sets», Proceedings of the National Academy of Sciences of the USA, volume 88, pages 10242—10246.
  • C. Jockusch jr, «Semirecursive sets and positive reducibility», Trans. Amer. Math. Soc. 137 (1968) 420-436
  • S. C. Kleene and E. L. Post, 1954. «The upper semi-lattice of degrees of recursive unsolvability.» Annals of Mathematics τομ. 2 n. 59, 379–407.
  • Moore, C. (1996). «Recursion theory on the reals and continuous-time computation». Theoretical Computer Science. CiteSeerX: 10.1.1.6.5519.
  • J. Myhill, 1956. «The lattice of recursively enumerable sets.» The Journal of Symbolic Logic, τομ. 21, pp. 215–220.
  • Orponen, P. (1997). «A survey of continuous-time computation theory». Advances in algorithms, languages, and complexity. CiteSeerX: 10.1.1.53.1991.
  • E. Post, 1944, «Recursively enumerable sets of positive integers and their decision problems», Bulletin of the American Mathematical Society, τομ. 50, σελίδες 284–316.
  • E. Post, 1947. «Recursive unsolvability of a problem of Thue.» Journal of Symbolic Logic v. 12, pp. 1–11. Reprinted in "The Undecidable", M. Davis ed., 1965.
  • Shore, Richard A.; Slaman, Theodore A. (1999), «Defining the Turing jump», Mathematical Research Letters 6: 711–722, ISSN 1073-2780, MR 1739227
  • T. Slaman and W. H. Woodin, 1986. «Definability in the Turing degrees.» Illinois J. Math. τομ. 30 n. 2, pp. 320–334.
  • R. I. Soare, 1974. «Automorphisms of the lattice of recursively enumerable sets, Part I: Maximal sets.» Annals of Mathematics, τομ. 100, pp. 80–120.
  • A. Turing, 1937. «On computable numbers, with an application to the Entscheidungsproblem.» Proceedings of the London Mathematics Society, ser. 2 τομ. 42, pp. 230–265. Corrections ibid. v. 43 (1937) pp. 544–546. Reprinted in "The Undecidable", M. Davis ed., 1965. PDF from comlab.ox.ac.uk
  • A. Turing, 1939. «Systems of logic based on ordinals». «Proceedings of the London Mathematics Society», ser. 2 τομ. 45, pp. 161–228. Reprinted in "The Undecidable", M. Davis ed., 1965.

Επιπλέον Σύνδεσμοι Επεξεργασία

Παραπομπές Επεξεργασία

  1. 1,0 1,1 Kleene, Stephen Cole (1952). Introduction to Metamathematics. North-Holland. σελίδες 300, 376. ISBN 0-7204-2103-9. 
  2. Davis, Martin, επιμ. (2004). The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions. Dover Publications, Inc. σελ. 84. ISBN 978-0-486-43228-1. Kurt Gödel (1946): Tarski has stressed in his lecture (and I think justly) the great importance of the concept of general recursiveness (or Turing's computability). It seems to me that this importance is largely due to the fact that with this concept one has for the first time succeeded in giving an absolute notion to an interesting epistemological notion, i.e., one not depending on the formalism chosen. 
  3. Gödel, Kurt (1990). «[Gödel (1946)]». Στο: Feferman, Solomon· και άλλοι. Kurt Gödel Publications 1938–1974 Volume II. II. New York, USA: Oxford University Press. σελίδες 144ff. ISBN 978-0-19-514721-6. To be more precise: a function of integers is computable in any formal system containing arithmetic if and only if it is computable in arithmetic, where a function f is called computable in S if there is in S a computable term representing f.  (NB. This volume also includes the 1946 paper by Kurt Gödel (with commentary by Charles Parsons at pp. 144ff.). This 1990 edition has the cited footnote added by Gödel on p. 150 (which had also been added to Gödel's reprint in Davis' 1965 compilation).)
  4. «An unsolvable problem of elementary number theory». American Journal of Mathematics 58 (2): 345–363. 1936a. doi:10.2307/2371045.  Reprinted in Davis 1965.
  5. «A note on the Entscheidungsproblem». Journal of Symbolic Logic 1 (1): 40–41. 1936b. doi:10.2307/2269326.  Reprinted in Davis 1965.
  6. «On computable numbers, with an application to the Entscheidungsproblem». Proceedings of the London Mathematical Society. 2 42 (1): 230–265. 1937. doi:10.1112/plms/s2-42.1.230.  «On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction». Proceedings of the London Mathematical Society. 2 43 (1): 544–546. 1938. doi:10.1112/plms/s2-43.6.544. http://web.comlab.ox.ac.uk/oucl/research/areas/ieg/e-library/sources/tp2-ie.pdf. Ανακτήθηκε στις 2022-08-08.  Reprinted in Davis 1965.
  7. Kurt Gödel (1931,). «Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I». Monatshefte für Mathematik und Physik 38 (1): 173–198. doi:10.1007/BF01700692. 
  8. Ershov, Yury Leonidovich· Goncharov, Sergei Savostyanovich· Nerode, Anil· Remmel, Jeffrey B. (1998). Handbook of Recursive Mathematics. North-Holland. ISBN 0-7204-2285-X. 
  9. «Systems of logic based on ordinals». Proceedings of the London Mathematical Society. 2 45 (1): 161–228. 1939. doi:10.1112/plms/s2-45.1.161.  Reprinted in Davis 1965.