純粋・応用数学・数学隣接分野（含むガロア理論）21 (392ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
118(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/26(土)10:50:01.92 ID:w9PY0JQs(5/16) AAS
>>116
踏みつけた ゴキブリが、まだ動いている
元気なやつだなｗ ；ｐ）
(引用開始)
>"集合論の公理系の一番最初の公理は，すべての集合はその要素の全体から
>一意に決まることを主張する次のものである：
>（外延性公理）略．
省15
138: 07/26(土)22:35:04.92 ID:gZ1LykHx(16/22) AAS
>>133
まったくトンチンカン
そもそも1行で答えられる問題に何十行使ってんだよ
148(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/26(土)23:58:17.92 ID:w9PY0JQs(16/16) AAS
>>146 補足
誤：順序数全体の集まりはクラスの定義に合致するからクラスです
↓
正：順序数全体の集まりは、現代数学では （どのような定式化を選んだとしても）集合の定義に合致しないから真のクラスである
218(1): 08/22(金)07:46:43.92 ID:u7MFpsud(1) AAS
これ面白いね
外部ﾘﾝｸ:studio.persol-group.co.jp
studio.persol-group.co.jp
はたナマ
生成AIに月8万課金、23歳で月収100万。始まりはChatGPT“宿題代行”。
2025年8月21日
大学4年生でChatGPTに出会い、使い始めて数カ月で人生が激変──。
省4
252: 08/29(金)19:43:17.92 ID:OeOWj3ng(2/2) AAS
現実の場合に、体系Aの中では命題Gが決定不能かどうかをどうやって示すか。
もしかしたらAの中でGは証明できるのではないかといくら努力してみても証明できず、
Aの中でGの否定が証明できるのではないかといくら努力してみても証明できなかった
としても、そのことからだけでは決定不能であるとはいえない。
またAにGを公理として付け加えたBをつくれば、Bの中では命題Gは真理である、
と言われているが、実際にそれをやろうとするときに、
AにGを付け加えた体系Bが無矛盾になることをどうやって保証するのだろうか。
367: 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/24(水)20:42:50.92 ID:j35MrpIq(3/3) AAS
時枝記事から10年
日本の確率論数学者で 時枝記事を是認する人皆無ですよ ｗ ；ｐ）
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.022s