>>751
俺的には「存在するけど作れない」だと思うけどな。
全ての計算可能数を列挙するのは、有限の時間を生きる人間には不可能。
無限の時間を生きる神様にはできるかも知れないけどな。
そして、アルゴリズムが存在しないと言うことは、
人間が神様に「ほら、こうすればできるでしょ」と言うことすらできない。
人間が無限に踏み出す第一歩である数学的帰納法も使えない。
人間には扱えないけれど神様なら作れるというのは
天下り的な定義でしかないと思うんだけどねぇ…