Σήμερα - Τι συνέβη; 30 November 1936 μ.Χ.

Το 1936, ο Turing δημοσίευσε το άρθρο του "On Computable Numbers, with an Application to the Entscheidungsproblem". Δημοσιεύτηκε στο περιοδικό Proceedings of the London Mathematical Society σε δύο μέρη, το πρώτο στις 30 Νοεμβρίου και το δεύτερο στις 23 Δεκεμβρίου.

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

Το 1936, ο Turing δημοσίευσε το άρθρο του "On Computable Numbers, with an Application to the Entscheidungsproblem". Δημοσιεύτηκε στο περιοδικό Proceedings of the London Mathematical Society σε δύο μέρη, το πρώτο στις 30 Νοεμβρίου και το δεύτερο στις 23 Δεκεμβρίου.

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