Church–Turing thesis
結論から言えば、μ再帰関数の停止判定はμ再帰関数の体系では不可能であり、これはチャーチ＝チューリングのテーゼを受け入れた場合、チューリングマシンの停止問題と同じであることが判っている。