チャーチ＝チューリングのテーゼ
On the other hand, the Church–Turing thesis states that the above three formally-defined classes of computable functions coincide with the "informal" notion of an effectively calculable function. Since, as an informal notion, the concept of effective calculability does not have a formal definition, the thesis, although it has near-universal acceptance, cannot be formally proven.