[過去ﾛｸﾞ]
Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
Inter-universal geometry と ABC予想 (応援スレ) 77 http://rio2016.5ch.net/test/read.cgi/math/1761878205/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
353: １３２人目の素数さん [] 2025/11/06(木) 11:53:56.20 ID:k1hSdFD7 >>352 ＞まず、人は ”一階述語論理”そのものでは、思考していない！ カラスの世田は、一階述語論理の∀と∃が理解できないので、大嫌いらしい なんでＡとＥがひっくり返ったり反転したりしてんだとか、マジでいいそう（笑） ＞次に、一階述語論理が向いている分野が 沢山ある ＞演繹は、一階述語論理かもしれないが ＞帰納は、一階述語論理は むかないだろう ほう では、カラスの世田に質問だ 「数学における帰納の例を、３つ上げよ」 ま、１つも上げられないんじゃね？（笑） ＞そして、人生においては 理性で割り切れない 分野があることも事実だろう じゃ、政治板で「ニッポンバンザイ！」って絶叫してれば 君の自己愛的国粋主義は、理性ゼロの１００％感情論なんだろ？ 死んでも日本を愛しますってか？ じゃ、死して靖国神社の神になれよ（笑） http://rio2016.5ch.net/test/read.cgi/math/1761878205/353
354: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/06(木) 11:53:56.39 ID:9MLt2+C6 >>349 >逆に、否定をとる写像で、真偽値の不動点が存在するような論理なら矛盾しない >そういうことは例えばDana Scottのdomain theoryを知ってれば、常識 おお、ありがとね ”Dana Scott domain theory”で下記がでる 「否定をとる写像で、真偽値の不動点が存在するような論理なら矛盾しない」までは、到達しなかったが・・ まあ、デイナ・スコット Domain theory があるのを 知った （＾＾ https://ja.wikipedia.org/wiki/%E9%A0%98%E5%9F%9F%E7%90%86%E8%AB%96 領域理論 （りょういきりろん、英: domain theory）は、領域 (domain) と呼ばれる特別な種類の半順序集合を研究する数学の分野であり、順序理論の一分野である。 計算機科学の表示的意味論（英: denotational semantics）を構築するために用いられる。 領域理論は、近似と収束という直観的概念を極めて一般的な枠組で形式化し、位相空間と密接な関係をもつ。 領域理論の意図と直観的意味 1960年代末にデイナ・スコットが領域についての研究を開始したそもそもの動機は、ラムダ計算の表示的意味論について研究するためであった。 https://en.wikipedia.org/wiki/Domain_theory Domain theory https://ncatlab.org/nlab/show/domain+theory domain theory in nLab https://arxiv.org/abs/1605.05858 Computer Science > Programming Languages [Submitted on 19 May 2016 (v1), last revised 14 Jun 2016 (this version, v4)] Domain Theory: An Introduction Robert Cartwright, Rebecca Parsons, Moez AbdelGawad http://rio2016.5ch.net/test/read.cgi/math/1761878205/354
355: １３２人目の素数さん [] 2025/11/06(木) 11:57:51.15 ID:+e5m8tUJ 高卒の世田にもっといいことを教えてやろう 不動点コンビネータの典型例であるYコンビネータは・・・対角線論法の副産物 https://ja.wikipedia.org/wiki/%E4%B8%8D%E5%8B%95%E7%82%B9%E3%82%B3%E3%83%B3%E3%83%93%E3%83%8D%E3%83%BC%E3%82%BF http://rio2016.5ch.net/test/read.cgi/math/1761878205/355
356: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/06(木) 12:10:57.45 ID:9MLt2+C6 >>353 >「数学における帰納の例を、３つ上げよ」 >ま、１つも上げられないんじゃね？（笑） まず 一つ ”５．高木貞治氏の御言葉”下記 “ガウスが進んだ道は即ち数学の進む道である。その道は帰納的である。特殊から一般へ！それが標語である。数学が演繹的であるというが、それは既成数学の修行にのみ通用するのである。自然科学に於ても一つの学説が出来てしまえば、その学説に基づいて演繹をする。しかし論理は当り前なのだから、演繹のみから新しい物は何も出て来ないのが当り前であろう。若しも学問が演繹のみにたよるならば、その学問は小さな環の上を永遠に周期的に廻転する外はないであろう。我々は空虚なる一般論に捉われないで、帰納の一途に精進すべきではあるまいか” (参考) https://www.vrp-p.jp/acpedia/4775/ ACPEDIA アクチュアリーの総合情報マガジン コラム 2024年11月11日 (月) 数学は自然科学か（その２） この度、約10年前に作成したコラム『数学は自然科学か？（2015年11月24日 (火) ）』に対する（初めての）反響をいただけました！ コラム執筆者の一人としては、このような大昔のコラムに真面目に反応くださる方がいらっしゃることに無上の喜びを感じています！！ しかしながら、“数学は自然科学ではないのでは？”という鋭いご指摘に、20年以上前の故・指導教官の「御言葉」を今更ながら懐疑的に回想する必要が出てきた模様です。 ５．高木貞治氏の御言葉 恩師の恩師に当たる高木貞治氏の『近世数学史談』からの御言葉を引用します。 “ガウスが進んだ道は即ち数学の進む道である。その道は帰納的である。特殊から一般へ！それが標語である。数学が演繹的であるというが、それは既成数学の修行にのみ通用するのである。自然科学に於ても一つの学説が出来てしまえば、その学説に基づいて演繹をする。しかし論理は当り前なのだから、演繹のみから新しい物は何も出て来ないのが当り前であろう。若しも学問が演繹のみにたよるならば、その学問は小さな環の上を永遠に周期的に廻転する外はないであろう。我々は空虚なる一般論に捉われないで、帰納の一途に精進すべきではあるまいか” https://www.kurims.kyoto-u.ac.jp/~tshun/20231014s.pdf https://www.mathsoc.jp/publications/tushin/backnumber/index-3-3.html 数学通信第３巻第３号目次 （１９９８年度） https://www.mathsoc.jp/assets/pdf/publications/tushin/backnumber/0303/hasegawa3-3.pdf 高木貞治著「近世数学史談・数学雑談」（復刻版・合本）長谷川浩司（１９９８年度） 数学の研究もまた帰納というべきであり演繹は手段である、と言い. はするが、その好例はなかなか示しうるところにないように思う。数学において、知りた. いと思う目標が ... 6 ページ http://rio2016.5ch.net/test/read.cgi/math/1761878205/356
357: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/06(木) 12:14:02.00 ID:9MLt2+C6 >>355 >不動点コンビネータの典型例であるYコンビネータは・・・対角線論法の副産物 >https://ja.wikipedia.org/wiki/%E4%B8%8D%E5%8B%95%E7%82%B9%E3%82%B3%E3%83%B3%E3%83%93%E3%83%8D%E3%83%BC%E3%82%BF コンビネータね なつかしい というか いまは無き"bit"誌で見かけた気がする "bit"誌は、結構買っていた・・ http://rio2016.5ch.net/test/read.cgi/math/1761878205/357
358: １３２人目の素数さん [] 2025/11/06(木) 12:29:31.03 ID:HfJFRMig >>356 >>「数学における帰納の例を、３つ上げよ」 >>ま、１つも上げられないんじゃね？（笑） >まず 一つ ”５．高木貞治氏の御言葉” >“ガウスが進んだ道は即ち数学の進む道である。その道は帰納的である。…” はい、失格 具体的にガウスの何が帰納かあげられなかったので失格 高卒オチコボレの世田クン、いったい数学板で何がしたいの？ >>357 >・・・ねなつかしい というか >いまは無き"bit"誌で見かけた気がする >"bit"誌は、結構買っていた・・ 高卒オチコボレの世田君は地道な努力はまったくせずに 数セミとか数理科学とかｂｉｔとか買って眺めて なんかリコウになった感を味わって満足する 「知の乞食」というか「知のルンペン」だったのね http://rio2016.5ch.net/test/read.cgi/math/1761878205/358
359: １３２人目の素数さん [] 2025/11/06(木) 12:49:07.69 ID:j8xkVDrd >>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}は集合」と解釈すると）その言明は間違いではないが逆は言えないのでは？ http://rio2016.5ch.net/test/read.cgi/math/1761878205/359
360: １３２人目の素数さん [] 2025/11/06(木) 13:00:54.19 ID:w83jBMbC ﾄ､ /ヽ /＼ _ /|＼ ｜ ヽ 〈三ヽ /三/| / ! /!ヽ | l ヽ | ヽ !＼ ／ _| / ｜ ,' / ! | ﾍ ! ヽ （ )）{ ｝（ )） ,' !_／ / j ふっふ、ほっほ ', ヽ | l ﾄｲ｀|i|⌒ Y=｝ ! ', ／ / ', ヽ!≡ l { ヽ || r‐'ﾘ -i ! ≡ ! / ヽ ≡ ! | ﾐ )!!= 彡-ﾉ＿ l ≡ ! ,.' ＼ ≡ ｜ ,.-ﾉ / ! ト､トく ｀メ､_', = / ／ ＼ ≡ ! ／てノしｲ_人人ノ､ ヽ ／ ＼― |／ヽ ,ｲ- ､ヽ / ｲ´￣￣ヽ_／ ＼ ヽ／ l ヽi ／￣｀! 〉―く ｧ―‐‐j http://rio2016.5ch.net/test/read.cgi/math/1761878205/360
361: １３２人目の素数さん [] 2025/11/06(木) 13:00:56.49 ID:w83jBMbC ﾄ､ /ヽ /＼ _ /|＼ ｜ ヽ 〈三ヽ /三/| / ! /!ヽ | l ヽ | ヽ !＼ ／ _| / ｜ ,' / ! | ﾍ ! ヽ （ )）{ ｝（ )） ,' !_／ / j ふっふ、ほっほ ', ヽ | l ﾄｲ｀|i|⌒ Y=｝ ! ', ／ / ', ヽ!≡ l { ヽ || r‐'ﾘ -i ! ≡ ! / ヽ ≡ ! | ﾐ )!!= 彡-ﾉ＿ l ≡ ! ,.' ＼ ≡ ｜ ,.-ﾉ / ! ト､トく ｀メ､_', = / ／ ＼ ≡ ! ／てノしｲ_人人ノ､ ヽ ／ ＼― |／ヽ ,ｲ- ､ヽ / ｲ´￣￣ヽ_／ ＼ ヽ／ l ヽi ／￣｀! 〉―く ｧ―‐‐j http://rio2016.5ch.net/test/read.cgi/math/1761878205/361
362: １３２人目の素数さん [] 2025/11/06(木) 13:01:03.18 ID:w83jBMbC ﾄ､ /ヽ /＼ _ /|＼ ｜ ヽ 〈三ヽ /三/| / ! /!ヽ | l ヽ | ヽ !＼ ／ _| / ｜ ,' / ! | ﾍ ! ヽ （ )）{ ｝（ )） ,' !_／ / j ふっふ、ほっほ ', ヽ | l ﾄｲ｀|i|⌒ Y=｝ ! ', ／ / ', ヽ!≡ l { ヽ || r‐'ﾘ -i ! ≡ ! / ヽ ≡ ! | ﾐ )!!= 彡-ﾉ＿ l ≡ ! ,.' ＼ ≡ ｜ ,.-ﾉ / ! ト､トく ｀メ､_', = / ／ ＼ ≡ ! ／てノしｲ_人人ノ､ ヽ ／ ＼― |／ヽ ,ｲ- ､ヽ / ｲ´￣￣ヽ_／ ＼ ヽ／ l ヽi ／￣｀! 〉―く ｧ―‐‐j http://rio2016.5ch.net/test/read.cgi/math/1761878205/362
363: １３２人目の素数さん [] 2025/11/06(木) 13:37:20.89 ID:DQBl6cvL >>341 >非数学ネタに逃げた時点で、数学の議論での非勢を認めたってことだ あなたのことですね？ http://rio2016.5ch.net/test/read.cgi/math/1761878205/363
364: １３２人目の素数さん [] 2025/11/06(木) 14:24:20.49 ID:j8xkVDrd >>346 >＞中国が尖閣領海侵犯を繰り返す理由 >面目を保ちたいから（笑） 尖閣領海侵犯を繰り返さないと面目保てないのはなぜ？ > モンゴルは元寇で中国にせめこんだ > 日本は豊臣秀吉のときも明治時代も朝鮮に攻めこんだ > のみならず明治以降満州まで攻め込んで無理矢理独立国作って中国本土まで侵攻した > かつてのモンゴルや女真みたいに征服王朝「大和皇国」でも作りたかったのか？ > どこまで尊大なんだ日本人 > ま、結局、惨敗したけどな > ああ みっともな > 人倫に悖ることやってしかも負ける > 愚の骨頂 昔のことを持ち出すならこう言えよ 他の人類種をすべて絶滅させたホモサピエンスはどこまで尊大なんだ 君は何が問題か分かってないな 21世紀になっても前近代的侵略行為を行ってるのが問題なんだよ ジェノサイドなんて近代以前では普通だからな 問題は今それやってること http://rio2016.5ch.net/test/read.cgi/math/1761878205/364
365: １３２人目の素数さん [] 2025/11/06(木) 14:36:15.51 ID:j8xkVDrd >>348 >> はじめて知ったわ カラスの世田君 >それが、非数学ネタに逃げたってことよｗｗ 意味不明で草 >ふっふ、ほっほ アホ？ >>ラッセルパラドックスって非数学ネタなの？ >懐かし話題をありがとう >>343より >高校時代に ゲーデルの不完全性定理の本を読んだときの、”嘘つきのパラドックス”を 思い出したよ ；ｐ） 回答になってなくて草 http://rio2016.5ch.net/test/read.cgi/math/1761878205/365
366: １３２人目の素数さん [] 2025/11/06(木) 14:37:38.85 ID:j8xkVDrd 相変わらずセタは言葉が通じねえな http://rio2016.5ch.net/test/read.cgi/math/1761878205/366
367: １３２人目の素数さん [] 2025/11/06(木) 14:43:58.12 ID:IDMvw5Yl 言葉が通じない相手であることを確認する作業ほど 楽しいことはないようだな http://rio2016.5ch.net/test/read.cgi/math/1761878205/367
368: １３２人目の素数さん [] 2025/11/06(木) 14:49:51.48 ID:j8xkVDrd >>351 >今さら、中国に征服王朝作ろうなんて考える日本人は●ってる（笑） 征服王朝じゃなく大東亜共栄圏な いつの時代のこと言ってんだよｗ 昔のこと持ち出すならこう言えよ ホモサピエンスは●ってる http://rio2016.5ch.net/test/read.cgi/math/1761878205/368
369: １３２人目の素数さん [] 2025/11/06(木) 14:54:52.86 ID:j8xkVDrd >>367 おまえの相手は楽しくないから消えてくれる？ http://rio2016.5ch.net/test/read.cgi/math/1761878205/369
370: １３２人目の素数さん [] 2025/11/06(木) 15:45:55.66 ID:j8xkVDrd >>352 相変わらず意味不明 >まず、人は ”一階述語論理”そのものでは、思考していない！ 「一階述語論理で思考する」と「一階述語論理を用いる」の違いは何？ 同じ？ 同じだとすると >古代ギリシアの昔からね それを認めよう 古代ギリシャ時代に一階述語論理を用いてないのは当然 明治時代以降に確立されたんだから 何が言いたいのか不明 >次に、一階述語論理が向いている分野が 沢山ある >特に 理系の分野な。 理系に限らないし学問に限らない。 >だが、高木先生は 数学研究は 演繹より帰納だと言った どういう意味で演繹・帰納という語を使ってる？ >演繹は、一階述語論理かもしれないが >帰納は、一階述語論理は むかないだろう どういう意味で演繹・帰納という語を使ってる？ 君、こみゅ障でしょ 何を言ってるのか・言いたいのかさっぱり分からない http://rio2016.5ch.net/test/read.cgi/math/1761878205/370
371: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/06(木) 16:01:14.21 ID:9MLt2+C6 >>367 >言葉が通じない相手であることを確認する作業ほど >楽しいことはないようだな ID:IDMvw5Ylは、御大か 巡回ご苦労様です まあ、私には 数学的に反論できないので ”言葉が通じない相手”だぁ〜と 逃げの一手（しのぎの”常套句”） と映りますｗ （＾＾ http://rio2016.5ch.net/test/read.cgi/math/1761878205/371
372: １３２人目の素数さん [] 2025/11/06(木) 16:11:57.22 ID:TCfjtHJT >>368 >征服王朝じゃなく大東亜共栄圏な 「日本は大東亜共栄圏で中国をどうするつもりだった？」 ってAIに尋ねたら 「中国を傀儡国家にして、主要地域は直轄地化するつもりだった」 というから、他国の例でいうとどんな感じ？ってさらに尋ねたら 「イギリスのインド支配とか」 みたいな回答がかえってきた 元とか清とかみたいな征服王朝を作る気はなかった？って聞いたら 「そういうこと言ってる人（石原莞爾とか）もいたけど、完全に妄想レベル」 って失笑された でも征服王朝でもイギリスのインド支配の日本−中国版でも中国にとっては迷惑 ま、こんなことでよろこぶのはウイグルを愛する国粋●違いクンくらいか（笑） http://rio2016.5ch.net/test/read.cgi/math/1761878205/372
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 630 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.023s