[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）12 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
431(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/01/06(金)07:48 ID:9sWh0IFW(1/5) AAS
>>426 追加
この人面白いね
外部ﾘﾝｸ:tsujimotter.はてなブログ.com/
tsujimotterのノートブック
2022-12-25
2022年の日曜数学活動：YouTubeを始めました！
外部ﾘﾝｸ:tsujimotter.はてなブログ.com/all-entries
tsujimotterのノートブック
全記事リンク
432: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/01/06(金)07:56 ID:9sWh0IFW(2/5) AAS
>>429 補足
構成主義的視点では、時枝の手法の99/100は、計算可能性の面から否定されるってことかな？ｗ （下記ご参照）
外部ﾘﾝｸ:ja.wikipedia.org
構成主義 (数学)
構成主義（こうせいしゅぎ、英: constructivism）とは、「ある数学的対象が存在することを証明するためには、それを実際に見つけたり構成したりしなければならない」という考えのことである。標準的な数学においてはそうではなく、具体的に見つけることなしに背理法によって存在を示す、すなわち存在しないことを仮定して矛盾を導くことがよくある。この背理法というものは構成的に見ると十分ではない。構成的な見地は、古典的な解釈をもって中途半端なままである、存在記号の意味を確かめることを含む。
多くの形の構成主義がある[1]。これらはブラウワーによって創始された直観主義のプログラム、ヒルベルトならびにベルナイスの有限主義（英語版）、Shamin（英語版）ならびにMarkov（英語版）の構成的で再帰的な数学、そして構成的解析学（英語版）であるBishop（英語版）のプログラムを含む。構成主義はCZF（英語版）やトポス論の研究のような構成的集合論（英語版）の研究もまた含む。
構成主義はしばしば直観主義と同一視される、しかしながら直観主義は構成主義者のプログラムのひとつでしかない。個人的な数学者の直観のなかに数学の基礎がおかれるところの直観主義数学は、それによってひとつの内在的で主観的な活動のなかへと数学をさせている[2]。他の形の構成主義は直観のこの見地において基礎をもたない、そして数学において客観的な見地をもって両立できる。
関連項目
・計算可能性理論
外部ﾘﾝｸ:en.wikipedia.org
省13
436(7): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/01/06(金)20:52 ID:9sWh0IFW(3/5) AAS
>>435
(引用開始)
この本知ってる？
フーリエ解析の序章
外部ﾘﾝｸ[html]:www.sugakushobo.co.jp
杉山健一 著
A5判・並製・176頁・定価2300円+税
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
理論・応用を問わず様々な分野で有用であるFourier解析学の入門書.
理論だけではFourier変換の威力が実感されないので，
省29
438(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/01/06(金)23:05 ID:9sWh0IFW(4/5) AAS
>>437
おれは、出来ないでしょう
と言っているんだがねｗｗｗｗｗ
439(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/01/06(金)23:28 ID:9sWh0IFW(5/5) AAS
>>438 補足
(引用開始)
また理論だけではFourier変換の威力が実感されないので，
以下の分野への 応用を解説した．
（1）（整数論）Gauss和とJacobi和，平方剰余の相互法則，有限体上定義さ れたFermat曲線の有理点の個数の数え上げ，Eulerの等式（ゼータ関数の特 殊値）．
（2）（幾何学）離散等周問題，等周問題．
（3）（解析学）線型微分方程式，Weierstraussの多項式近似定理．
（4）（物理学）（離散）不確定性原理
（5）（工学）CT（Computer Tomography），Digital samplingの理論．
(引用終り)
省15
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 2.808s*