17/06/22 21:07:51.94 WgJfdE7K.net
>>92
数学的帰納法(ペアノの公理)で項を順番に増やして無限数列を作るということに関してです
有限小数の小数表示から無限数列a1, a2, ... , an, 0, 0, ... を構成した有限小数バージョンの数当てを行った場合の話でも
スレ主は今と同じペアノの公理を持ち出してきて数当て戦略は正しくないと言っていたことが前提としてあって
たとえば全部の項が0の無限数列を代表元(a1=0, an=a(n+1)=0)としたときに
無理数の小数表示を数学的帰納法(ペアノの公理)で全て順々に求めていけばスレ主が書いているような
決定番号モドキが1ずつ増えていく状況をつくることができる
(もちろん属する類が異なるので正しく決定番号を求めているわけではなくゲームのルールを逸脱しているが
0が入っている箱を当てることができないことにはなる)
ｽﾚﾘﾝｸ(math板:91番)
> 数学的帰納法(ペアノの公理)を使うのならばanの数字を見てa(n+1)の数字を求められないと
> いけないわけだが√2の小数表示の全ての数字をそのような方法でスレ主は指定できるの？
その場合のスレ主の答えが
ｽﾚﾘﾝｸ(math板:94番)
> そのための選択公理だよ。この場合、可算選択公理で可だろうが