23/10/07 17:06:53.98 gn92qZNi.net
>>275
選択公理の話をしているのだから、選択公理と独立かつ>>265の商空間を作れるような公理系Γと公理系Γ+ACの比較をしていると思うんだけど、ではそのΓがZFでないと言うならどんな公理系を想定しているの？
284:１３２人目の素数さん
23/10/07 18:57:02.71 1LQHtMr5.net
>>274
あなた 正しいの？
285:１３２人目の素数さん
23/10/08 05:26:01.35 gn/ExfrY.net
>>277
それは「あなたは正しいですか」って聞いてる？
それなら「私が正しいか正しくないか私には分かりません」が答えになる
286:１３２人目の素数さん
23/10/11 10:27:48.48 0SVA+inZ.net
構成主義のwikipedia眺めてたら「構成主義はしばしば直観主義と同一視される」って書いてあってびっくりした
>>268や
287:>>269がおかしなこと言ってるとは思ってたが、こいつらもそういう勘違いしてたのか？
288:１３２人目の素数さん
23/10/11 12:25:40.47 rb7PWelf.net
洗濯終わった
289:１３２人目の素数さん
23/10/11 14:09:32.38 rb7PWelf.net
公理なんかやってると公理爺になる
290:１３２人目の素数さん
23/10/11 16:39:20.98 0SVA+inZ.net
>>265
よく見たら「選択公理によれば、代表は存在するが、」もおかしなこと言ってるな
任意の同値類Sに対して数列xが存在してx∈Sだけなら選択公理を使わず言えるんだけどな
291:１３２人目の素数さん
23/10/11 17:10:33.70 rb7PWelf.net
公理に氷つく
292:１３２人目の素数さん
23/10/14 10:07:51.88 LObxisxB.net
バナッハ=タルスキーのパラドックス
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
293:１３２人目の素数さん
23/10/14 21:30:36.45 ztrz31Dm.net
バナッハタルスキーは実数体が物理現象のモデル化に適していないだけだと思ってる
294:１３２人目の素数さん
23/10/14 22:04:11.45 LObxisxB.net
なんじゃいそりゃ
295:１３２人目の素数さん
23/10/14 22:14:14.01 LObxisxB.net
数学知らんのかいな
296:１３２人目の素数さん
23/10/14 22:55:33.62 LObxisxB.net
>>285
じゃ、何がいいんだい
297:１３２人目の素数さん
23/10/15 10:16:36.65 KcxANhG6.net
>>288
研究されてるものだとp進が有名だね
もちろんそれ以外によりよいものがある可能性もある
298:１３２人目の素数さん
23/10/15 11:51:31.00 KxfE8uhl.net
>>289
何故いいんだい
299:１３２人目の素数さん
23/10/15 12:49:46.22 KcxANhG6.net
>>290
p進に関して言えばまだ研究途上のものだから、実数と比べた精度の良し悪しはこれから議論されていくはず
ただ少なくとも実数によるモデル化にはバナッハタルスキーのパラドクスが生じるという欠点がある
300:１３２人目の素数さん
23/10/15 14:00:15.45 KxfE8uhl.net
>>291
いみふめい
301:１３２人目の素数さん
23/10/15 16:53:27.53 KxfE8uhl.net
ポエム爺さんか
302:１３２人目の素数さん
23/11/16 20:30:37.59 Ow+xRgZj.net
URLﾘﾝｸ(youtu.be)
これバカにも分かるよう解説されてていいね
選択公理をまともに理解せず批判してるガイジはこれ見て勉強して
303:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています