>>175
チャーチチューリングのテーゼに至るまでの議論は面白いぞ
原始帰納的関数、λ関数、オートマトンだったかな？とかが全部等価な概念だという議論
この議論を理解するのに学部レベルの数学的思考力は必要だけど前提知識は無しで理解出来る
こういう数学の議論と計算量の議論は別分野