[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
502(1): 11/08(土)12:00 ID:ZuSEB9pS(10/21) AAS
>>499
>数百通りの証明を 理解し 覚えておく必要はなく
>代表的なものを知っておけばいい
誰もそんなことは言ってない。
>>495程度の簡単な証明がサクッとできないようでは、どんなに数学書を読んでも分かった気分になるだけで決して分かることはない。
なぜなら、論理は数学の基礎であり論理が分からなければ数学は分からない、且つ数学書は読者が論理を分かってる前提で書かれている（つまり論理の説明は一切書かれてない）から。
520: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)17:45 ID:P9qVEF++(15/25) AAS
>>502
>ある大数学者が若い時に
>自分は論理も計算もない数学をやってみたい
>と言ったとか
>数学者にはこういう気宇壮大さも必要だろう
たとえば どういう数学者・・・？
そうか！ 佐藤幹夫先生だ！！ｗ
論理も計算も、弟子や同僚が主にやったという
例えば 証明は、柏原先生の担当
佐藤-Tate 予想の数値計算は、難波完爾先生が
省19
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.041s