Θεωρία υπολογισιμότητας: Διαφορά μεταξύ των αναθεωρήσεων

Η Θεωρία της Αναδρομής συνδυάζεται με την Θεωρία των Αποδείξεων,με την Αποτελεσματική Περιγραφική Θεωρία Συνόλων, την [[Θεωρία μοντέλων|Θεωρια Μοντέλων]] και την Αφηρημένη Άλγεβρα. Μάλιστα, Θα μπορούσαμε να χαρακτηρίσουμε οτι η Θεωρία της Πολυπλοκότητας είναι γέννημα της Αναδρομικής Θεωρίας καθώς και οι δύο μοιράζονται ίδιο τεχνικό εργαλείο ,δηλαδή το Turing Machine.

Πίνακας περιεχομένων

2 Αναδιαρθρωτική Υπολογισιμότητα

3 Πεδία Έρευνας

3.2 Άλλες Αναγωγισιμότητες

3.3 Το Θεώρημα του Rice και η Αριθμητική Ιεραρχία