[過去ログ]
現代数学の系譜 カントル 超限集合論 (1002レス)
現代数学の系譜 カントル 超限集合論 http://rio2016.5ch.net/test/read.cgi/math/1570237031/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
リロード規制
です。10分ほどで解除するので、
他のブラウザ
へ避難してください。
99: 132人目の素数さん [sage] 2019/10/05(土) 22:01:01.97 ID:kZwmbLNI 集合について要素の数を「横方向」、{}の深さを「縦方向」と呼ぶことにすると 横方向は可算無限だろうが、非可算無限だろうが、いくらでも広がりますが 縦方向は必ず有限です http://rio2016.5ch.net/test/read.cgi/math/1570237031/99
294: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2019/10/12(土) 14:30:59.97 ID:0oc9Ztsl >>292 > 有限整列集合 {1, 2, . . . , n} の順序数を n と書く。(心は nth の意味。) そうそう、日本語では、基数詞(簡単には個数を数える)と序数詞(順番)との区別が、助数詞(個・番など)でなされる 前者は1個2個で、後者は1番2番など 数学においては、”nth”は略して書かないので、日本語記法に近い が、ノイマンとかツェルメロとか、彼らの思考は基数詞(Cardinal)と序数詞(Ordinal)とが峻別されているのです、きっと(^^ だから、かれらの文書を読むとき、「Cardinalの話なのか、Ordinalの話なのか」を、日本人はしっかり意識しておかないと 迷走してしまいがちです そして、いまの議論は、全部シングルトンだからCardinalは1だが しかし、順序型(Ordinal)としてはωに相当する列のシングルトンの集合が存在しうるよということ (参考) https://ja.wikipedia.org/wiki/%E6%95%B0%E8%A9%9E 数詞(すうし)とは、数を表す語である。言語及び数詞の種類により、名詞、形容詞、限定詞などの下位の品詞に分類されるが、その性質は独特である。 (抜粋) 基数詞 基数詞(きすうし)とは、基数、すなわち分けて数えられるものの個数を表す数詞である。日本語の「いち」、「に」、「さん」は基数詞である。 序数詞 序数詞(じょすうし)あるいは順序数詞(じゅんじょすうし)とは、順序数、すなわち分けて数えられるものの順番を表す数詞である。 通常は基数詞から規則的に求められるが、小さい整数では不規則変化や補充形が見られる。例えば英語の序数詞は、first , second は補充形、third は不規則、fourth からは規則的(但し、21以降は一の位の数に従う)であり、フランス語では premier は補充形、deuxieme からは規則的である。 日本語では単独で序数詞を表すものはないが、「第-」を漢数詞(助数詞が付く場合は、算用数字で表すこともある)の前に付けるか、「-目」「-位」を助数詞の後に付けて表現される。 ・第二、第二回 ・二番目、二回目 https://ja.wikipedia.org/wiki/%E5%8A%A9%E6%95%B0%E8%A9%9E 助数詞 (抜粋) 日本語の助数詞はバラエティに富んでおり、「個」、「匹」(動物)、「本」(細長いもの)、「枚」(平たいもの、厚みのないもの)など高頻度で多くの語に用いられる http://rio2016.5ch.net/test/read.cgi/math/1570237031/294
366: Mara Papiyas ◆y7fKJ8VsjM [] 2019/10/13(日) 18:26:38.97 ID:2pwdGOo0 >>364 >金のなる木にしがみつかなきゃいけてけない それはカネにとらわれてる証拠 カネは物理法則じゃないw http://rio2016.5ch.net/test/read.cgi/math/1570237031/366
394: ID:1lEWVa2s [sage] 2019/10/13(日) 19:46:30.97 ID:87Wfcy4Z >>393 違う。赤と青の左右の色のタウカプセル。 飲んだら即死ぬ 裏の薬用意されたから名前はない。 多分二度と教えてくれない。 あの時精神医学法上の特例がでてたはず。 かなりひどかったから。 あなたもですか。代格者。 http://rio2016.5ch.net/test/read.cgi/math/1570237031/394
493: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2019/11/27(水) 21:00:00.97 ID:qnEhNItW >>492 つづき https://ja.wikipedia.org/wiki/%E4%B8%80%E9%9A%8E%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86 一階述語論理 (抜粋) 一階述語論理に関する定理 以下、健全性定理と完全性定理以外の重要な定理を列挙する。 2.レーヴェンハイム・スコーレムの定理 : κ を無限基数とする。論理式全体の集合の濃度が κ であるような一階の言語における文の集合がモデルを持つなら、それは濃度 κ 以下のモデルも持つ。 他の論理との比較 ・無限論理は無限に長い文を許す。例えば無限個の論理式の連言や選言が許されたり、無限個の変項を量化できたりする。 こうした論理の多くは、一階述語論理の何らかの拡張と言える。これらは、一階述語論理の論理演算子と量化子を全て含んでいて、それらの意味も同じである。 リンドストレムは、一階述語論理の拡張には、レーヴェンハイム・スコーレムの下降定理とコンパクト性定理の両方を満足するものが存在しないことを示した。 この定理の内容を精確に述べるには、論理が満たしていなければならない条件を数ページにわたって列挙する必要がある。 例えば、言語の記号を変更しても各文の真偽が基本的に変わらないようになっていなければならない。 一階述語論理のいくぶんエキゾチックな等価物には、次のものがある。 順序対構成をもつ一階述語論理は、特別な関係として順序対の射影を持つ関係代数(これはタルスキと Givant によって構築された)と精確に等価である。 つづく http://rio2016.5ch.net/test/read.cgi/math/1570237031/493
630: 132人目の素数さん [sage] 2019/12/07(土) 15:04:02.97 ID:r8l5YtX/ >>628 違います。 後者関数だけで超限帰納法ができると言ってるのは整列順序集合がわかってないからです。 もうすでにあなたがコピペした文章の中に整列順序集合は何回も出てきていますがあなたは一つも理解できていません。 理解するつもりなどないから当たり前ですが。 http://rio2016.5ch.net/test/read.cgi/math/1570237031/630
665: 132人目の素数さん [sage] 2019/12/07(土) 17:11:22.97 ID:r8l5YtX/ >>663 それです。 Xが>>660のZ(ω)のとき、F(X)は無限集合なので反例にはなりません。 http://rio2016.5ch.net/test/read.cgi/math/1570237031/665
678: 132人目の素数さん [] 2019/12/07(土) 18:15:32.97 ID:uZFmzNJe >>677 話 聞いてますか? >>644ではF(X)でなくFと書いてます >>644の誤りを述べているのですり替えはやめましょうね シングルトンとは「唯一の要素を持つ集合」ですよね つまり空集合はシングルトンではないですよね その場合>>644の書き方では空集合はFの要素になりませんね しかもシングルトンしかない上に、その要素も シングルトンとしてFの要素になるといってるから いつまでたっても終わりませんよ つまり正則性公理を満たしませんね http://rio2016.5ch.net/test/read.cgi/math/1570237031/678
706: 132人目の素数さん [sage] 2019/12/08(日) 16:05:05.97 ID:qHcJ5sAq トリップコピペするのすらめんどい。 スレ主以外のトリップはともかくスレ主で特定できるからいいでしょ? おそらくスレ主が無限公理云々いうのは ・Neumann流の順序数を構成するには無限公理が必要だ。 ・無限公理にはどうやらNeumann流とZermelo流のふたつあるらしい。 ・なのでとりあえずZermelo流の無限公理よりってかいておくとそれらしくなるっぽい。 くらいの認識しかないんだろう。 もちろんZermelo流の正しいZ(ω)の構成には無限公理が必要だけどもちろん証明が理解できていないスレ主には、なぜ必要なのかも理解できていない。 それが理解できていれば、この段階で別に話をZermelo流の無限公理に取り替える必要などないこともわかる。 だいたい前に集合論の教科書の最初の50ページって書いたけど、それまでに書いてある事なんて整列順序集合とか整列可能定理とかのクソ基本事項だけで普通なら多く見積もっても理解するのに一週間かからない。 そこまで来れば>>327の証明完成させるのもそんなに難しい話ではないしΩなんて妄想なんかいっぺんに吹き飛んでいくはずのもんなんだけど、いつまで経っても理解できない。 まぁ三年も勉強しての現時点でのガロア理論の理解があの程度なんだから一生理解できないのかもしれないけど。 知能の問題ではなく人間性の問題だな。 学問に向いてない。 http://rio2016.5ch.net/test/read.cgi/math/1570237031/706
835: 132人目の素数さん [] 2019/12/17(火) 06:04:11.97 ID:LQIUz6rO >>827-830 ID:jPpPAWQGはキティガィだな http://rio2016.5ch.net/test/read.cgi/math/1570237031/835
882: 132人目の素数さん [sage] 2019/12/18(水) 23:50:11.97 ID:1Iara4Wc 此処で解をアップしてね♪(^^) (σ´∀`)σパクって発表したる♪ http://rio2016.5ch.net/test/read.cgi/math/1570237031/882
903: 132人目の素数さん [sage] 2019/12/19(木) 19:40:09.97 ID:87tqMlln Σ(´Д`;)ハッ!まさか虫工 男 、、、 女又が止ヒ処まで、、、?そんな、まさか、、、💦 http://rio2016.5ch.net/test/read.cgi/math/1570237031/903
917: 132人目の素数さん [] 2019/12/20(金) 07:59:00.97 ID:pVRKr0X7 おとうさんが泣いてますょ・・・ http://rio2016.5ch.net/test/read.cgi/math/1570237031/917
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.053s