Περί Υπολογίσιμων Αριθμών
Χρόνος: Δευτέρα Νοέ 30, 1936
Τόπος: Αγγλία
λεπτομέρειες: Ο Turing δημοσίευσε το άρθρο του «Περί Υπολογίσιμων Αριθμών, με μια Εφαρμογή στο Entscheidungsproblem». Δημοσιεύτηκε στα πρακτικά του περιοδικού της Μαθηματικής Εταιρείας του Λονδίνου σε δύο μέρη, το πρώτο στις 30 Νοεμβρίου και το δεύτερο στις 23 Δεκεμβρίου. Σε αυτό το άρθρο, ο Turing αναδιατύπωσε τα αποτελέσματα του Kurt Gödel του 1931 σχετικά με τα όρια της απόδειξης και του υπολογισμού, αντικαθιστώντας την τυπική γλώσσα του Gödel που βασιζόταν στην καθολική αριθμητική με τις τυπικές και απλές υποθετικές συσκευές που έγιναν γνωστές ως μηχανές Turing. Το Entscheidungsproblem (πρόβλημα απόφασης) τέθηκε αρχικά από τον Γερμανό μαθηματικό David Hilbert το 1928. Ο Turing απέδειξε ότι η «καθολική υπολογιστική μηχανή» του θα ήταν ικανή να εκτελέσει οποιονδήποτε νοητό μαθηματικό υπολογισμό, αν αυτός μπορούσε να αναπαρασταθεί ως αλγόριθμος. Στη συνέχεια απέδειξε ότι δεν υπήρχε λύση στο πρόβλημα απόφασης, δείχνοντας πρώτα ότι το πρόβλημα του τερματισμού για τις μηχανές Turing είναι μη επιλύσιμο: Δεν είναι δυνατόν να αποφασιστεί αλγοριθμικά αν μια μηχανή Turing θα σταματήσει ποτέ.
Ενδέχεται να περιέχει σφάλματα.
Ταξινόμηση κατά προσέγγιση. Ορισμένα γεγονότα ενδέχεται να εμφανίζονται με λάθος σειρά καθώς πολλά είναι γνωστά μόνο κατά έτος, αλλά συνήθως ανήκουν στην ίδια περίοδο.
Σχετικά
Κοντά
























































































































































































Σήμερα - 30 November





















































30 November 1936


November 1936
















1936







































































































































































































