Το Θεώρημα μη-πληρότητας με την χρήση θεωρίας αναδρομής

Κύριοι συγγραφείς:	Κατσάνος, Αθανάσιος, Katsanos, Athanasios
Άλλοι συγγραφείς:	Αρβανιτάκης, Αλέξανδρος
Μορφή:	bachelorThesis
Γλώσσα:	Greek
Έκδοση:	Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών 2015
Θέματα:	Αναδρομή Μη-πληρότητα Θεωρία υπολογισμου Godel Recursion Λογική Turing Kleene Μη-αποκρίσιμα σύνολα Recursive theory
Διαθέσιμο Online:	http://dspace.lib.ntua.gr/handle/123456789/41106