[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
329(5): 11/06(木)06:04 ID:yNffKouK(8/12) AAS
御免、328の文章間違った（笑）
正しくは以下
「Xが誰であれ、それぞれ特定の誰かYがいて、XがYを●●するのは、YがYを●●するときそのときに限る」
この否定は
「ある特定のXがいて、任意のYに対して、XがYを●●するのは、YがYを●●しないときそのときに限る」
ここで、YがXだとすると、
「XがXを●●するとのは、XがXを●●しないときそのときに限る」
となって矛盾する
要するに、ラッセルパラドックスとは
「一階述語論理における、基本的な定理の否定文」
省4
331: 11/06(木)08:20 ID:PuQ4Gk5G(2/3) AAS
>>329
>XがYを●●するのは、YがYを●●するときそのときに限る
P={(X,Y)|XがYを●●する}
Q={(X,Y)|YがYを●●する}
P⊂Q ⇔ P-Q=φ
¬(P⊂Q) ⇔ P-Q≠φ
∃X∀Y:YがYを●●しないときでもXがYを●●することがある
Y=X
XがXを●●しないときでもXがXを●●することがある
人
341(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/06(木)10:09 ID:9MLt2+C6(2/17) AAS
>>329
必死の連投 ご苦労さん ；ｐ）
>わかったかな カラスの世田君
ふっふ、ほっほ
非数学ネタに逃げた時点で、数学の議論での非勢を認めたってことだ
なので、こちらは ”ふっふ、ほっほ”です （＾＾
因みに、私の名前については、否定も肯定もしない
もし、否定しても 別の名前を持ち出すだろう。そうすると、その名前の人が迷惑だから
もし、肯定しても 同じ姓の人がいると、「お前だろう」などとその名前の人が迷惑だからｄ
まあ、がんばってくれ
省1
343(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/06(木)10:53 ID:9MLt2+C6(4/17) AAS
>>341 タイポ訂正
もし、肯定しても 同じ姓の人がいると、「お前だろう」などとその名前の人が迷惑だからｄ
↓
もし、肯定しても 同じ姓の人がいると、「お前だろう」などとその名前の人が迷惑だから
さて
>>329
>要するに、ラッセルパラドックスとは
>「一階述語論理における、基本的な定理の否定文」
>なので、一階述語論理が確立された現在では
>その気になれば誰でも分かって当然なのである
省25
352(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/06(木)11:40 ID:9MLt2+C6(7/17) AAS
>>326-330
；ｐ）；ｐ）；ｐ）；ｐ）；ｐ）
>一階述語論理は、アリストテレス論理学よりは強力
まず、人は ”一階述語論理”そのものでは、思考していない！
古代ギリシアの昔からね それを認めよう
次に、一階述語論理が向いている分野が 沢山ある
特に 理系の分野な。だが、高木先生は 数学研究は 演繹より帰納だと言った
演繹は、一階述語論理かもしれないが
帰納は、一階述語論理は むかないだろう
そして、人生においては 理性で割り切れない 分野があることも事実だろう
省18
359: 11/06(木)12:49 ID:j8xkVDrd(5/12) AAS
>>329
「XがYを●●する」:=P(X,Y)、
「Xが誰であれ、それぞれ特定の誰かYがいて、XがYを●●するのは、YがYを●●するときそのときに限る」:=Q
と書くと、Q⇔(∀X∃Y(P(X,Y)⇔P(Y,Y)))。任意のXに対してY=Xが存在してP(X,X)⇔P(X,X)だからQは定理。
よって仮定¬Qから矛盾が導けるのは当然では？
>要するに、ラッセルパラドックスとは「一階述語論理における、基本的な定理の否定文」
（ラッセルパラドックス:=「{x|¬x∈x}は集合」と解釈すると）その言明は間違いではないが逆は言えないのでは？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.039s