0

それとも、ある型が導帰的であることを証明するのが難しすぎる場合がありますか?

私が話しているのは完全なプログラミング言語です。つまり、完全なチューリングではなく、再帰はすべて十分に根拠があり、コアカーションはすべて生産的です。チューリングの完全性は、実際にはそのような言語よりも多くのものをもたらしますか?

4

0 に答える 0