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

καμία σύνοψη επεξεργασίας
κοινοτήτων, ωστόσο δεν μπορούν να διαχωριστούν εντελώς. Για παράδειγμα η παραμετρική πολυπλοκότητα, εφευρέθηκε από τον θεωρητικό της πολυπλοκότητας, Michael Fellows και τον θεωρητικό της αναδρομής Rod Downey.
 
=== '''Υπολογίσιμα και μη υπολογίσιμα σύνολα.''' ===
 
Η Αναδρομή θεωρία προέρχεται από τη δεκαετία του 1930, με το έργο του [[Kurt Gödel , Alonzo Church , Alan Turing , Stephen Kleene]] και[[Emil Post| Emil Post.]]
 
28

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