でも、それってどういうことだ？なんか、私は計算可能論の三つのシステムの等価性「チ…

でも、それってどういうことだ？なんか、私は計算可能論の三つのシステムの等価性「チャーチ＝チューリングのテーゼ」をイメージしてしまう。計算量と鍵無限が、帰納関数論とチューリングマシン、super な介入がラムダ計算みたいな連想をしてしまう。
JRF 2009年6月1日