317
επεξεργασίες
μ (πρότυπο: έλλειψη παραπομπών) |
μ (ISBN) |
||
== Σημειώσεις ==
# Πολλά από αυτά τα θεμελιώδη έγγραφα συλλέγονται στο 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.
|
επεξεργασίες