Inter-universal geometryとABC予想(シン応援スレ) 92 (409ﾚｽ)
上下前次1-新
75: 06/13(土)12:17 ID:2JsZZZYS(25/29) AAS
テンプレ入りです
>・一方、Dedekind Cutsを使うと なんらの選択公理は不要だが
> 完備であることの証明はできない
76: 06/13(土)12:17 ID:2JsZZZYS(26/29) AAS
>実数の公理を裏口から密輸している
>ZFC公理系で 実数の公理なんて使えないぞ
と
>で 外部ﾘﾝｸ:en.wikipedia.org
>を見ると、ZF公理系の話では無いだろ
>例えば
>Tarski's axiomatization of the reals
>とか
>それ 笑えるんだけど？（＾＾
もテンプレ入りで
77: 06/13(土)12:17 ID:2JsZZZYS(27/29) AAS
テンプレ入りかな？
>可算選択公理さえ仮定しない ZFのみでは・・
>1）コーシー列とデデキントカットの同値は言えない（別物？）
78: 06/13(土)12:18 ID:2JsZZZYS(28/29) AAS
テンプレ入りです
>おかしいねよ？ 可算選択公理ACω なしで 実数の構成できると言った人がいたけど
>たしかに、形式的には デデキントカット、コーシー列も それらしい まねごとは出来たとしても
>ガウスやコーシー、リーマン、ワイエルシュトラス、デデキント、カントール、ヒルベルト
>らが思っている実数（それは我々が求めている実数でもある）とはほど遠いよね
>
>可算選択公理ACω なしで構成した 実数の責任は？
>だれが どうとる？
79: 06/13(土)12:19 ID:ZOZ1R6H9(2/3) AAS
ヤンボーマーボー
天気予報
80: 06/13(土)12:22 ID:bRm+noww(3/4) AAS
２８℃
晴れのちくもり
81(1): 06/13(土)12:23 ID:2JsZZZYS(29/29) AAS
>>56
>天かす入りです
これ使わせて貰おっと
82: 06/13(土)12:24 ID:bRm+noww(4/4) AAS
２８℃
晴れのちくもり
83: 06/13(土)12:26 ID:ZOZ1R6H9(3/3) AAS
>>81
しゃーないな、特別だぞw
84: [age] 06/13(土)23:02 ID:SPSc7vy9(1) AAS
AA省
85: 06/14(日)05:58 ID:k784Ly9S(1/2) AAS
２２℃
くもり
86: 06/14(日)06:15 ID:iVhZ8xXP(1) AAS
天カス入りです
>Jech, T The Axiom of Choice. North-Holland. Jelonek 1973
>CH.2, THE COUNTABLE AXIOM OF CHOICE
>P21の画像 を見て貰えば分るが
>THE COUNTABLE AXIOM OF CHOICEは
>コーシー列の収束を証明するのに重要な役割をしている
87: 06/14(日)10:35 ID:lllE6ioS(1) AAS
ウマそうやねw
88(4): 06/14(日)14:29 ID:9MBHxaBE(1/5) AAS
バカチョンw
👇
IUT理論の形式化検証 一縷の緊張も心配も見えない （すでに）勝者の余裕ある姿😁
89(2): 06/14(日)14:30 ID:9MBHxaBE(2/5) AAS
IUTgtrってマスチョンの別垢？w
90(2): 06/14(日)20:00 ID:9MBHxaBE(3/5) AAS
朝鮮の人が名前に「哲」「敏」「仁」「貞」「正」などというの漢字を好むのは何故にですか？
91: 06/14(日)20:04 ID:k784Ly9S(2/2) AAS
２３℃
くもり
92: 06/14(日)20:21 ID:gOMPl6pr(1/11) AAS
>>88
おまえはしぬがよゐ。
93: 06/14(日)20:23 ID:Y7y2YnfU(1/2) AAS
よゐこは早く寝ようw
94: 06/14(日)20:23 ID:gOMPl6pr(2/11) AAS
ﾊﾟﾊﾟﾊﾟﾊﾟﾊﾟｱｧｯｰｰｰﾝ!!!
ー?(>>89)(>>90)ー∴∵
上下前次1-新書関写板覧索設栞歴
あと 315 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.017s