>>680
＞ 文kei が持ち出した話。
文keiなど知りません｡
>>681
...
>>684
興味もない、知識もない話しでしてオワリ。

＞ なんか別の定義ってありましたっけ？
これはデデキンドやカントルの実数論で実数が定義されるまえの話しをしたのです。
>>685
これはゲーデルのはなしの引用ですから、ゲーデルがブラウアーの講演を聴いて
不完全性定理のインスピレーションを得たときにカルナップに語ったことです｡

＞ ルール違反じゃない何らかの手を選んでくれるようにさえすれば
そんなソフトでは小学生でも弱すぎて面白くないとおもいますよ。
>>686
＞＞将棋の盤面全数探索が為されるより後のほうになるかもしれません。
＞無茶言うなよw
これは本当にそうですね。量子コンピューターでも無理でしょうから。
>>688
685へのレスを見てください｡
>>691
ひねりがたりない。