Θεωρία υπολογισιμότητας: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μ πρότυπο: έλλειψη παραπομπών |
μ ISBN |
||
Γραμμή 110:
== Σημειώσεις ==
# Πολλά από αυτά τα θεμελιώδη έγγραφα συλλέγονται στο The Undecidable (1965) που εκδόθηκε από τον [[Martin Davis]].
# Το πλήρες χαρτί μπορεί επίσης να βρεθεί στις σελίδες 150ff (με σχολιασμό από τον Charles Parsons στο 144ff) σε Feferman et al. συντάκτες 1990 Kurt Gödel Τόμος ΙΙ Εκδόσεις 1938-1974, Oxford University Press, Νέα Υόρκη,
# [[Διάσκεψη για τη Λογική, Υπολογισιμότητα και τυχαιότητα]], 10 - 13 Ιαν 2007.
# Η αρχική σελίδα του Andre Nies έχει μια λίστα από ανοικτά προβλήματα στην πολυπλοκότητα Kolmogorov.
|