Για τους υπολογίσιμους αριθμούς με εφαρμογή στο Entscheidungsproblem

Για τους υπολογίσιμους αριθμούς με εφαρμογή στο Entscheidungsproblem
Τιμή από
8,00 €
Τελευταίο κομμάτι
Κατάσταση: Σαν καινούριο
Περιγραφή

Αυτή η εργασία του A. Turing αποτελεί το πρώτο θεμελιακό άρθρο της σύγχρονης θεωρίας των υπολογιστών. Σε αυτό ορίζεται για πρώτη φορά η θεωρία της αυτόματης μηχανής, με σκοπό την υπολογισιμότητα και την απόδειξη θεωρημάτων μέσα από μηχανικές διαδικασίες. Η ανακάλυψη του Turing για την ύπαρξη αντιστοίχου συμπεράσματος με αυτό του θεωρήματος του Goedel , και στην θεωρία υπολογισμού, διέβρωσε τα θεμέλια ακόμη και αυτού του τελευταίου οχυρού της στοιχειώδους μαθηματικής ικανότητας: της υπολογισιμότητας. Με αυτό το έργο ξεκίνησε τόσο η σύγχρονη εποχή των υπολογιστών όσο και της γενικευμένης θεωρίας κάθε υπολογιστικού συστήματος.

[Απόσπασμα από το κείμενο στο οπισθόφυλλο της έκδοσης]

Περισσότερα »
Λεπτομέρειες
  • Συγγραφέας: Alan M. Turing
  • Εκδόσεις: Τροχαλία
  • Έτος: 1998
  • ISBN-13: 9789607809230
  • ISBN-10: 9607809238
  • Κατηγορίες: Μαθηματικά
Με γνωστά μεταφορικά
8,00 € Σαν καινούριο
Δωρεάν έξοδα αποστολής για αγορές από 50€.
Γνωρίζεις τα μεταφορικά πριν παραγγείλεις.
Πληρωμή με Τράπεζα Πειραιώς.
Παράδοση με ΕΛΤΑ και Χέρι με χέρι.
Λαρισα, Θεσσαλία
Όροι παράδοσης
Γράψε την αξιολόγησή σου και βοήθησε τους άλλους αναγνώστες.