Inter-universal geometry と ABC予想 (応援スレ) 77

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

352: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/11/06(木) 11:40:52.76 ID:9MLt2+C6

>>326-330
；ｐ）；ｐ）；ｐ）；ｐ）；ｐ）

>一階述語論理は、アリストテレス論理学よりは強力

まず、人は ”一階述語論理”そのものでは、思考していない！
古代ギリシアの昔からね それを認めよう

次に、一階述語論理が向いている分野が 沢山ある
特に 理系の分野な。だが、高木先生は 数学研究は 演繹より帰納だと言った
演繹は、一階述語論理かもしれないが
帰納は、一階述語論理は むかないだろう

そして、人生においては 理性で割り切れない 分野があることも事実だろう
人生の選択は、理屈だけでは 決められないよ
そういう場面は、日常茶飯事だよ

(参考)
https://ja.wikipedia.org/wiki/%E4%B8%80%E9%9A%8E%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86
一階述語論理とは、個体の量化のみを許す述語論理である。述語論理とは、数理論理学における論理の数学的モデルの一つであり、命題論理を拡張したものである。個体の量化に加えて述語や関数の量化を許す述語論理を二階述語論理と呼び、さらなる一般化を加えた述語論理を高階述語論理という。本項では主に一階述語論理について解説する
https://en.wikipedia.org/wiki/First-order_logic

https://ja.wikipedia.org/wiki/%E6%95%B0%E7%90%86%E8%AB%96%E7%90%86%E5%AD%A6
数理論理学または現代論理学、記号論理学、数学基礎論、超数学は、数学の分野の一つであり、「数学の理論を展開する際にその骨格となる論理の構造を研究する分野」を指す[注 1]
歴史
数理論理学は、19世紀の中頃、伝統的論理学とは独立な数学の下位分野として登場した（Ferreirós 2001, p. 443）。これが登場する以前、論理学は修辞学また哲学とともに、三段論法を通じて研究されていた。20世紀の前半は数学の基礎に関する活発な議論とともに、基本的な多くの結果が見られる
初期の歴史
論理に関する理論は多くの文化と歴史の中で発展してきた。その中には中国、インド、ギリシャ、イスラーム世界が含まれる。18世紀のヨーロッパでは、形式論理の演算子を記号的または代数的な方法の中で取り扱おうという試みが、哲学的数学者によってなされた。その中にはゴットフリート・ライプニッツとランベルトが含まれる。しかしライプニッツらの仕事は孤立して残っているばかりでよく知られていない

https://ja.wikipedia.org/wiki/%E8%AB%96%E7%90%86%E5%AD%A6%E3%81%AE%E6%AD%B4%E5%8F%B2
論理学の歴史
形式論理学は古代のギリシアやインドで発展した。ギリシア論理学、中でもアリストテレス論理学は科学・数学に広く受容・応用されている
アリストテレス論理学は中世のイスラーム圏およびキリスト教西方世界にさらに発展し、14世紀半ばに頂点をむかえた
近現代において発展した現代論理学、いわゆる数理論理学あるいは記号論理学は二千年にわたる論理学の歴史において最も顕著なものであり、人類の知性の歴史において最も重要・顕著な事件の一つだと言える
数理論理学の発展は20世紀の最初の数十年に、特にゲーデルおよびタルスキの著作によって起こり、分析哲学や哲学的論理学に、特に1950年代以降に様相論理や時相論理、義務論理、適切さの論理といった分野に影響を与えた

http://rio2016.5ch.net/test/read.cgi/math/1761878205/352

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

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

上下前次 1-新書関写板覧索設栞歴

あと 636 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.017s