１．で、>>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が必ず有限になるという主張と等価 が導けるのか ６．上記の４と５については、解釈したＴさんが”導ける”ということを示す責任があると思うけど ７．個人的には４の方が問題が大きいと思うけど。それはともかく、「私がまったく分かってない」というふうに問題をすり替えているように聞こえるんだが
