[過去ログ] Inter-universal geometry と ABC予想 (応援スレ) 73 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
88(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/30(水)20:34 ID:mIho28o5(1/3) AAS
>>84-87
ふっふ、ほっほ
踏みつけられて なお 動くゴキブリくん
夏は暑いね、元気だね ゴキブリくんw ;p)
さて、自己言及の論理と計算 長谷川真人 数理解析研
補足で、下記のja.wikipedia 自己言及のパラドックス を貼る
「この文は偽である」
省19
89: 07/30(水)21:40 ID:Qr8P8/dc(6/6) AAS
>>88
唐突に誰も求めてないコピペしてどうした?
相変わらず言葉のキャッチボールができないね 自閉症かい?
90(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/30(水)23:10 ID:mIho28o5(2/3) AAS
>>88 追加
『ZFCは、あらゆる性質に対して、その性質を満たすすべてのものの集合が存在するとは仮定しません。むしろ、任意の集合Xが与えられたとき、一階述語論理を用いて定義可能なXの任意の部分集合が存在すると主張します。上記のラッセルのパラドックスによって定義された対象R は、任意の集合Xの部分集合として構成することができないため、ZFCでは集合ではありません』(下記)
ゴキブリさんは、これを百回音読しましょう!w ;p)
(参考)
外部リンク:en.wikipedia.org
Russell's paradox
google訳
省6
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.056s