[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
348(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/06(木)11:10 ID:9MLt2+C6(6/17) AAS
>>344
> はじめて知ったわ カラスの世田君
それが、非数学ネタに逃げたってことよｗｗ
ふっふ、ほっほ
>ラッセルパラドックスって非数学ネタなの？
懐かし話題をありがとう >>343より
高校時代に ゲーデルの不完全性定理の本を読んだときの、”嘘つきのパラドックス”を 思い出したよ ；ｐ）
349(1): 11/06(木)11:16 ID:d2PBLapd(1) AAS
>>343
自己言及したから即、矛盾する、というわけではない
この場合、否定をとる写像における真偽値の不動点が存在しないことが本質
二値でなかったとしても、不動点が存在しなれば矛盾する
逆に、否定をとる写像で、真偽値の不動点が存在するような論理なら矛盾しない
そういうことは例えばDana Scottのdomain theoryを知ってれば、常識
ま、高卒が知らなくても無理ないけど
ああ、そうそうdomainって言っても
zero divisorを持たないringのことじゃないぜ
省1
350: 11/06(木)11:16 ID:IDMvw5Yl(1/2) AAS
>>面目を保ちたいから
面目を保つための
一つの選択肢ではある
351(2): 11/06(木)11:29 ID:k1hSdFD7(2/3) AAS
中国にとって最も目障りな存在は・・・台湾であろう
台湾は中国本土ではない（もともと原住民は漢民族でない）が、そこに最も近い
そして中国人が沢山すんでいるものの、中国政府に従わない
今の台湾は、昔の清朝からみた鄭成功政権みたいなもん（笑）
とはいえ、この件は、もうほうっておくしかない
省1
352(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/06(木)11:40 ID:9MLt2+C6(7/17) AAS
>>326-330
；ｐ）；ｐ）；ｐ）；ｐ）；ｐ）
>一階述語論理は、アリストテレス論理学よりは強力
まず、人は ”一階述語論理”そのものでは、思考していない！
古代ギリシアの昔からね それを認めよう
次に、一階述語論理が向いている分野が 沢山ある
特に 理系の分野な。だが、高木先生は 数学研究は 演繹より帰納だと言った
演繹は、一階述語論理かもしれないが
帰納は、一階述語論理は むかないだろう
そして、人生においては 理性で割り切れない 分野があることも事実だろう
省18
353(1): 11/06(木)11:53 ID:k1hSdFD7(3/3) AAS
>>352
＞まず、人は ”一階述語論理”そのものでは、思考していない！
カラスの世田は、一階述語論理の∀と∃が理解できないので、大嫌いらしい
なんでＡとＥがひっくり返ったり反転したりしてんだとか、マジでいいそう（笑）
＞次に、一階述語論理が向いている分野が 沢山ある
＞演繹は、一階述語論理かもしれないが
＞帰納は、一階述語論理は むかないだろう
ほう
省7
354: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/06(木)11:53 ID:9MLt2+C6(8/17) AAS
>>349
>逆に、否定をとる写像で、真偽値の不動点が存在するような論理なら矛盾しない
>そういうことは例えばDana Scottのdomain theoryを知ってれば、常識
おお、ありがとね
”Dana Scott domain theory”で下記がでる
「否定をとる写像で、真偽値の不動点が存在するような論理なら矛盾しない」までは、到達しなかったが・・
まあ、デイナ・スコット Domain theory があるのを 知った （＾＾
外部ﾘﾝｸ:ja.wikipedia.org
領域理論 （りょういきりろん、英: domain theory）は、領域 (domain) と呼ばれる特別な種類の半順序集合を研究する数学の分野であり、順序理論の一分野である。 計算機科学の表示的意味論（英: denotational semantics）を構築するために用いられる。 領域理論は、近似と収束という直観的概念を極めて一般的な枠組で形式化し、位相空間と密接な関係をもつ。
領域理論の意図と直観的意味
省10
355(1): 11/06(木)11:57 ID:+e5m8tUJ(3/3) AAS
高卒の世田にもっといいことを教えてやろう
不動点コンビネータの典型例であるYコンビネータは・・・対角線論法の副産物
外部ﾘﾝｸ:ja.wikipedia.org
356(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/06(木)12:10 ID:9MLt2+C6(9/17) AAS
>>353
>「数学における帰納の例を、３つ上げよ」
>ま、１つも上げられないんじゃね？（笑）
まず 一つ ”５．高木貞治氏の御言葉”下記
“ガウスが進んだ道は即ち数学の進む道である。その道は帰納的である。特殊から一般へ！それが標語である。数学が演繹的であるというが、それは既成数学の修行にのみ通用するのである。自然科学に於ても一つの学説が出来てしまえば、その学説に基づいて演繹をする。しかし論理は当り前なのだから、演繹のみから新しい物は何も出て来ないのが当り前であろう。若しも学問が演繹のみにたよるならば、その学問は小さな環の上を永遠に周期的に廻転する外はないであろう。我々は空虚なる一般論に捉われないで、帰納の一途に精進すべきではあるまいか”
(参考)
外部ﾘﾝｸ:www.vrp-p.jp
ACPEDIA アクチュアリーの総合情報マガジン
コラム 2024年11月11日 (月)
数学は自然科学か（その２）
省13
357(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/06(木)12:14 ID:9MLt2+C6(10/17) AAS
>>355
>不動点コンビネータの典型例であるYコンビネータは・・・対角線論法の副産物
>外部ﾘﾝｸ:ja.wikipedia.org
コンビネータね
なつかしい というか いまは無き"bit"誌で見かけた気がする
"bit"誌は、結構買っていた・・
358: 11/06(木)12:29 ID:HfJFRMig(1) AAS
>>356
>>「数学における帰納の例を、３つ上げよ」
>>ま、１つも上げられないんじゃね？（笑）
>まず 一つ ”５．高木貞治氏の御言葉”
>“ガウスが進んだ道は即ち数学の進む道である。その道は帰納的である。…”
はい、失格
具体的にガウスの何が帰納かあげられなかったので失格
高卒オチコボレの世田クン、いったい数学板で何がしたいの？
>>357
>・・・ねなつかしい というか
省6
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}は集合」と解釈すると）その言明は間違いではないが逆は言えないのでは？
360: 11/06(木)13:00 ID:w83jBMbC(1/3) AAS
AA省
361: 11/06(木)13:00 ID:w83jBMbC(2/3) AAS
AA省
362: 11/06(木)13:01 ID:w83jBMbC(3/3) AAS
AA省
363: 11/06(木)13:37 ID:DQBl6cvL(1/6) AAS
>>341
>非数学ネタに逃げた時点で、数学の議論での非勢を認めたってことだ
あなたのことですね？
364: 11/06(木)14:24 ID:j8xkVDrd(6/12) AAS
>>346
>＞中国が尖閣領海侵犯を繰り返す理由
>面目を保ちたいから（笑）
尖閣領海侵犯を繰り返さないと面目保てないのはなぜ？
> モンゴルは元寇で中国にせめこんだ
> 日本は豊臣秀吉のときも明治時代も朝鮮に攻めこんだ
> のみならず明治以降満州まで攻め込んで無理矢理独立国作って中国本土まで侵攻した
> かつてのモンゴルや女真みたいに征服王朝「大和皇国」でも作りたかったのか？
> どこまで尊大なんだ日本人
> ま、結局、惨敗したけどな
省8
365: 11/06(木)14:36 ID:j8xkVDrd(7/12) AAS
>>348
>> はじめて知ったわ カラスの世田君
>それが、非数学ネタに逃げたってことよｗｗ
意味不明で草
>ふっふ、ほっほ
アホ？
>>ラッセルパラドックスって非数学ネタなの？
>懐かし話題をありがとう >>343より
>高校時代に ゲーデルの不完全性定理の本を読んだときの、”嘘つきのパラドックス”を 思い出したよ ；ｐ）
回答になってなくて草
366(1): 11/06(木)14:37 ID:j8xkVDrd(8/12) AAS
相変わらずセタは言葉が通じねえな
367(2): 11/06(木)14:43 ID:IDMvw5Yl(2/2) AAS
言葉が通じない相手であることを確認する作業ほど
楽しいことはないようだな
上下前次1-新書関写板覧索設栞歴
あと 635 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s