[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 26 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
252(4): 2018/04/15(日)17:56 ID:ZcCi+oFL(3/4) AAS
思ったんだけど、数学という学問は、工学などの実学と違って、
「合ってる」かどうかを確かめるのって難しくないですか？
だって、例えば、プログラム基礎論の場合、プログラムを自分で書いたりすることによって、
ちゃんと命令どうりにコンピュータが動いたらその作業は「合っていた」ということが分かりますが、
数学は、紙とペンだけなので、自分でどんなに紙に数式を書いていっても
確かめる術がないような気がするのですが・・・・。
参考書みたいに、問題だけでなく解答もかいてあったら、それが正しいということが分かりますが、
数学者って、自分で研究のテーマを立てて証明をしたりするわけじゃないですか。
その場合、どうやって自分がやってることが「正しい」ということを理解できるのでしょうか？
上下前次1-新書関写板覧索設栞歴
あと 750 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.011s