数学を理解するのに証明をなぜ読む必要があるのか？

1 ：１３２人目の素数さん：2023/01/17(火) 13:02:37.11 ID:FqK6iPiw.net

証明は読まずに結果だけ受け入れるという方法は通じないのでしょうか？

70 ：１３２人目の素数さん：2023/03/12(日) 08:50:59.65 ID:JXqjWJn3.net

今朝読んだ定理は
証明法は昔の論文の焼き直しであろうと
想像がついたが
結論の式が複雑だったので
簡単な場合に計算してみた。
するとその式が非常に正確であることが確認できたので
定理の内容がやっとわかったような気がした。

71 ：１３２人目の素数さん：2023/03/15(水) 17:56:28.21 ID:eY25sF/C.net

コピペしてる奴悲しすぎるだろ

72 ：１３２人目の素数さん：2023/03/18(土) 03:46:55.29 ID:aUcuLSyy.net

「Xに含まれない元 ∞ ∉ X を用意して，
f( ∅ ) := ∞ と定義することで f を f: P(X)→X∪{∞} に拡張しておく．」

これで読む気なくした
関数や写像の意味を理解してないだろ
書籍化されてるのがマジ不思議

73 ：１３２人目の素数さん：2023/03/18(土) 04:01:11.76 ID:t85wjUct.net

>>72
どこもおかしくない

74 ：１３２人目の素数さん：2023/03/18(土) 04:57:13.90 ID:aUcuLSyy.net

てかそもそも選択公理の意味すら分かってない

75 ：１３２人目の素数さん：2023/03/18(土) 05:20:52.69 ID:aUcuLSyy.net

「書籍化されてる」と書いたが個人出版か
なるほど色々察した

76 ：１３２人目の素数さん：2023/03/18(土) 12:43:20.15 ID:t85wjUct.net

ID:aUcuLSyy
恥ずかしい人間だ

77 ：１３２人目の素数さん：2023/03/18(土) 15:46:53.63 ID:aUcuLSyy.net

バロス．

78 ：１３２人目の素数さん：2023/03/18(土) 16:04:56.73 ID:t85wjUct.net

「Xに含まれない元 ∞ ∉ X を用意して，
f( ∅ ) := ∞ と定義することで f を f: P(X)→X∪{∞} に拡張しておく．」

これにケチをつける余地がどこにあるか

79 ：１３２人目の素数さん：2023/03/18(土) 16:55:02.35 ID:IDuHUOKr.net

空写像と空集合を何かに対応させる写像との違いがわかってないんだろう
ただそうすると空集合と空集合からなる一点集合の違いもわかってなさそう

80 ：１３２人目の素数さん：2023/03/18(土) 18:18:18.19 ID:cYPwl/R5.net

定義域の部分集合Aの像をf(A)と書く場合のf({})={}とごっちゃにしたか.

81 ：１３２人目の素数さん：2023/03/18(土) 22:53:11.59 ID:aUcuLSyy.net

壱大整域はオワコンｗ

82 ：１３２人目の素数さん：2023/03/18(土) 23:05:09.17 ID:t85wjUct.net

>>81
哀れな奴

83 ：１３２人目の素数さん：2023/03/19(日) 01:42:43.00 ID:QHRn0POJ.net

自演ﾜﾛﾀ

84 ：１３２人目の素数さん：2023/03/19(日) 18:30:59.83 ID:QHRn0POJ.net

空写像
🤣

空写像
🤣

85 ：１３２人目の素数さん：2023/03/20(月) 05:27:54.44 ID:JiawLqCS.net

順序数に絶対値記号を付けてるの馬鹿丸出し
ちっとは真面目に勉強しろｗ

86 ：１３２人目の素数さん：2023/03/25(土) 07:16:36.28 ID:1W6Cag5a.net

定理の言明が「これは何だ！」と言う形をしていて
その証明が「それはそうだろう」という平凡な補題から
論理と計算を積み上げて成り立っているものだと
確認できたとき
数学を勉強したという実感を覚える

87 ：１３２人目の素数さん：2023/05/09(火) 10:03:43.04 ID:mi3UnG2N.net

ケーリーハミルトンの定理をもっともエレガントに証明するのはどうやるの？

88 ：１３２人目の素数さん：2023/05/09(火) 16:57:30.21 ID:oc8FFGQl.net

>>1
インジャね？
ただ突っ込まれたとき答えられないのはさすがに・・・・

89 ：１３２人目の素数さん：2023/05/09(火) 17:00:25.81 ID:oc8FFGQl.net

>>59
相当数の数学者は読んでると思うよ

90 ：１３２人目の素数さん：2023/05/11(木) 23:06:04.58 ID:PrXBfcKv.net

歴史的には化学は原子、せいぜい原子核と電子までの存在だけを理解し仮定すれば
それでよくて、それよりも下側の階層である原子核の内部構造とか陽子や中性子や
素粒子の理論そのものについてはあまり考えずに議論ができる。
流体や弾性体の力学も原子以下のことを考える必要はないだろう。

それと同じように、数学もある階層から下側の論理や証明は考えなくても、
ある階層から上側が満たす性質だけを知って、議論や展開をするような
わけに行かないものだろうか。つまりカプセル化、遮蔽だな。

数学基礎論とそれ以外の数学の関係がそのようなものなのかもしれないが。

91 ：１３２人目の素数さん：2023/05/12(金) 14:32:18.63 ID:nldlqFyz.net

物理・天文学とかではステファンボルツマンの法則のように観測結果から関係性を見つけることができれば、物理学者は仕事を果たしたということになる。
なぜエネルギー・恒星温度が絶対温度の4乗に比例するのかが、わからなくても温度から恒星光度等を推定できれば、めでたしめでたし。
なぜ？を解明するのは数学者数理物理学者の仕事。無論wikiによると熱力学から理論的に解明されているが。

92 ：１３２人目の素数さん：2023/05/16(火) 20:37:40.15 ID:k/Nxr73O.net

wikipedia読んでる奴はガイジ。

93 ：１３２人目の素数さん：2023/05/19(金) 19:04:50.54 ID:WpBGUZ5d.net

積の微分公式証明は、ライプニッツの方式がわかりやすいな。教科書的な証明は同じものを足して引くとか、思いつきようがないし。もっとも、その手順自体ライプニッツ方式から後付けしたんだろうけど。

94 ：１３２人目の素数さん：2023/05/28(日) 13:50:23.57 ID:PniRoWac.net

複素関数は4次元見えないから公式の本質わからなよな。もっとも複素数自体イメージしにくいが。

95 ：１３２人目の素数さん：2023/06/01(木) 08:05:33.36 ID:8Mf9YtVB.net

>>94
>>複素関数は4次元見えないから公式の本質わからなよな。
視覚が感覚のすべてだったらその通りかもしれない

>>もっとも複素数自体イメージしにくいが。
実数ならイメージできている？

96 ：１３２人目の素数さん：2023/06/01(木) 08:20:43.20 ID:tcDJioMP.net

>>95
つまらない難癖にしか思えない

97 ：１３２人目の素数さん：2023/06/01(木) 08:57:04.00 ID:8Mf9YtVB.net

>>96

>>複素関数は4次元見えないから公式の本質わからなよな。

>>もっとも複素数自体イメージしにくいが。

つまらない難癖だということを納得させる必要がある。

98 ：１３２人目の素数さん：2023/06/13(火) 05:54:51.24 ID:IqzNyRbv.net

多くの専門家が受け入れられない証明を
信用せよというPRIMSの偏執部

99 ：１３２人目の素数さん：2023/06/14(水) 08:52:35.17 ID:nLfeIsZI.net

仮定と結論を結ぶ過程が証明

100 ：１３２人目の素数さん：2023/06/15(木) 07:07:00.60 ID:YsXRPQc+.net

明日の京都賞の発表が楽しみ

101 ：１３２人目の素数さん：2023/06/15(木) 07:51:04.84 ID:6zih3RbM.net

ショルツか卓郎かな？w

102 ：１３２人目の素数さん：2023/06/15(木) 10:36:35.31 ID:3Y7Rhp6p.net

そういうときには
ショルツでなくショルツェと呼ばれるだろう

103 ：１３２人目の素数さん：2023/06/21(水) 02:24:00.08 ID:wn/367VJ.net

機体トラブルで酸欠状態に
僅か１０分しかなく、必死で家族が待つ地球へ戻ろうとする様を描いています。
想像してみてください。//youtu.be/oWs3yvVADVg

104 ：１３２人目の素数さん：2023/06/22(木) 16:46:24.67 ID:qlR7WsfR.net

f(x)とg(x)が非可換であるとき、
それらの積であるf(x)g(x)の微分の公式を導きなさい（配点５点）。

f(x)とg(x)とh(x)が可換でなく、結合的でもないとき、
それらの積であるf(x)g(x)h(x)の微分の公式を導きなさい。(配点５点)

105 ：１３２人目の素数さん：2023/06/22(木) 23:27:19.29 ID:2JzG2sNm.net

>>104
説明不足

106 ：１３２人目の素数さん：2023/06/23(金) 00:30:21.83 ID:jUudKrb9.net

結合的でないのにf(x)g(x)h(x)と書くのがダメ

107 ：１３２人目の素数さん：2023/06/23(金) 00:45:35.93 ID:lmMoypKZ.net

微分環の話ならライプニッツ則は導くものではなく定義そのものだしね

108 ：１３２人目の素数さん：2023/06/23(金) 09:44:50.02 ID:wq5h+CFA.net

>>104
みんな君の反論を期待しているよ

109 ：１３２人目の素数さん：2023/06/23(金) 09:58:11.09 ID:yDHt6yzV.net

f(x)とかわざわざ変数？x を入れてるんだから

110 ：１３２人目の素数さん：2023/06/27(火) 21:02:38.65 ID:LCCOqudc.net

式が工夫してあって
短い計算で読めるようになっている論文は
実は曲者

111 ：１３２人目の素数さん：2023/08/01(火) 07:21:34.14 ID:/+O+L3bu.net

フェセンコ・加藤の記者会見は
新聞でどう報道されたのだろうか

112 ：１３２人目の素数さん：2023/08/01(火) 15:22:20.27 ID:GKrdHZ9v.net

初等集合論とか図に書いて理解したほうがいいな。論理式暗記では記号論理が暗記的になるし。

113 ：１３２人目の素数さん：2023/08/01(火) 16:19:10.30 ID:erXC+KuH.net

>>111
それなに？

114 ：１３２人目の素数さん：2023/08/02(水) 07:19:53.35 ID:vyhaLR3s.net

失礼
正しくは加藤・川上・フェセンコの記者会見

115 ：１３２人目の素数さん：2023/08/05(土) 15:34:19.16 ID:Ly584jc6.net

>>114
なにそれ？

116 ：１３２人目の素数さん：2023/08/06(日) 22:00:42.01 ID:EehGuFU5.net

自分が書く論文で使う過去の結果の証明を仮に読まないとして
その正しさはどうやって担保するのという疑問があるんだけど

偉い先生が出したかどうかなんて何の説得力もないわけだし
直感的に明らかそうにみえて実は違ったなんてことになったら
全てが瓦解するわけだし

117 ：１３２人目の素数さん：2023/08/06(日) 22:05:49.64 ID:/f8NXugj.net

自分が論文を書くときは
使う定理の証明は基本的には全部読んでいる
だから
広中の特異点解消定理はなるべく使わない

118 ：１３２人目の素数さん：2023/08/08(火) 10:25:26.90 ID:Iiw1KUn4.net

証明が分かるためには
論文の一部を読むだけで
普通は十分

119 ：１３２人目の素数さん：2023/08/09(水) 07:04:46.64 ID:/x3euq4L.net

長年同じ分野ばかり研究していれば誰でもそうなる