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

Inter-universal geometry と ABC予想 (応援スレ) 74 (895ﾚｽ)
上下前次 1-新

8(10): 現代数学の系譜雑談 ◆yH25M02vWFhP 08/21(木)23:03 ID:/FwGOxIP(8/11) AA×

外部ﾘﾝｸ:www.amazon.co.jp
外部ﾘﾝｸ:note.com

[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]

8: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/08/21(木) 23:03:36.75 ID:/FwGOxIP

つづき
＜厳密だけが、数学ではない＞
＜数学と厳密＞
あなたのまったく逆を、渕野先生が書いている
”厳密性を数学と取りちがえるという勘違い”
https://www.amazon.co.jp/dp/4480095470
数とは何かそして何であるべきか デデキント 訳解説 渕野昌 筑摩書房2013
「数学的直観と数学の基礎付け 訳者による解説とあとがき」
P314
(抜粋)
数学の基礎付けの研究は，数学が厳密でありさえすればよい， という価値観を確立しようとしているものではない.
これは自明のことのようにも思えるが，厳密性を数学と取りちがえるという勘違いは，
たとえば数学教育などで蔓延している可能性もあるので，
ここに明言しておく必要があるように思える
多くの数学の研究者にとっては，数学は，記号列として記述された「死んだ」数学ではなく，
思考のプロセスとしての脳髄の生理現象そのものであろう
したがって，数学はその意味での実存として数学者の生の隣り合わせにあるもの，と意識されることになるだろう
そのような「生きた」「実存としての」(existentialな)数学で問題になるのは，
アイデアの飛翔をうながす(可能性を持つ)数学的直観」とよばれるもので，
これは， ときには，意識的に厳密には間違っている議論すら含んでいたり，
寓話的であったりすることですらあるような，
かなり得体の知れないものである

加藤文元氏 メンタルピクチャー、形式化図式と数学の「理解」
IUTに欠落しているのは、メンタルピクチャー＆形式化図式か
(参考)
https://note.com/katobungen/n/nccba3ef014f6
note.com
なぜ微分積分学は不完全なのか？
加藤文元 2025年2月23日
メンタルピクチャー
私は数学や数学の理解に関するいくつかの概念とその用語を導入したいと思う。そのうちのひとつは「メンタルピクチャー（MP）」というものだ。

形式化された理論
メンタルピクチャーの対極にあるのは、形式化（formalize）されコード化された理論（FT）だ。
数学の研究論文における形式的●●●議論は、例えばLean4やCoqなどのコンピューター言語による形式化からすれば、まだまだ「非形式的（informal）」なものだろう。人間のやる数学はまだまだインフォーマルであり、行間が広く、とてもとても形式的議論とは言えない。
とはいえ、ここで「メンタルピクチャー（MP）」の対極にある概念としての「形式化された理論（FT）」は、人間の書いた論文の議論のようなものも含む、広い概念である。そして、数学の厳密化とか精密化とは、このような緩い意味での形式化
(*)　　MP ーーーー形式化ー＞ FT
のことである。

形式化図式と数学の「理解」
形式化図式は数学を「理解する」という行為の内実とも、深く関係している。人間による数学の理論とは、単なるコードの連なりとして理解することではない。それは理論のメンタルピクチャー（MP）と、それと形式的理論との関連付け、すなわち形式化図式を構築することである。メンタルピクチャーだけによる理解は危険であるが、メンタルピクチャーによる裏付け・接地のない理解は不健康である。それは健康でないだけでなく、理解の深さがないという意味でも、完全な理解とは言えない。

つづく

http://rio2016.5ch.net/test/read.cgi/math/1755784703/8

つづき
厳密だけが数学ではない
数学と厳密
あなたのまったく逆を野先生が書いている
厳密性を数学と取りちがえるという勘違い
数とは何かそして何であるべきか デデキント 訳解説 野昌 筑摩書房
数学的直観と数学の基礎付け 訳者による解説とあとがき
抜粋
数学の基礎付けの研究は数学が厳密でありさえすればよい という価値観を確立しようとしているものではない
これは自明のことのようにも思えるが厳密性を数学と取りちがえるという勘違いは
たとえば数学教育などで蔓延している可能性もあるので
ここに明言しておく必要があるように思える
多くの数学の研究者にとっては数学は記号列として記述された死んだ数学ではなく
思考のプロセスとしての脳髄の生理現象そのものであろう
したがって数学はその意味での実存として数学者の生の隣り合わせにあるものと意識されることになるだろう
そのような生きた実存としてのな数学で問題になるのは
アイデアの飛をうながす可能性を持つ数学的直観とよばれるもので
これは ときには意識的に厳密には間違っている議論すら含んでいたり
寓話的であったりすることですらあるような
かなり得体の知れないものである
加藤文元氏 メンタルピクチャー形式化図式と数学の理解
に欠落しているのはメンタルピクチャー形式化図式か
参考
なぜ微分積分学は不完全なのか？
加藤文元 年月日
メンタルピクチャー
私は数学や数学の理解に関するいくつかの概念とその用語を導入したいと思うそのうちのひとつはメンタルピクチャーというものだ
形式化された理論
メンタルピクチャーの対極にあるのは形式化されコード化された理論だ
数学の研究論文における形式的議論は例えばやなどのコンピューター言語による形式化からすればまだまだ非形式的なものだろう人間のやる数学はまだまだインフォーマルであり行間が広くとてもとても形式的議論とは言えない
とはいえここでメンタルピクチャーの対極にある概念としての形式化された理論は人間の書いた論文の議論のようなものも含む広い概念であるそして数学の厳密化とか精密化とはこのような緩い意味での形式化
ーーーー形式化ー
のことである
形式化図式と数学の理解
形式化図式は数学を理解するという行為の内実とも深く関係している人間による数学の理論とは単なるコードの連なりとして理解することではないそれは理論のメンタルピクチャーとそれと形式的理論との関連付けすなわち形式化図式を構築することであるメンタルピクチャーだけによる理解は危険であるがメンタルピクチャーによる裏付け接地のない理解は不健康であるそれは健康でないだけでなく理解の深さがないという意味でも完全な理解とは言えない
つづく

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

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

ぬこの手ぬこTOP 0.086s