Skip to content
Για τους υπολογίσιμους αριθμούς με εφαρμογή στο Entscheidungsproblem
Για τους υπολογίσιμους αριθμούς με εφαρμογή στο Entscheidungsproblem
ISBN: 978-960-7809-23-0
Κατάσταση Έκδοσης: Κυκλοφορεί
Είδος: Βιβλίο
Μορφή: Χαρτόδετο
Θέμα: Μαθηματικά
Γλώσσα: Ελληνική, Νέα
Έτος Έκδοσης: 1998
Εκδότης: Τροχαλία
Συγγραφέας: Turing, Alan M., Κωνσταντινίδης, Μανώλης, Χριστακόπουλος, Θάνος
Διαστάσεις: 11 x 17 εκ
Σελίδες: 99 σελ.

Τιμή Εκδότη: 12,44 €

Τιμή E-shop: 11,20 €
Κατηγορία:
Περιγραφή

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


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

Σχετικά προϊόντα