ΓΙΑ ΤΟΥΣ ΥΠΟΛΟΓΙΣΙΜΟΥΣ ΑΡΙΘΜΟΥΣ ΜΕ ΕΦΑΡΜΟΓΗ ENTSCHEIDUNGSPROBLEM

Παρουσίαση

Αυτή η εργασία του A. Turing αποτελεί το πρώτο θεμελιακό άρθρο της σύγχρονης θεωρίας των υπολογιστών. Σε αυτό ορίζεται για πρώτη φορά η θεωρία της αυτόματης μηχανής, με σκοπό την υπολογισιμότητα και την απόδειξη θεωρημάτων μέσα από μηχανικές διαδικασίες. Η ανακάλυψη του Turing για την ύπαρξη αντιστοίχου συμπεράσματος με αυτό του θεωρήματος του Goedel , και στην θεωρία υπολογισμού, διέβρωσε τα θεμέλια ακόμη και αυτού του τελευταίου οχυρού της στοιχειώδους μαθηματικής ικανότητας: της υπολογισιμότητας. Με αυτό το έργο ξεκίνησε τόσο η σύγχρονη εποχή των υπολογιστών όσο και της γενικευμένης θεωρίας κάθε υπολογιστικού συστήματος. (ΑΠΟ ΤΗΝ ΠΑΡΟΥΣΙΑΣΗ ΣΤΟ ΟΠΙΣΘΟΦΥΛΛΟ ΤΟΥ ΒΙΒΛΙΟΥ)

Περιεχόμενα

ΕΙΣΑΓΩ ΓΗ ΤΟΥ ΜΕΤΑΦΡΑΣΤΗ
ΓΙΑ ΤΟΥΣ ΥΠΟΛΟΓΙΣΙΜΟΥΣ ΑΡΙΘΜΟΥΣ ΜΕ ΕΦΑΡΜΟΓΗ
ENTSCHEIDUNGSPROBLEM
1. Υπολογιστικές μηχανές
2. Ορισμοί
3. Παραδείγματα υπολογιστικών μηχανών
4. Συντμημένοι πίνακες
5. Απαρίθμηση υπολογίσιμων ακολουθιών
6. Η καθολική υπολογιστική μηχανή
7. Λεπτομερής περιγραφή της καθολικής μηχανής
8. Εφαρμογή της μεθόδου της διαγωνιοποίησης
9. Η επέκταση των υπολογίσιμων αριθμών
10. Παραδείγματα μεγάλων κλάσεων αριθμών που είναι υπολογίσιμοι
11. Εφαρμογή στο Entscheidungsproblem
ΠΑΡΑΡΤΗΜΑ
ΓΙΑ ΤΟΥΣ ΥΠΟΛΟΓΙΣΙΜΟΥΣ ΑΡΙΘΜΟΥΣ ΜΕ ΕΦΑΡΜΟΓΗ
ΣΤΟ ENTSCHEIDUNGSPROBLEM. ΜΙΑ ΔΙΟΡΘΩΣΗ
ΒΙΒΛΙΟΓΡΑΦΙΚΟ ΣΗΜΕΙΩΜΑ
ΕΥΡΕΤΗΡΙΟ