[過去ﾛｸﾞ] 【無限小】柄谷行人を解体する80【偏微分∂】 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
530: [age] 11/06(水)21:04 ID:0(530/1000) AAS
From mathcomp Require Import all_ssreflect.
(* 2要素を持つ順序数型の濃度 *)
Lemma bool_cardinal : #|'I_2| = 2.
Proof.
by rewrite card_ord.
Qed.
1 subgoal
______________________________________(1/1)
#|'I_2| = 2
私:型'I_2は、自然数nに対応する順序数ord(n)の形式化として、
省6
531: [age] 11/06(水)21:05 ID:0(531/1000) AAS
From mathcomp Require Import all_ssreflect.
(* 空集合（0要素の順序数型）の濃度 *)
Lemma empty_cardinal : #|'I_0| = 0.
Proof.
by rewrite card_ord.
Qed.
このコードでは：
1. 'I_2 は {0,1} という2要素の順序集合
2. 'I_0 は要素を持たない空集合を表現
3. どちらも card_ord という補題で証明できます
省9
532: [age] 11/06(水)21:05 ID:0(532/1000) AAS
私:0<1 をブール型の順序数と考えていいでしょうか。また、順序数を簡単に説明してください
AI: はい、 0 < 1 を「ブール型の順序数」として考えることはできます。ここでの
「ブール型」とは、真理値としてのTrueとFalseだけでなく、有限順序の感覚も
含んでいます。0と1の間のこの順序は、2つの順序数の間に明確な順序が
あるという意味で順序数のように解釈できます。
順序数とは？
順序数（ordinal number）は、集合や要素の並び順を表す概念で、
特に「順番」や「位置」の概念を形式化したものです。
順序数は、主に以下の2つの役割を持ちます：
1. 順序付け：集合や系列の要素の順序を定義します。
省10
533: 11/06(水)21:06 ID:0(533/1000) AAS
AA省
534: [age] 11/06(水)21:06 ID:0(534/1000) AAS
私:では、ωはアレフ0の濃度のことと同じですか
AI:いいえ、順序数のωと、濃度のℵ_0は密接に関係していますが、
異なる概念です。
ωは順序数
順序数としてのω は、自然数の無限の並びが完了した
次に来る「最初の無限順序数」です。順序数としてのωは
順序を持つ集合の並びを表現します。例えば、(0, 1, 2,...)の
「次」を定義するために使われます。
ℵ_0は濃度
省8
535: 11/06(水)21:07 ID:0(535/1000) AAS
AA省
536: 11/06(水)21:08 ID:0(536/1000) AAS
AA省
537: 11/06(水)21:12 ID:0(537/1000) AAS
ジャネットは今まで溜まってる罰金払えよ！
538: [age] 11/06(水)21:17 ID:0(538/1000) AAS
このスレは、明確な定義を伴う数学的な言明と、定義自体を欠いた可塑性隠喩哲学
やポモ思想との違いを鮮明化することに寄与しているのである。つまり、可塑性隠喩哲学や
延々と梯子外しを続けるだけのポモ思想へのアンチテーゼとして、数理的な考え方を紹介して
いるのである
539: 11/06(水)21:18 ID:0(539/1000) AAS
AA省
540: 11/06(水)21:19 ID:0(540/1000) AAS
ジャネットが不正に柄谷スレの名前を使い続ける限り、この通りジャネットのスレ（偽柄谷スレ）は潰される。
それだけのことｗ
541: 11/06(水)21:20 ID:0(541/1000) AAS
AA省
542: 11/06(水)21:21 ID:0(542/1000) AAS
ジャネットのやってることはしっかり犯罪である。
543: 11/06(水)21:21 ID:0(543/1000) AAS
柄谷スレへの不正アクセス禁止！！
544: 11/06(水)21:21 ID:0(544/1000) AAS
外部ﾘﾝｸ:music.youtube.com
今ではもう空の茜色さえ綺麗に見えないんだ。
545: 11/06(水)21:24 ID:0(545/1000) AAS
まず「柄谷行人を解体する」のスレタイ、
そしてスレ番の不正使用を、ジャネットはやめよ。
546: [age] 11/06(水)21:25 ID:0(546/1000) AAS
From mathcomp Require Import all_ssreflect.
(* 2要素を持つ順序数型の濃度 *)
Lemma bool_cardinal : #|'I_2| = 2.
Proof.
by rewrite card_ord.
Qed.
1 subgoal
______________________________________(1/1)
#|'I_2| = 2
私:型'I_2は、自然数nに対応する順序数ord(n)の形式化として、
省6
547: [age] 11/06(水)21:26 ID:0(547/1000) AAS
From mathcomp Require Import all_ssreflect.
(* 空集合（0要素の順序数型）の濃度 *)
Lemma empty_cardinal : #|'I_0| = 0.
Proof.
by rewrite card_ord.
Qed.
このコードでは：
1. 'I_2 は {0,1} という2要素の順序集合
2. 'I_0 は要素を持たない空集合を表現
3. どちらも card_ord という補題で証明できます
省9
548: [age] 11/06(水)21:27 ID:0(548/1000) AAS
私:0<1 をブール型の順序数と考えていいでしょうか。また、順序数を簡単に説明してください
AI: はい、 0 < 1 を「ブール型の順序数」として考えることはできます。ここでの
「ブール型」とは、真理値としてのTrueとFalseだけでなく、有限順序の感覚も
含んでいます。0と1の間のこの順序は、2つの順序数の間に明確な順序が
あるという意味で順序数のように解釈できます。
順序数とは？
順序数（ordinal number）は、集合や要素の並び順を表す概念で、
特に「順番」や「位置」の概念を形式化したものです。
順序数は、主に以下の2つの役割を持ちます：
1. 順序付け：集合や系列の要素の順序を定義します。
省10
549: [age] 11/06(水)21:27 ID:0(549/1000) AAS
私:では、ωはアレフ0の濃度のことと同じですか
AI:いいえ、順序数のωと、濃度のℵ_0は密接に関係していますが、
異なる概念です。
ωは順序数
順序数としてのω は、自然数の無限の並びが完了した
次に来る「最初の無限順序数」です。順序数としてのωは
順序を持つ集合の並びを表現します。例えば、(0, 1, 2,...)の
「次」を定義するために使われます。
ℵ_0は濃度
省8
上下前次1-新書関写板覧索設栞歴
あと 453 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s