16/06/04 07:52:50.19 CtkyGlEO.net
>>350 つづき
狭義の「パラドックス」だとすると、時枝解法のどこかにギャップがあるはず
それをうまく、論証できない自分がもどかしいね
いま、疑っているのは、やはり、無限数列のシッポによる同値類分類から、代表元を決めて、決定番号を出すところ
特に、「決定番号」があやしいと見ている
一般の数学で、同値類から商集合を作って、代表を取る。そうすると、well-definedなら、代表を使って演算をしても、結果は代表の取り方に依存しないとできる場合が多い（というか、代表の取り方に依存しないときをwell-definedというのか）
が、時枝解法は、決定番号が代表元の取り方に依存する。だから、ここがあやしいと。おそらく、”無限数列のシッポ”というあたりで、”無限”とからんで「パラドックス」を生じている気がするが、うまく説明できないでいる（＾＾；
まあ、時枝ほどの人が、どういうつもりでこの記事を書いたのか不明だが、もし引っかかったとすれば、それを解きほぐすのに、我々レベルの人間が時間が掛かっても仕方ないだろうね