>>648
＞ 「真理が多数決で決まるのではない」
＞とおっしゃっていたのはどこの誰だっけ？
現実の世の中が動いていくさまと孤高に真理を求めていく立場の違いがおわかりにならない
ようですね。
>>649
＞ プログラムがシンプル≠信用できる
アインシュタインも「できるかぎりシンプルであれ」が口癖でしたよ。
>>650
＞ ＞現実的に不可能ということは、事実として不可能ということです
＞という 文kei 君 の主張より、次の推論が成立する：
プラトンのイデア説というのを、信じる数学者は多いです｡数学的対象が存在する
という考え方です｡しかし、'現実’'存在’'事実’これらの言葉は哲学でも一筋なわでいかない
話しで、ここで到底議論できることではありません。
>>651
＞ 是非作ってみて欲しい。
将棋ソフトをつくったことがあります。将棋がすきでないので、詰み将棋くらいは
できましたが、つづかなかった。詰み将棋の部分は再帰的プログラムでいけるので
アルゴリズムがありますが、その他の部分はありません。ヒューリスティックに
やらなくてはならないのです。数千ステップではすまないのでここには書けません｡
>>655
＞ 数学書ではよくある書き方で、イメージではこうだけど、
お仲間うちではよくわかる暗黙の記号法ですか？スリの隠語とおなじレベルですね。