[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 73 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
82(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/30(水)18:17 ID:2NlqhhKB(2/3) AAS
>>77
>内包公理の存在がラッセルのパラドックスの直接原因。抑制はもっぱら内包公理の排除による
ふっふ、ほっほ
踏みつけたゴキブリが、まだ動いているなｗ ；ｐ）
下記の東北大 尾畑研 ”2.3 ラッセルのパラドックス”を 百回音読してねｗ （＾＾
(参考)
外部ﾘﾝｸ:www.math.is.tohoku.ac.jp
省40
83(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/30(水)18:27 ID:2NlqhhKB(3/3) AAS
>>82
ついでに
(参考)
外部ﾘﾝｸ[html]:www.kurims.kyoto-u.ac.jp
京都大学数理解析研究所コンピュータ・サイエンス研究部門
長谷川 真人 （はせがわ・まさひと） （教授）
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
省23
84(1): 07/30(水)18:51 ID:Qr8P8/dc(2/6) AAS
>>82
まーた水戸黄門かｗ なんとか先生を出せばひれ伏すとでも思った？
しかし何の反論にもなってないよ なんか反論した気でいるの？ 何をどう反論したのか具体的に言ってみ？
86(1): 07/30(水)19:00 ID:Qr8P8/dc(4/6) AAS
>>82-83
君さあ、言葉がしゃべれないの？
なんとか先生を出して、それが何だと言ってるの？ 言語障害？
ああそっか、君自身は何一つ分かってないし、何か言えば必ず間違えて赤っ恥かくから、なんとか先生を出せばそれでどうにかなるだろう、そう思って出したんだね？ 馬鹿過ぎて話にならないね
91(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/30(水)23:19 ID:mIho28o5(3/3) AAS
>>90 補足
>『ZFCは、あらゆる性質に対して、その性質を満たすすべてのものの集合が存在するとは仮定しません。むしろ、任意の集合Xが与えられたとき、一階述語論理を用いて定義可能なXの任意の部分集合が存在すると主張します。上記のラッセルのパラドックスによって定義された対象R は、任意の集合Xの部分集合として構成することができないため、ZFCでは集合ではありません』
これ>>82 尾畑研 第2章 集合
"ラッセルのパラドックスは集合論の矛盾を突いているように見えるが
今日から見れば何が集合であり何が集合でないのかを設定し切れていなかったということである
厳密を旨とする現代数学では一群の公理系を設定して
それのみを用いて論理的に導き出された結果を集積することで
省8
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.049s