[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 64 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
369(1): 2022/01/20(木)08:28 ID:QUOtNVEP(2/3) AAS
>>366
>（21世紀の数学は定義の仕方によって何でも可能)
つー、逆数学
20世紀の古い頭の人がいる。その名はおサル>>7 ｗ
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
逆数学
逆数学とは、数学の定理の証明に必要な公理を決定しようとする数理論理学のプログラムである。簡単に言えば、通常の数学が公理から定理を導くのとは逆に、「定理から公理を証明する」手法を用いることが特徴である。「選択公理とツォルンの補題はZF上で同値である」、というような集合論の古典的定理は、逆数学プログラムの予兆となるものだった。しかし、実際の逆数学では主に、集合論の公理ではなく、通常の数学の定理を研究するのを目的とする。
逆数学は大抵の場合、2階算術について実行され、定理が構成的解析と証明論に動機付けられた2階算術の部分体系のうち、どれに対応するのかを研究する。 2階算術を使うことで、再帰理論からの多くの技術も利用できる。実際、逆数学の結果の多くは、計算可能性解析の結果を反映している。
省15
380(3): 2022/01/20(木)15:36 ID:9yfctzYj(2/4) AAS
>>369 補足
>>（21世紀の数学は定義の仕方によって何でも可能)
>逆数学
１．世界的には、オリジナリティが、非常に尊重される
日本は、空気読みの付和雷同数学、と言ってはいいすぎだろうが、ボツ個性の優等生数学かもね
２．オリジナル＝オリジン成る（＝オリジン（原点、あるいは起点）にナル ＝ダジャレのオヤジギャグｗ）
要するに、人マネじゃない、人の後じゃない（つまりは前者の無い極限順序数みたいなものか）、自分が起点になって新しい数学が始まるのだぁ〜！と
３．昔、谷山先生という伝説の人がいた。ヴェイユ先生という仏数学者が来たとき、「おまえ、なんか喋れ」と言われたらしく、一つの予想を書いたそうな（下記）
半分妄想みたいなことだったかも知れない。それを、ヴェイユ先生は「面白い！！」と言って広めたそうな
４．「ガウスのように始めよ」という先生だった（下記）
省8
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.277s*