TURING ALAN
ΓΙΑ ΤΟΥΣ ΥΠΟΛΟΓΙΣΙΜΟΥΣ ΑΡΙΘΜΟΥΣ ΜΕ ΕΦΑΡΜΟΓΗ ENTSCHEIDUNGSPROBLEM
Εκδότης: ΤΡΟΧΑΛΙΑ Κωδ. Πολιτείας: 4310-0126
Αυτή η εργασία του A. Turing αποτελεί το πρώτο θεμελιακό άρθρο της σύγχρονης θεωρίας των υπολογιστών. Σε αυτό ορίζεται για πρώτη φορά η θεωρία της αυτόματης μηχανής, με σκοπό την υπολογισιμότητα και την απόδειξη θεωρημάτων μέσα από μηχανικές διαδικασίες. Η ανακάλυψη του Turing για την ύπαρξη αντιστοίχου συμπεράσματος με αυτό του θεωρήματος του Goedel , και στην θεωρία υπολογισμού, διέβρωσε τα θεμέλια ακόμη και αυτού του τελευταίου οχυρού της στοιχειώδους μαθηματικής ικανότητας: της υπολογισιμότητας. Με αυτό το έργο ξεκίνησε τόσο η σύγχρονη... Διαβάστε περισσότερα... |
Πλοήγηση
Φίλτρα
Ελληνικές / Ξένες Εκδόσεις
Ημερομηνία Έκδοσης
Διαθεσιμότητα
Περιοχή Τιμών
Συγγραφέας / Δημιουργός
Εκδότης / Κατασκευαστής