19/03/02 14:21:31.81 gxsT2klN.net
>>727
スレ主は、そもそも時枝記事が成立しない、といっているようだが、
それは端的にいって「無限列も適当に打ち切って有限列として扱う」
ことなしにはあり得ないな
打ち切らない場合、決定番号が幾つであろうとその先に尻尾があるから
必ずその尻尾から代表元を得ることができて、時枝記事が成立する
打ち切りすれば、打ち切った先の尻尾はとれない
ついでにいうと、打ち切りによって同値類も変化する
スレ主は
「πは3.14、1/(1-x)は1+x+x^2だとしてよい
無限長の小数、無限項の級数を計算する能力なんて
人間にはない」
というのと同様に
「打ち切りなしに、２つの無限列について尻尾が一致するかどうか判断できない
無限個の項を比較する能力なんて人間にはない」
といいはればいい
どうせその程度の考えしかないんだから
そうしたらみんな
「ああ、こいつはそもそも無限が扱えないのか」
と思って誰も相手しなくなる