計算可能⇔帰納的
先週から、計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座)を使ってゼミをしているのだが、トータルで4時間くらいしか経っていないのに、自然数関数に関して上の命題が示せて、すごいなぁと思っている。左辺は、厳密には、Nプログラムで計算可能。
先週から、計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座)を使ってゼミをしているのだが、トータルで4時間くらいしか経っていないのに、自然数関数に関して上の命題が示せて、すごいなぁと思っている。左辺は、厳密には、Nプログラムで計算可能。