Αυτό που κάνει ο Τούρινγκ, είναι να αποδείξει ότι στην πραγματικότητα δεν υπάρχει κανένας τρόπος να πεις ποια θα είναι τα αναπόδεικτα προβλήματα.
What Turing does, is prove that in fact there is no way of telling which will be the unprovable problems.