Page "Church–Turing thesis" Paragraph 6

The Church – Turing thesis is a statement that characterizes the nature of computation and cannot be formally proven.

Even though the three processes mentioned above proved to be equivalent, the fundamental premise behind the thesis — the notion of what it means for a function to be effectively calculable — is " a somewhat vague intuitive one ".

Thus, the " thesis " remains a hypothesis.