[過去ログ]
スレタイ 箱入り無数目を語る部屋19 (1002レス)
スレタイ 箱入り無数目を語る部屋19 http://rio2016.5ch.net/test/read.cgi/math/1717503315/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
116: 132人目の素数さん [] 2024/06/09(日) 23:05:38.87 ID:YENCykiy >>114 自戒? http://rio2016.5ch.net/test/read.cgi/math/1717503315/116
117: 132人目の素数さん [sage] 2024/06/10(月) 18:11:15.08 ID:YnIbLg4/ 例えば箱1個に入ってる実数を当てるゲームでも、横で勝手に箱入り無数目をやって、箱入り無数目のほうの最後の箱を開けて答え合わせする直前に元のゲームの箱と入れ替えたら、元のゲームの攻略法ができちまう という状態になる攻略法でないと箱入り無数目の問題を題意通りに攻略できたことにならないだろ これができない攻略法は箱の中身をカンニングしてるんだよ http://rio2016.5ch.net/test/read.cgi/math/1717503315/117
118: 132人目の素数さん [sage] 2024/06/11(火) 04:31:02.57 ID:5SrpSFfc >>117 >例えば箱1個に入ってる実数を当てるゲームでも、 >横で勝手に箱入り無数目をやって、 >箱入り無数目のほうの最後の箱を開けて >答え合わせする直前に元のゲームの箱と入れ替えたら、 >元のゲームの攻略法ができちまう できねえよ🐎🦌 すり替えとか詐欺師かよ🐎🦌 http://rio2016.5ch.net/test/read.cgi/math/1717503315/118
119: 132人目の素数さん [sage] 2024/06/11(火) 04:34:55.25 ID:5SrpSFfc >>118 >…という状態になる攻略法でないと >箱入り無数目の問題を題意通りに攻略できたことにならないだろ >>117の「箱1個に入ってる実数を当てるゲーム」は 箱1個が「固定」されているだろ? だからすり替えちゃダメ 箱入り無数目の題意以前の、人間としての良識の問題 あ?おまえ、🐒か じゃ人間の良識ないか ゴメンゴメン http://rio2016.5ch.net/test/read.cgi/math/1717503315/119
120: 132人目の素数さん [sage] 2024/06/11(火) 04:38:21.77 ID:5SrpSFfc >>118-119 >これ(箱のすり替え)ができない攻略法は箱の中身をカンニングしてるんだよ 箱入り無数目では中身を当てる箱は固定されてない 回答者は中身を見てないからその意味ではカンニングしてない ただし尻尾から得た代表の情報はカンニングかもしれんけど 選択公理によってカンニングが容認されてるので仕方ないw http://rio2016.5ch.net/test/read.cgi/math/1717503315/120
121: 132人目の素数さん [sage] 2024/06/11(火) 04:41:53.71 ID:+82XMG1Z >>118 できないというなら記事に書いてある攻略法はカンニングしているということ できるというなら箱はそもそも1個でもよかったということ http://rio2016.5ch.net/test/read.cgi/math/1717503315/121
122: 132人目の素数さん [sage] 2024/06/11(火) 04:42:18.72 ID:+82XMG1Z >>120 記事にはカンニングしてよいとは書いてない http://rio2016.5ch.net/test/read.cgi/math/1717503315/122
123: 132人目の素数さん [] 2024/06/11(火) 04:56:15.77 ID:5SrpSFfc >>121 >できないというなら記事に書いてある攻略法はカンニングしているということ 一応聞くけどカンニングとはどういう意味? 箱をこっそり開けてるという意味? もしそうだとして具体的にどこでどうやって開けてる? 開けてないならそれは君以外の全員にとってカンニングではないな http://rio2016.5ch.net/test/read.cgi/math/1717503315/123
124: 132人目の素数さん [sage] 2024/06/11(火) 12:32:27.17 ID:gIjgPHKd 皇統の男系男子の継承と伝統文化や祭祀の承継を行いながら きっちり国際的な意義のある同盟結婚を各国王室帝室と結べてこその皇室の存在意義なんだよ これは民間の一族ではいかに名門旧家でも無理だからね。 インドネシア王家から王女殿下を皇太子妃にお迎えして皇后、国母と成したり、こちらから皇女殿下方にお嫁ぎ頂いて軍事同盟と貿易協定等、安全保障と経済両面、そして深いレベルでの文化交流と融合、一体化を計る事が長期的に可能なのは君主制の国々の強みでもあるんだから。 http://rio2016.5ch.net/test/read.cgi/math/1717503315/124
125: 132人目の素数さん [sage] 2024/06/11(火) 12:33:50.26 ID:gIjgPHKd 誤爆失礼しました http://rio2016.5ch.net/test/read.cgi/math/1717503315/125
126: 132人目の素数さん [sage] 2024/06/11(火) 12:42:53.29 ID:S9+mn8pb もし、当てるべき箱を決める前に他の箱を見るのが「カンニング」だとして 記事にその行為を禁止する文章が書かれていたかと言えば、答えは否 「箱がたくさん,可算無限個ある.箱それぞれに,私が実数を入れる. どんな実数を入れるかはまったく自由,例えばn番目の箱にe^nを入れてもよいし,すべての箱にπを入れてもよい. もちろんでたらめだって構わない.そして箱をみな閉じる. 今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが,一つの箱は開けずに閉じたまま残さねばならぬとしよう. どの箱を閉じたまま残すかはあなたが決めうる. 勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら,あなたの勝ち. さもなくば負け. 勝つ戦略はあるでしょうか?」 http://rio2016.5ch.net/test/read.cgi/math/1717503315/126
127: 132人目の素数さん [sage] 2024/06/11(火) 13:52:36.61 ID:X2q17HgZ https://i.imgur.com/OXlouFM.jpg 締め切り間近です http://rio2016.5ch.net/test/read.cgi/math/1717503315/127
128: 132人目の素数さん [sage] 2024/06/11(火) 15:45:41.41 ID:+82XMG1Z >>123 先頭に∀を持ってくることでカンニングしてると前から言ってるのだが http://rio2016.5ch.net/test/read.cgi/math/1717503315/128
129: 132人目の素数さん [] 2024/06/11(火) 15:50:30.28 ID:U3so98oO >>128 なんで先頭に∀を持ってくることでカンニングしてることになるの? http://rio2016.5ch.net/test/read.cgi/math/1717503315/129
130: 132人目の素数さん [] 2024/06/11(火) 15:59:45.62 ID:QWIgygul >>128 まず、任意の無限列に対して、任意の箇所の尻尾から同値類の代表を得ることができ、それらは皆一致する これは一般的な定理であるので、問題出題前に証明可能である 次に、開けるべき箱の先の尻尾から同値類の代表を得るにあたり、開けるべき箱を閉めたままで構わない 上記2点から、カンニングしていないと断言できる http://rio2016.5ch.net/test/read.cgi/math/1717503315/130
131: 132人目の素数さん [] 2024/06/11(火) 16:02:47.40 ID:QWIgygul >>129 >なんで先頭に∀を持ってくることでカンニングしてることになるの? 全然考えずに勝手にそう思い込んでるんでしょう 数学で落ちこぼれる人によくある決めつけ思考ですね 決めつけが間違ってるが当人が頑として認めないので 決して正しい理解に至ることがない・・・ http://rio2016.5ch.net/test/read.cgi/math/1717503315/131
132: 132人目の素数さん [] 2024/06/11(火) 16:06:16.56 ID:S9+mn8pb 例えば ∀m,n∈N.¬((m>n)∧(m<n)) というために、別に2つの箱の中の自然数を公開する必要は全くない http://rio2016.5ch.net/test/read.cgi/math/1717503315/132
133: 132人目の素数さん [sage] 2024/06/11(火) 16:12:31.29 ID:+82XMG1Z >>131 だから、絶対にカンニングが起きないように論理的に縛れよ お前の主張は一様連続であることのステートメントは、∃ε∀xではなくて∀x∃εでεがxに依存してない場合を言うなんて言ってるようなもんだ http://rio2016.5ch.net/test/read.cgi/math/1717503315/133
134: 132人目の素数さん [sage] 2024/06/11(火) 16:17:04.68 ID:+82XMG1Z >>132 それなんの関係があるの? http://rio2016.5ch.net/test/read.cgi/math/1717503315/134
135: 132人目の素数さん [] 2024/06/11(火) 16:24:23.49 ID:U3so98oO >>133 なんで先頭に∀を持ってくることでカンニングしてることになるの? http://rio2016.5ch.net/test/read.cgi/math/1717503315/135
136: 132人目の素数さん [sage] 2024/06/11(火) 16:43:48.96 ID:+82XMG1Z >>135 なんでそれがわからないのかがほんと不思議なんだけど http://rio2016.5ch.net/test/read.cgi/math/1717503315/136
137: 132人目の素数さん [] 2024/06/11(火) 17:09:14.67 ID:U3so98oO >>136 君は分かってるんだ 説明できないのに http://rio2016.5ch.net/test/read.cgi/math/1717503315/137
138: 132人目の素数さん [sage] 2024/06/11(火) 17:10:51.95 ID:JWDfvoYg >>134 大いに関係ある つまり、2列が2列とも他の列よりも大きな決定番号を持つことがない という定理によって 2列の中で箱入り無数目の予測が成功する確率が少なくとも1つ存在する、と言えるから したがって >だから、絶対にカンニングが起きないように論理的に縛れよ は論理を知らぬ🐎🦌の戯言 http://rio2016.5ch.net/test/read.cgi/math/1717503315/138
139: 132人目の素数さん [] 2024/06/11(火) 17:13:10.72 ID:JWDfvoYg >なんでそれがわからないのかがほんと不思議なんだけど なんで無限列すべてを知らなくても同値類の代表元がとれるのか 君にわからないのかがほんと不思議なんだけど もし🐒でなく人間だとしたら、だけど http://rio2016.5ch.net/test/read.cgi/math/1717503315/139
140: 132人目の素数さん [] 2024/06/11(火) 17:15:41.93 ID:JWDfvoYg ∀m,n∈N.¬((m>n)∧(m<n)) の証明は基本的に背理法である つまり ∃m、n∈N.((m>n)∧(m<n)) から矛盾を導くことで示される http://rio2016.5ch.net/test/read.cgi/math/1717503315/140
141: 132人目の素数さん [sage] 2024/06/11(火) 17:16:57.83 ID:+82XMG1Z >>139 それ今の話と何の関係があるの? http://rio2016.5ch.net/test/read.cgi/math/1717503315/141
142: 132人目の素数さん [sage] 2024/06/11(火) 17:20:22.03 ID:/kyQ9Kf9 >>141 >>138を見よ http://rio2016.5ch.net/test/read.cgi/math/1717503315/142
143: 132人目の素数さん [sage] 2024/06/11(火) 17:24:20.08 ID:/kyQ9Kf9 >>141 ああ、139へのレスか 君は論理式も書かずに、当てるべき箱が∀でくくられると妄想し だから当てるべき箱を開けることなしに同値類の代表元は得られないと決めつけてるが そんなことは全然なく、どこから先の尻尾でも必ず同値類の代表元は得られるし それは必ず同じ値であるから、カンニングなどないと断言できる わからないのは君がまったく考えてないから 考えることなしに数学は決して理解できない http://rio2016.5ch.net/test/read.cgi/math/1717503315/143
144: 132人目の素数さん [sage] 2024/06/11(火) 17:35:30.64 ID:+82XMG1Z >>143 ようするに、∀が先頭についてることすら認識できてないってこと??? http://rio2016.5ch.net/test/read.cgi/math/1717503315/144
145: 132人目の素数さん [sage] 2024/06/11(火) 17:39:04.02 ID:+82XMG1Z 彼の主張は、攻略法があるというのは 例えば箱が1個の場合だと ∀x∃y. x=y の形の命題を示せばいいってこと http://rio2016.5ch.net/test/read.cgi/math/1717503315/145
146: 132人目の素数さん [sage] 2024/06/11(火) 17:40:12.23 ID:+82XMG1Z 普通に考えておかしいのだが、彼は先頭に∀をつけてることすら認識できてない http://rio2016.5ch.net/test/read.cgi/math/1717503315/146
147: 132人目の素数さん [] 2024/06/11(火) 18:19:38.80 ID:5SrpSFfc >>145 >箱が1個の場合だと そんな場合は存在しない かならず無限個ある http://rio2016.5ch.net/test/read.cgi/math/1717503315/147
148: 132人目の素数さん [sage] 2024/06/11(火) 18:21:07.26 ID:+82XMG1Z >>147 こいつ頭おかしいのか? http://rio2016.5ch.net/test/read.cgi/math/1717503315/148
149: 132人目の素数さん [] 2024/06/11(火) 18:23:15.64 ID:5SrpSFfc ・箱は無限個ある ・無限個の箱全部ではなく当てたい箱の後から始まる尻尾に当たる箱全部を開ければ代表がわかる ・もし無限個の箱からなる列の決定番号が当てたい箱より前なら、当てたい箱の中身は代表の対応する箇所の項と一致する この3行が「彼」には理解できず ∀ガーとわけもわからずわめきちらす http://rio2016.5ch.net/test/read.cgi/math/1717503315/149
150: 132人目の素数さん [] 2024/06/11(火) 18:23:55.35 ID:5SrpSFfc >>148 頭悪いのは君 残念だったね http://rio2016.5ch.net/test/read.cgi/math/1717503315/150
151: 132人目の素数さん [] 2024/06/11(火) 18:26:40.61 ID:5SrpSFfc 各同値類に対して代表は1つである したがって同値類の列の取り方で代表が変わることはない これは代表の定義であるから私にいちゃもんつけられても困る いちゃもんつけるなら代表というものを定義した人にいってくれ まあ無駄だけどね http://rio2016.5ch.net/test/read.cgi/math/1717503315/151
152: 132人目の素数さん [] 2024/06/11(火) 19:06:45.20 ID:U3so98oO >>148 頭オカシイのは記事の最初の文すら読めない君だね 「箱がたくさん,可算無限個ある.」 http://rio2016.5ch.net/test/read.cgi/math/1717503315/152
153: 132人目の素数さん [] 2024/06/11(火) 19:13:00.34 ID:U3so98oO で、いつになったら先頭に∀を持ってくるとカンニングしてることになる理由を答えてくれるんだい? まさか自分が言ったことも分からないのかい? http://rio2016.5ch.net/test/read.cgi/math/1717503315/153
154: 132人目の素数さん [] 2024/06/11(火) 19:14:20.50 ID:U3so98oO 自分が言ったことすら分からないバカに箱入り無数目が分かる訳ないわなw http://rio2016.5ch.net/test/read.cgi/math/1717503315/154
155: 132人目の素数さん [sage] 2024/06/11(火) 19:20:10.34 ID:+82XMG1Z >>153 君の主張はそれ以前に先頭に∀はついてないでしょ そっちのトンデモを直してから来たら? http://rio2016.5ch.net/test/read.cgi/math/1717503315/155
156: 132人目の素数さん [] 2024/06/11(火) 19:31:20.46 ID:U3so98oO >>155 やはり自分で言ったことすら分かってなかったんやな ダメだこりゃw http://rio2016.5ch.net/test/read.cgi/math/1717503315/156
157: 132人目の素数さん [sage] 2024/06/11(火) 19:38:07.14 ID:+82XMG1Z 先頭に∀を置く←カンニングを容認した論理 先頭の∀を後ろに移動できない←カンニングしている証拠 後ろに∀を置く←カンニングを禁止する論理 なんでこれがわからないんだ? 意味がわからん http://rio2016.5ch.net/test/read.cgi/math/1717503315/157
158: 132人目の素数さん [] 2024/06/11(火) 19:42:00.87 ID:U3so98oO >>157 既に反例が示されてることも分からないの? http://rio2016.5ch.net/test/read.cgi/math/1717503315/158
159: 132人目の素数さん [sage] 2024/06/11(火) 19:43:18.22 ID:+82XMG1Z >>158 どこに? http://rio2016.5ch.net/test/read.cgi/math/1717503315/159
160: 132人目の素数さん [] 2024/06/11(火) 19:44:23.08 ID:U3so98oO >>132 http://rio2016.5ch.net/test/read.cgi/math/1717503315/160
161: 132人目の素数さん [sage] 2024/06/11(火) 19:46:09.03 ID:+82XMG1Z >>160 意味わからん http://rio2016.5ch.net/test/read.cgi/math/1717503315/161
162: 132人目の素数さん [sage] 2024/06/11(火) 19:47:15.53 ID:+82XMG1Z 彼は自分が何を言ってるのか理解できているのだろうかと心配になる http://rio2016.5ch.net/test/read.cgi/math/1717503315/162
163: 132人目の素数さん [] 2024/06/11(火) 20:03:27.50 ID:5SrpSFfc >>162 君こそ∀が前についたらカンニングとかいうのが「嘘」だと気づこうな 🐒 http://rio2016.5ch.net/test/read.cgi/math/1717503315/163
164: 132人目の素数さん [] 2024/06/11(火) 20:04:19.62 ID:5SrpSFfc 大体当てるべき箱は∀の中に入らん このこともわからんのは正真正銘の🐎🦌 http://rio2016.5ch.net/test/read.cgi/math/1717503315/164
165: 132人目の素数さん [sage] 2024/06/11(火) 20:11:46.47 ID:+82XMG1Z >>164 だから、それがカンニングしてる証拠だろ http://rio2016.5ch.net/test/read.cgi/math/1717503315/165
166: 132人目の素数さん [sage] 2024/06/11(火) 20:12:57.43 ID:+82XMG1Z >>163 お前の自称反例は一番後ろに∀をおいてるんですけど、おめめ見えてますか? http://rio2016.5ch.net/test/read.cgi/math/1717503315/166
167: 132人目の素数さん [] 2024/06/11(火) 20:14:24.85 ID:U3so98oO >>162 それが君 その証拠に訳のわからない>>157を書き散らかしている http://rio2016.5ch.net/test/read.cgi/math/1717503315/167
168: 132人目の素数さん [] 2024/06/11(火) 20:15:27.42 ID:U3so98oO 先頭に∀を置く←カンニングを容認した論理 先頭の∀を後ろに移動できない←カンニングしている証拠 後ろに∀を置く←カンニングを禁止する論理 ↑ なにこれw これでなんか説明したつもりなの? 頭オカシイの? http://rio2016.5ch.net/test/read.cgi/math/1717503315/168
169: 132人目の素数さん [sage] 2024/06/12(水) 04:07:01.28 ID:M1GZfUZp 結局それを理解できる頭がないか、よほど都合が悪いのか… http://rio2016.5ch.net/test/read.cgi/math/1717503315/169
170: 132人目の素数さん [sage] 2024/06/12(水) 04:21:16.66 ID:HnQbEE+9 >>169 嘘を理解したら🐎🦌になる http://rio2016.5ch.net/test/read.cgi/math/1717503315/170
171: 132人目の素数さん [sage] 2024/06/12(水) 04:25:35.45 ID:HnQbEE+9 ・無限列の項全部ではなく当てたい項の後から始まる尻尾の項を知れば代表がわかる ・もし無限個の項からなる列の決定番号が当てたい項より前なら、当てたい項は代表の対応する項と一致する ・逆に言えば当てたい項が無限列の決定番号の後で、さらにその後から始まる尻尾をとれば当てたい項を当てられる http://rio2016.5ch.net/test/read.cgi/math/1717503315/171
172: 132人目の素数さん [sage] 2024/06/12(水) 04:26:38.00 ID:HnQbEE+9 なんで>>171のような簡単なことがわからん奴が数学板にいるのか? http://rio2016.5ch.net/test/read.cgi/math/1717503315/172
173: 132人目の素数さん [sage] 2024/06/12(水) 04:30:34.62 ID:HnQbEE+9 無限列の尻尾同値類の代表がとれることを「カンニング」というなら そもそも選択公理が「カンニング」を許容していることになる つまり「カンニング」がいかんという主張は 選択公理がいかんという主張となる http://rio2016.5ch.net/test/read.cgi/math/1717503315/173
174: 132人目の素数さん [sage] 2024/06/12(水) 06:17:31.59 ID:M1GZfUZp >>173 ∀を先頭に置きっぱなのがカンニングだって言ってんだよ 記憶力ダチョウかよ http://rio2016.5ch.net/test/read.cgi/math/1717503315/174
175: 132人目の素数さん [sage] 2024/06/12(水) 07:52:21.29 ID:YeZ0frGk >>174 具体的に 「箱入り無数目」記事で書かれていることを君が述語論理式で記述した上で、 何が∀で束縛されるのか そしてそれによって具体的にどこでカンニング、すなわち当てる箱の開封、が発生するのか を示されたい http://rio2016.5ch.net/test/read.cgi/math/1717503315/175
176: 132人目の素数さん [] 2024/06/12(水) 07:57:29.53 ID:K+PhOrBu >>2 >いよいよ第k列 の(D+1) 番目から先の箱だけを開ける:s^k(D+l), s^k(D+2),s^k(D+3),・・・. >いま > D >= d(s^k) >を仮定しよう.この仮定が正しい確率は99/100, (中略) >仮定のもと, s^k(D+1),s^k(D+2),s^k(D+3),・・・を見て代表r=r(s^k) が取り出せるので >(代表)列r のD番目の実数rDを見て, >「第k列のD番目の箱に入った実数はs^k(D)=rD」 >と賭ければ,めでたく確率99/100で勝てる. 日本語が読める人ならわかるが 当てる箱はD番目 開けてる箱はD+1番目以降 なので、カンニング(つまりD番目の箱の開封)は発生しようがない http://rio2016.5ch.net/test/read.cgi/math/1717503315/176
177: 132人目の素数さん [] 2024/06/12(水) 08:00:47.73 ID:H2WjMFc4 >>169 結局それを説明できる頭がないか、よほど都合が悪いのか… http://rio2016.5ch.net/test/read.cgi/math/1717503315/177
178: 132人目の素数さん [] 2024/06/12(水) 08:01:25.76 ID:K+PhOrBu >>176 もし、D+1番目以降のnでrn₌s^k(n)である場合 D+1>=d(s^k)だろうとわかるが D>=d(s^k)かどうかはわからない という点に注意せよ http://rio2016.5ch.net/test/read.cgi/math/1717503315/178
179: 132人目の素数さん [] 2024/06/12(水) 08:03:48.63 ID:H2WjMFc4 >>174 ∀を先頭に置きっぱだとなぜカンニングとなるのか説明しろって言ってんだよ 記憶力ダチョウかよ http://rio2016.5ch.net/test/read.cgi/math/1717503315/179
180: 132人目の素数さん [] 2024/06/12(水) 08:08:38.19 ID:H2WjMFc4 >>175 先頭に∀を置く←カンニングを容認した論理 先頭の∀を後ろに移動できない←カンニングしている証拠 後ろに∀を置く←カンニングを禁止する論理 などとほざくアホには無理です http://rio2016.5ch.net/test/read.cgi/math/1717503315/180
181: 132人目の素数さん [] 2024/06/12(水) 08:10:00.45 ID:K+PhOrBu ∀s∈R^N,n∈N.∃r∈R^N.(n>=d(s))⇒sn₌rn というのは、決定番号の定義から言えることなので、カンニングもクソもない そして同値類の代表をとる定義を満たす関数rが存在する、というのも 選択公理からいえることなので、これまたカンニングもクソもない 100個の無限列の100個の決定番号それぞれに対して 自分の決定番号dと自分以外の決定番号Dの最大値の間の不等式 d>D を満たす列はたかだか1つしかない これまたカンニングもクソもない http://rio2016.5ch.net/test/read.cgi/math/1717503315/181
182: 132人目の素数さん [] 2024/06/12(水) 08:15:18.94 ID:H2WjMFc4 Q. ∀を先頭に置きっぱだとカンニングとなる理由を説明せよ A. 先頭に∀を置く←カンニングを容認した論理 これで答えた気になってるって頭ダチョウかよw http://rio2016.5ch.net/test/read.cgi/math/1717503315/182
183: 132人目の素数さん [sage] 2024/06/12(水) 16:23:10.36 ID:M1GZfUZp >>181 見ての通り∀と∃の順序に無頓着だろ εδからやり直せよ http://rio2016.5ch.net/test/read.cgi/math/1717503315/183
184: 132人目の素数さん [sage] 2024/06/12(水) 16:32:43.68 ID:M1GZfUZp ∀s∈ℝ^ℕ.∃r∈ℝ^ℕ.s=r わいはもっと強い主張を証明できたし、選択公理なんてでてこねーぞ http://rio2016.5ch.net/test/read.cgi/math/1717503315/184
185: 132人目の素数さん [sage] 2024/06/12(水) 16:36:14.19 ID:G1xaRby0 基本的にはs(無限列)からr(同値類の代表である無限列)への関数だから∀∃の順でよい ただsから頭を落として別の頭に挿げ替えても同じrが得られるのが重要 だから当てるべき箱を開ける必要がない 尻尾の同値関係からやり直せよ🐎🦌 http://rio2016.5ch.net/test/read.cgi/math/1717503315/185
186: 132人目の素数さん [sage] 2024/06/12(水) 16:37:15.69 ID:G1xaRby0 >>184 >∀s∈ℝ^ℕ.∃r∈ℝ^ℕ.s=r 君、全然分かってないね 中卒? http://rio2016.5ch.net/test/read.cgi/math/1717503315/186
187: 132人目の素数さん [sage] 2024/06/12(水) 16:49:33.47 ID:M1GZfUZp ∀s∈ℝ^ℕ.∃r∈ℝ^ℕ.s=r から ∀s∈R^N,n∈N.∃r∈R^N.(n>=d(s))⇒sn=rn が証明できることすら分かってないのかよ http://rio2016.5ch.net/test/read.cgi/math/1717503315/187
188: 132人目の素数さん [] 2024/06/12(水) 17:28:19.26 ID:H2WjMFc4 >>184 それ、君のおつむと同じでぜんぜん強くないんだが http://rio2016.5ch.net/test/read.cgi/math/1717503315/188
189: 132人目の素数さん [] 2024/06/12(水) 17:29:58.25 ID:H2WjMFc4 >>187 ぜんぜん分かってなくて草 http://rio2016.5ch.net/test/read.cgi/math/1717503315/189
190: 132人目の素数さん [] 2024/06/12(水) 17:31:18.65 ID:H2WjMFc4 ∀を先頭に置きっぱだとなぜカンニングとなるのか説明まだですか? http://rio2016.5ch.net/test/read.cgi/math/1717503315/190
191: 132人目の素数さん [sage] 2024/06/12(水) 17:34:08.29 ID:M1GZfUZp 論理式がまともに書けないやつに分かるわけないだろ 口からクソ垂れる前にεδからやり直して来いよ http://rio2016.5ch.net/test/read.cgi/math/1717503315/191
192: 132人目の素数さん [sage] 2024/06/12(水) 17:35:53.69 ID:M1GZfUZp お前らこれ見てみろよ 噴飯ものだろ >∀s∈R^N,n∈N.∃r∈R^N.(n>=d(s))⇒sn₌rn http://rio2016.5ch.net/test/read.cgi/math/1717503315/192
193: 132人目の素数さん [] 2024/06/12(水) 17:42:28.71 ID:H2WjMFc4 >>192 もっと強烈なのあるよ 先頭に∀を置く←カンニングを容認した論理 先頭の∀を後ろに移動できない←カンニングしている証拠 後ろに∀を置く←カンニングを禁止する論理 http://rio2016.5ch.net/test/read.cgi/math/1717503315/193
194: 132人目の素数さん [] 2024/06/12(水) 18:34:27.23 ID:HnQbEE+9 >>192 全然おかしくないけど 「任意の無限列sと、自然数nに対して ある無限列rが存在して nがd(s)以上なら sのn番目の項とrのs番目の項が一致する」 rはsの尻尾同値類の代表列 d(s)はsの決定番号(sとrの尻尾の一致箇所の先頭) それより噴飯なのはこれ >∀s∈ℝ^ℕ.∃r∈ℝ^ℕ.s=r http://rio2016.5ch.net/test/read.cgi/math/1717503315/194
195: 132人目の素数さん [] 2024/06/12(水) 18:36:23.14 ID:HnQbEE+9 >∀s∈ℝ^ℕ.∃r∈ℝ^ℕ.s=r から >∀s∈R^N,n∈N.∃r∈R^N.(n>=d(s))⇒sn=rn が証明できる その通りだが、∀s∈ℝ^ℕ.∃r∈ℝ^ℕ.s=r なんて使ってないし それだと同じ同値類に属していても異なるrになってしまうから代表にならない そんな初歩もわからん🐎🦌なのか?中卒? http://rio2016.5ch.net/test/read.cgi/math/1717503315/195
196: 132人目の素数さん [] 2024/06/12(水) 18:37:52.61 ID:HnQbEE+9 「同値類の代表」が理解できない🐎🦌に大学の数学は決して理解できない http://rio2016.5ch.net/test/read.cgi/math/1717503315/196
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 806 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.012s