Because these three properties are not formally stated, the Church–Turing thesis cannot be proved.
Επειδή αυτές οι τρεις ιδιότητες δεν αναφέρονται επίσημα, η Τσερτς-Τούρινγκ διατριβή δεν μπορεί να αποδειχθεί.