巨大数探索スレッド14
■ このスレッドは過去ログ倉庫に格納されています
ビジービーバー関数ならまだしも、ラヨ関数あたりはどういうのを定義と認めるかがデリケートで、それにグーゴロジーを言語の追究と考えるのであれば計算可能か不可能かとかいうのは問題にならなくて、
たとえばラヨ関数のもととなっているFOSTよりも計算可能なCoCのほうがある意味言語としては強い
platnist universeを数学的に明らかにしないグーゴロジストの怠慢という批判はあるかもしれない ■ このスレッドは過去ログ倉庫に格納されています