16/08/21 07:59:28.91 HSvIUZ4r.net
>>159 つづき
１．で、>>142-143に書いたように、問題の箇所は”so do standard models, and the statement “all but finitely many prisoners go free” is also true in the standard model. ”だねと聞いたんだ。それでＯＫだね？
２．”Taoは「infinity hat problemで助からない人数は有限」は真だと言っている(同じcornellのサイトにTaoの別のレスがある)。 これは決定番号dが必ず有限になるという主張と等価。”>>130 だったよね
３．だから、私が思ったのは、“all but finitely many prisoners go free” is also true→Taoは「infinity hat problemで助からない人数は有限」は真だと言っている→これは決定番号dが必ず有限になるという主張と等価 と貴方が考えたんだろうと
４．で、問題は“all but finitely many prisoners go free”→「infinity hat problemで助からない人数は有限」が導けるのか
５．「infinity hat problemで助からない人数は有限」→これは決定番号dが必ず有限になるという主張と等価 が導けるのか
６．上記の４と５については、解釈したＴさんが”導ける”ということを示す責任があると思うけど
７．個人的には４の方が問題が大きいと思うけど。それはともかく、「私がまったく分かってない」というふうに問題をすり替えているように聞こえるんだが