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

καμία σύνοψη επεξεργασίας
Η μελέτη για το ποιες μαθηματικές κατασκευές μπορούν να πραγματοποιηθούν αποτελεσματικά μερικές φορές ονομάζεται '''αναδρομικά μαθηματικά'''. Το Εγχειρίδιο των Αναδρομικών Μαθηματικών (Ershov et al. 1998) καλύπτει πολλά από τα γνωστά αποτελέσματα σε αυτόν τον τομέα.
 
===== '''Πεδία Έρευνας''' =====
Κυρίως με την Θεωρία των Αναδρομικών Συνόλων και Συναρτήσεων ο χώρος έρευνας της Θεωρίας της Αναδρομής έχει επεκταθεί σε πολλές σχετικές θεωρίες :
28

επεξεργασίες