[過去ログ] 純粋・応用数学・数学隣接分野(含むガロア理論)20 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
672(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 06/21(土)12:41 ID:sEkgudR9(5/7) AAS
ふっふ、ほっほ
>>644 より再録
囲碁上達の格言の一つに、”相手の手のついて回るな”というのがあります
これを、君の>>641に当て嵌めると
君のヘボ手にお付き合いする必要がないってことだなw ;p)
以上
(参考)
省31
673(2): 06/21(土)13:19 ID:vzkn7e2Y(14/17) AAS
>>672
そんなクソの価値も無い駄文はいいから
>ω = { x ∈ A | Ent(x) }
で定義されるωが自然数全体の集合であることを証明してごらん できるかい? 何を示せば証明になるかすら分かってないのでは?
674: 06/21(土)14:57 ID:vzkn7e2Y(15/17) AAS
>>672
>君のヘボ手にお付き合いする必要がないってことだなw ;p)
反論できないときに使える便利な言い訳だなw
じゃあ肝心の>>673に答えてごらん 答えられないってことは自然数を構成できてないってことだよ
675: 06/21(土)20:27 ID:NOcL6ZiM(1/2) AAS
>>672
>カントールや デデキントにより、素朴無限集合論が出来た
>ところが、ラッセルのパラドックスのパラドックスが出てきた
はい、ダウト1
ラッセルのパラドックスは、素朴無限集合論に関するものではありません!
wikipedia ラッセルのパラドックス
「バートランド・ラッセルからゴットロープ・フレーゲへの1902年6月16日付けの書簡において
省11
676: 06/21(土)20:28 ID:NOcL6ZiM(2/2) AAS
>>672
>(集合論の公理化の)大きな問題の一つが、無限公理だった
>極限順序数ω=N これは、自然数の集合であるが、
>極限順序数なので 有限順序数の後者関数としては実現できない
>よって、なんらかの無限公理を置く必要がある
>このとき、単純に 極限順序数ω=N のみを認める公理にすると、単純だが
>その後でさらに ωに後者関数を適用して 無限集合たる順序数の構築を続けたいので、
省11
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.030s