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