[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
313(11): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/05(水)23:27 ID:BZV1IQOW(4/5) AAS
>>306
(引用開始)
セタへの問題
>Pを集合論の論理式, Pのz,x以外の自由変数はw_0,,w_i-1で, yはPの自由変数でないとする.
のとき
>∀w_0…∀w_i-1∀x∃y∀z(z∈y⇔z∈x⋀P(z))
の自由変数をすべて書け
(引用終り)
ふっふ、ほっほ
あのな、それよりか
省10
315: 11/05(水)23:36 ID:FFxAuNzB(10/11) AAS
>>313
ほらね、逃げたｗ
>それよりか
大学数学の基本中の基本である述語論理の基本中の基本の問題にそれよりかもクソも無い
321(2): 11/06(木)01:16 ID:PuQ4Gk5G(1/3) AAS
>>313
>圏論のロジック（矢印図）
って
可換図式のこと？
>（例えば P15 "6.3. Duality and derived categories."とかね。にあるのは可換図式だけど
>なお 集合の論理式も P11辺りに 出てくるけどね）
集合の論理式って何のこと？ていうか何でこれらだけを取り上げてるの？
「ここにあるのは有り難いことこの上ない圏論のロジックで矢印図と呼ばれるのじゃ
集合の論理式よりずっと高尚なものなのじゃ」
みたいなことを言いたいの？
省2
323: 11/06(木)04:58 ID:yNffKouK(2/12) AAS
>>313
>>Pを集合論の論理式,
>> Pのz,x以外の自由変数はw_0,,w_i-1で,
> >yはPの自由変数でないとするとき
>>∀w_0…∀w_i-1∀x∃y∀z(z∈y⇔z∈x⋀P(z))
>>の自由変数をすべて書け
>ふっふ、ほっほ
なんだ こんな問題も解けずに、笑って誤魔化すのかい カラスの世田は
そりゃ、大学１年で落ちこぼれるわけだ
>あのな、それよりか圏論のロジック（矢印図）読めるのか？ キミは
省3
406: 11/07(金)07:47 ID:Wa1lajrV(4/9) AAS
それと
>>313
>圏論のロジック（矢印図）読めるのか？ キミはｗｗ （＾＾；
圏論のロジックとは
射を矢印で表した図式のことですね？
しかし
>いまどきは
>圏論のロジック（矢印図）の方が重要だと思うよ
>（例えば P15 "6.3. Duality and derived categories."とかね。なお 集合の論理式も P11辺りに 出てくるけどね）
「圏論のロジック（矢印図）」が「集合の論理式」より重要な訳は何なんでしょう？
省2
472(5): 11/08(土)08:01 ID:hP1E8Bup(2/11) AAS
これについてはお答え頂けないようです
>>>313
>>圏論のロジック（矢印図）読めるのか？ キミはｗｗ （＾＾；
>圏論のロジックとは
>射を矢印で表した図式のことですね？
>しかし
>>いまどきは
>>圏論のロジック（矢印図）の方が重要だと思うよ
>>（例えば P15 "6.3. Duality and derived categories."とかね。なお 集合の論理式も P11辺りに 出てくるけどね）
>「圏論のロジック（矢印図）」が「集合の論理式」より重要な訳は何なんでしょう？
省6
479(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)09:40 ID:P9qVEF++(4/25) AAS
>>472
>図式が集合の論理式より重要という独特の価値観を押しつけて>>313
なにをおっしゃる ウサギさん
現代数学で 圏論が重要だと 例の数学者・加藤文元先生も 仰っていますです ハイ （＾＾
(google検索)
現代数学における 圏論の重要性
＜検索結果＞
外部ﾘﾝｸ:note.com
圏論の概要とその数学史における役割
under_the_sky
省15
481(2): 11/08(土)09:43 ID:hP1E8Bup(4/11) AAS
>>479
>現代数学で 圏論が重要だと 例の数学者・加藤文元先生も 仰っていますです ハイ （＾＾
圏論は重要ですよ？
あなたに聞いたのは
>>472
>>>圏論のロジック（矢印図）の方が重要だと思うよ
>>>（例えば P15 "6.3. Duality and derived categories."とかね。なお 集合の論理式も P11辺りに 出てくるけどね）
>>「圏論のロジック（矢印図）」が「集合の論理式」より重要な訳は何なんでしょう？
>>これもどこかに書かれていたのでしょうか？
>>あるいはあなた独自の解釈？
省6
488(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)10:04 ID:P9qVEF++(5/25) AAS
>>479
>>図式が集合の論理式より重要という独特の価値観を押しつけて>>313
補足しておくと
集合論としては、下記の 東北大 尾畑研のpdf程度で 良いのではないかと
つまり、コテコテのZFCの一階述語論理を 学部1年で 押しつけるのは 如何なものかと
つまり、人は日常では、必ずしも 純粋な一階述語論理では 思考していないわけで
前20世紀中頃は、数学は 日常のいい加減な 思考を排して コテコテの一階述語論理を優先すべし
（代表例がεδ式）
みたく教える人が多かったが
今21世紀は、もう少し 多様な考えが出てきた（その代表が超準や圏論）ように思います （＾＾
省8
751: 11/11(火)06:54 ID:5zG2VQDm(2/9) AAS
>>313
>下記 Colin McLarty 外部ﾘﾝｸ[1773]:arxiv.org
>の圏論のロジック（矢印図）読めるのか？ キミはｗｗ （＾＾；
>どうも、読めなさそうに見えるけどよ どうなの？ｗｗｗ
760(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/11(火)12:53 ID:3Cq8ZFbO(1/4) AAS
当事者です （＾＾
>>313より再録
ID:BZV1IQOW
>>306
(引用開始)
セタへの問題
>Pを集合論の論理式, Pのz,x以外の自由変数はw_0,,w_i-1で, yはPの自由変数でないとする.
のとき
>∀w_0…∀w_i-1∀x∃y∀z(z∈y⇔z∈x⋀P(z))
の自由変数をすべて書け
省31
761: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/11(火)12:58 ID:3Cq8ZFbO(2/4) AAS
>>760 タイポ訂正
>>313より再録
ID:BZV1IQOW
↓
>>313より再録
（ID:BZV1IQOWは、不要につき 消し）
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.041s