751:１３２人目の素数さん
18/09/03 00:49:16.78 276Z+Rre.net
独学者のほとんどは金が無い、暇が無い、コミニュティと縁が無いで結局折れる。
752:１３２人目の素数さん
18/09/03 01:11:14.72 clGXOAZz.net
King？
Kummer？
どっかのスレ主？
753:１３２人目の素数さん
18/09/03 04:20:07.56 aHUmPEEz.net
>>712
>森重文の退職記念講義は最後に質問コーナーがなくて不思議だったが、どうもおかしな人の質問を避けるためだったみたい
在職中にいろいろ恨みかってない？
754:１３２人目の素数さん
18/09/03 15:42:19.32 veHiAQ+W.net
微分位相幾何学
Victor Guillemin
固定リンク: URLﾘﾝｸ(amzn.asia)
↑翻訳はやはりひどいですか？
やはり↓を買ったほうがいいですかね？
Differential Topology (AMS Chelsea Publishing)
by Victor Guillemin et al.
Link: URLﾘﾝｸ(a.co)
755:１３２人目の素数さん
18/09/04 10:52:13.90 b/tGMDaD.net
>>693
一神教的な欧米人アラブ人は常に神の前に謙虚になることを求められる
東洋人は信じるものを持たない野蛮人なのでナルシシスト、エゴイストだらけ
その反面、欺瞞的な建前論を取り繕うことだけは一応上手だけど
これはネットを見ててもとても強く実感する
見方によっては先生は、学問に取り組むに欠かせない謙虚さを得るため
仏道修行を取り入れたりしてたんでしょう
夏目漱石を読んだりしてたのもこういう動機からなのかも
756:１３２人目の素数さん
18/09/04 12:45:11.04 BCan/tLK.net
>>723
まぁ、それ言うたらエルデーシュはどうなのよ、
ってな話もあるわけだが（笑）
ハンガリーだからヨーロッパやアメリカとは
別枠、っちゅー話はあるかもしれんけど。
イスラエル出身の数学者もけっこういるので、
むしろ民族性やら宗教性やら思想性やらを
振り切るために、数学をやってんじゃないか
という気もしないでもない。
757:１３２人目の素数さん
18/09/04 15:28:50.53 4aj2pbie.net
>>701
>自分がちゃんと読めてるかどうか他人に検証してもらう仕組みの問題。
ダメな準備をして他人に検証してもらったら、やはりゼミでは突っ込まれて立ち往生食らう。
例えば、誤植、脱字、証明なしでの「自明」とかの断り書き、具体例の構成、
或いは読む何かの順序が論理的順序が入れ替わって書かれていること、
或いは実は証明出来る事柄が証明なしに単文や節或いは式などで
次々と本文中に(間違って)書いていたりするような形式の説明、
或いは、本文中で前に書かれた形式の説明を飛躍させて書いた本文中の説明のことなどを、
>>695では「行間があることに気付かないケース」といっていた可能性はある。
>>697に書いた「批判的態度」とは「批判的な精神を持った態度」を指していて、
その検証してもらう仕組みの問題も、基本的には他人に検証してもらう側(自分)の問題に帰着される。
758:１３２人目の素数さん
18/09/04 15:42:02.85 AcCNS/r4.net
>>725
頭が堅くて悪い人の文章
759:１３２人目の素数さん
18/09/04 15:46:59.03 4aj2pbie.net
>>726
「頭が堅い」、「頭が悪い」の定義は？
760:１３２人目の素数さん
18/09/04 15:51:26.00 AcCNS/r4.net
>>727
そのレスで頭が堅くて悪いことがわかっちゃうよね
761:１３２人目の素数さん
18/09/04 15:51:36.37 4aj2pbie.net
>>726
そうそう、昔の本だと>>725のようなことはしばしばある。
他にも、重要な定理が演習になっていて、それが後の説明で
空気のように暗黙に使われていたり。
762:１３２人目の素数さん
18/09/04 15:56:15.57 4aj2pbie.net
>>728
「頭が堅い」とか「頭が悪い」というのは、単文で書かれても、
どのように堅いのか、どのように悪いのかが説明されてなく、多義的解釈が出来る。
763:１３２人目の素数さん
18/09/04 16:02:14.99 hhBL+Yjq.net
自演？
764:１３２人目の素数さん
18/09/04 16:07:45.37 4aj2pbie.net
>>731
はじめにこちらが書いた>>725に対して、>>726が突っかかって来て相手した。
概して「頭が悪い」という表現は、意味ははっきりとは定まってなく、何通りかの解釈が出来る。
765:１３２人目の素数さん
18/09/04 16:10:48.00 BCan/tLK.net
カール・ポパーの反証主義とか
そのあたりを踏まえて議論するのが
建設的じゃねぇのかな？
766:１３２人目の素数さん
18/09/04 16:16:42.95 Li0IJA6a.net
相手にしなきゃいいのに
言われてムカついちゃったのかな？
767:１３２人目の素数さん
18/09/04 16:53:02.11 4aj2pbie.net
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
昔、そのホームページのどこかにゼミの準備の仕方や心得とかについて事細かに書いていたけど、
今ではそれは何か更新されているようだ。サイトによると、
サラリーマンの勤労時間とセミナーの準備時間とを関連付けて説明していて
1回のゼミの準備に100時間以上かけてもおかしくはないようだ。
このようなことは昔から変わっていなく、今でも書かれてある。
>>734
「頭が悪い」という単文は「頭が(どのように)悪い」のかが
説明されていない点において、客観的な説明にはなっていない。
その点で、頭ごなしに「頭が悪い」ということは好まない。
768:１３２人目の素数さん
18/09/04 17:11:58.22 AcCNS/r4.net
要するに、自分がちゃんとしてれば大丈夫っていうのは独りよがりに過ぎないってこと。
769:１３２人目の素数さん
18/09/04 17:21:01.97 4aj2pbie.net
>>736
独学は「何とかなるさ」という考え方でないと出来ん。
高度な概念を覚えていくうちに、昔の学習事項を見直す機会もそのうちある。
また、先書いたような事柄は、或る意味演習問題でもある。
770:１３２人目の素数さん
18/09/04 17:24:26.31 4aj2pbie.net
そういえば、昔の数学者は多くが独学なんだよな。
771:１３２人目の素数さん
18/09/04 17:34:17.11 Kp0UoPpN.net
河東のゴミ糞を引用とはいかにも藤四郎w
772:１３２人目の素数さん
18/09/04 17:43:38.22 4aj2pbie.net
>>739
当の本人はそういわれることについて繊細らしい。
セミナーの準備についてのサイトが他に見つからなかった。
773:１３２人目の素数さん
18/09/04 18:08:14.18 +Gew6a/W.net
>>738
独学のようで、どこかで誰かに教えてもらったことが
役に立ったという話もある
別に専門的な数学で無くても
774:１３２人目の素数さん
18/09/04 18:09:44.34 +Gew6a/W.net
>>740
河東のサイトを参考にして自大学の学生に合うように書き直して
配布してる人は知ってる
東大でアカポス目指す学生でなければもう少し気楽にやっても良い
775:１３２人目の素数さん
18/09/04 18:11:19.27 YjaroEBj.net
数学書を読みやすくするための要求
要求1 ある定理の証明内で示された数式(や行われた議論)を、他の証明内から引用するのはやめて下さい。
つまり、証明は1つ1つ独立させて下さい
要求2 P(x,y)を述語とする時、∀x∃ｙP(x,y)を主張する時に｢全てのxに対して、P(x,y)を成り立たせるようなｙが存在する｣という日本語和訳表現を使うのはやめて下さい。
｢全てのxに対して、ｙが存在して、P(x,y)が成立する｣等の言い方にして下さい
要求3 本編で証明されるべき事柄を一部演習問題にするのは構いませんが、その逆はやめて下さい。
つまり、本編における議論･証明に於いて演習問題(の結果)を引用するのはやめて下さい。
要求4 集合を定義する時は、X={α|αは○○を満たす}のように内包的記述をして下さい。
｢○○を満たす物全体�
776:ﾌなす集合をXとする｣のように書いてTeXの手間を略さないで下さい。 要求5 証明の“主骨格”が背理法なら、きちんと｢○○であると仮定する｣と述べて下さい。 (主骨格が背理法にもかかわらず、あたかも何かを証明しようと議論進んでいるように見せかけて、最後の最後に○○が成り立たないなら△△に矛盾するという議論をたまに見かけるが、読みにくい)。 要求6 突然何を言い出してるのか分からないような議論を始めて、ウダウダ述べた挙げ句に｢～。では、以上の内容を定理として纏めておこう｣っていうスタイルはやめて下さい。
777:１３２人目の素数さん
18/09/04 18:20:48.82 YjaroEBj.net
要求7 場合分けで、Aの場合、Bの場合、Cの場合、…の時は、A,B,C毎に改行するなどしてプログラミングのswitch文で各ケースを並列させるようにして、分かり易くして下さい。
778:１３２人目の素数さん
18/09/04 19:27:54.82 AcCNS/r4.net
>>737
他人に見てもらうのを怖がっているようにしか見えない
779:１３２人目の素数さん
18/09/04 19:59:45.37 BCan/tLK.net
数学の世界は狭いようで広い。
誰も見向きもしない未解決問題が、
わりと足下に転がってたりする。
とはいえ、解決したはいいけど、
どこに発表したらいいのかわからん (T_T)
とかいった些末な問題もあったりするので、
始末に悪い。
小林 吹代『ピタゴラス数を生み出す行列のはなし』
とかは、「何か新しい話はあるのか？」みたいな
疑問がある。だったら細矢 治夫『トポロジカル・インデックス
― フィボナッチ数からピタゴラスの三角形までをつなぐ新しい数学』
のほうが、解決に向かおうとする悪戦苦闘っぷりが如実に読み取れて
数学の本としては価値があるように思う。
780:１３２人目の素数さん
18/09/04 20:31:08.54 eW7aTdZu.net
亀谷俊司著『解析学入門』を読んでいます。
不動点定理を使って、陰関数の定理、逆関数の定理を証明しているようです。
Tietze の連続関数延長定理とかいう定理も書いてありますね。
781:１３２人目の素数さん
18/09/04 20:40:57.14 +Gew6a/W.net
>>745
ネットで天狗になってるのはそんな連中だろうね
わからないとなると適当にはぐらかして逃げる
782:１３２人目の素数さん
18/09/04 21:22:44.72 8raOzXkV.net
工学系4年の者です。物理数学(線形微積フーリエラプラス等)の1冊にまとまった演習書で詳解物理応用数学演習以外のオススメの本ありますか？なければ詳解やるつもりです
783:１３２人目の素数さん
18/09/04 23:09:57.91 CYaCsBbJ.net
工学仕様の何かいい本ありませんか？ってことでしょ
数学の人が数学仕様の何かいい本ないですか？って聞くかよｗ
784:１３２人目の素数さん
18/09/04 23:32:50.84 RONEnAFJ.net
ないよ（´・ω・｀）
785:１３２人目の素数さん
18/09/05 01:43:38.06 3Du5bqiV.net
>>745 ( 昨日のID：AcCNS/r4 )
>>742 ( 昨日のID：+Gew6a/W )
よく知らんが、何やら>>716のいう「メタ認知」という言葉を検索すると、それは1970年代に広まったそうだ。
そのメタ認知の能力が高い長所は多いそうだ。だが、何やらその能力には短所もあって、
客観的に見る能力に長けたメタ認知能力が高い人は、
その客観的に見る能力に長けたことが仇になって、自意識過剰になることがあるとのこと。
それとは関係ないが、>>725や>>729のようなことは、少なくとも1960年～70年代の本の中には当てはまることがある。
>>742
>東大でアカポス目指す
って書いているけど、それ以前に、現在の日本は博士号がないとアカポスには就けない仕組みになっている。
786:１３２人目の素数さん
18/09/05 02:28:24.
787:89 ID:4sqhKt71.net
788:１３２人目の素数さん
18/09/05 02:40:36.76 3Du5bqiV.net
>>753
そもそもメタ認知とかには興味がないが、検索した結果、
もし、>>745=>>753か>>742=>>753なら、
正に>>753は自意識過剰な状態のレスといえるとのこと。
789:１３２人目の素数さん
18/09/05 03:32:34.96 0nDWKeZg.net
>>753
>>728
>>726
文章書ける頭のない茶々入れの女々しい嫉妬
790:１３２人目の素数さん
18/09/05 06:13:05.99 190M5rQg.net
>>747
「Tietze の連続関数延長定理」は、最近の本では『ティーチェ拡張定理』 (Tietze extension theorem) と呼ばれることが多いです。
使い道は色々ある基本定理ですが、トポロジーを学習すると出てくる「可分ではない部分空間」、例えばゾルゲンフライ平面 (Sorgenfrey plane) やムーア平面 (Moore plane、Niemytzki平面とも呼ぶ) 、を扱う時に知っていると重宝します。
その本は1950年代に書かれているので、最近の微積分や解析の教科書ではあまり扱われない定理も書いてありますが、先々トポロジーを学習するときに思い出して使いこなしてあげましょう。
791:１３２人目の素数さん
18/09/05 07:43:02.14 4sqhKt71.net
>>755
他人の検証を受けた方が良いという妥当なアドバイスを頑なに拒否する奴に嫉妬するわけない
馬鹿か
792:１３２人目の素数さん
18/09/05 10:25:36.65 3Du5bqiV.net
>>757
ITがなかった時代では、通信手段は電話や手紙のやり取り位になって、
「他人の検証を受けた方が良いというアドバイス」もしようがなかっただろう。
そもそも、どれも単文で書かれた3つのレス>>726、>>728、>>753が
>>701と同一人物かどうかについてはまだ疑問が残るが、
何れにしろ単文で書かれたそれら3つのレスには共通して
「文章を書ける頭のない茶々入れ」の傾向が見られることには変わりがない。
793:１３２人目の素数さん
18/09/05 14:14:00.32 4sqhKt71.net
>>758
アドバイスを茶々としか受け取れないクズ
794:１３２人目の素数さん
18/09/05 15:29:43.51 FCDBxkcY.net
>>759
そもそも、トポロジーっていうと
「開集合」という概念に対して
具体的なイメージを持たないと
「解った」「納得した」っていう
感触が得られないんだよな。
そうすると、解析学の基礎まで立ち戻って、
「極限とはなんぞや？」みたいな話になるわけだが、
解析学っていうのは「稠密かつ連続で、あらゆる
ところで無限回微分可能」みたいなのが（フラクタルとか
やってない、工学系の人間には）頭に入っているので、
ものすげぇパラダイム・シフトが必要になってくるわけ。
そのあたり、「たとえば物理的に説明すると、具体的には
こんな感じ」みたいなのが欲しいところなんだけどな。
795:１３２人目の素数さん
18/09/05 15:42:28.72 3Du5bqiV.net
>>759
>>705(>>701)が書いた
>自分のことは自分ではわからない
という主張に則って考えてみる。時間のことは考えない(数年単位での多少の時間のズレは考えない)。
その主張に則って考えると、或る人物 A_0 を検証する者 A_1 についても
A_1 のことは A_1 自身では分からないといえることになる。
だから、2人の人物 A_0、A_1 を外部から見ると
2人の人物 A_0、A_1 のことは A_0、A_1 の2人だけでは分からない
ということになる。そのため、>>705の主張に則って考えると、
A_0、A_1 のどちらとも異なる外部の第三者 A_2 が必要になり、
2人の人物 A_0、A_1 のことを A_2 が検証する必要が生じる。
だが、同様に3人の人物 A_0、A_1 A_2 を外部から見ると
3人の人物 A_0、A_1 A_2 のことは A_0、A_1 A_2 の3人だけでは分からない
ということになる。そのため、>>705の主張に則って考えると、同様なことを考えることが続くことになる。
796:１３２人目の素数さん
18/09/05 15:47:27.33 3Du5bqiV.net
>>759
(>>761の続き)
そこで同様に考えると、地球上の人口の総数は有限だから、
或る正の整数n n≧2 が存在して、nは地球上の人口の総数になると同時に、
n人の人物 A_0、A_1、…、A_{n-1} のことは A_0、A_1、…、A_{n-1} のn人だけでは分からない
ということになる。そのため、>>705の主張に則って考えると、
A_0、A_1、…、A_{n-1} の何れとも異なる外部の第三者 A_n が必要になり、
n+1人の人物 A_0、A_1、…、A_{n-1} のことを A_n が検証する必要が生じる。
その結果、>>705は地球上の人のことは地球上の人だけでは分からないと主張していることになる。
(補足だが、それと同時に、A_0、A_1、…、A_{n-1}、A_n の総数はn+1人だから、
>>705の主張の解釈次第(例えば、理解出来ているか検証してもらう側の A_0 の理解度を完璧にしようとするような立場での解釈)では、
地球上の人口の総数について矛盾が生じるともいえることになる。)
そのようにして、>>705の主張には破綻が生じている。
そもそも、地球上の人だけでは地球上の人のことは分からない。
論文ではあるまいし、理解度にはどこかで妥協させて終わらせるしかない。
797:１３２人目の素数さん
18/09/05 16:03:26.39 3Du5bqiV.net
>>759
>>762の
>n+1人の人物 A_0、A_1、…、A_{n-1} のことを A_n が検証する必要が生じる。
の部分は
>n人の人物 A_0、A_1、…、A_{n-1} のことを A_n が検証する必要が生じる。
に変更。
798:１３２人目の素数さん
18/09/05 16:59:02.90 FCDBxkcY.net
>>763
気分的には、
> 或る正の整数 n n≧2 が存在して、n は地球上の人口の総数に
> なると同時に、n人の人物 A_0、A_1、…、A_{n-1} のことは
> A_0、A_1、…、A_{n-1} のn人だけでは分からない
> ということになる。
というより、
「ある自然数 n が存在して、n は地球上の人口の総数以下に
なると同時に、『n人 の人物 A_1、A_2、…、A_{n} のことは
A_1、A_2、…、A_{n} のn人だけでは分からない』
ということになる。」
と主張する（神とか、地球外生命体とか、人工知能とかの
ような、人智を超えた存在も視野に入れる）ほうが、
説明上は わかりやすいように思う。
799:１３２人目の素数さん
18/09/05 17:26:19.81 X19aJJi/.net
>>750
数学科の認識はよく分からないんですが詳解をコンパクトにしたやつあったら教えて下さい
800:１３２人目の素数さん
18/09/05 17:26:31.43 FCDBxkcY.net
およそ専門書というものは、
「理解している人間」が
「まだ理解していない人間」に対して、
理解を促すために書かれているのだが、
「理解している人間は、まだ理解していない
人間に対する配慮が十分ではない」ように
思う。
これは数学ではなく航空工学の話だが、
「ベルヌイの定理」は航空工学における
最大の難所ではあるのだが、
「あれは、要するにエネルギー保存則であって、
『圧力損失+運動エネルギーの差＋位置エネルギーの
差＋熱損失』が、定常状態の流管における損失に等しい」
と言ってくれりゃあいいものを、と思うんだが、
そこに言及した航空工学の本というのは見た
ことがなくて、天下り的に「ベルヌイの定理」が
出てくる。
「数学の本は、そのあたりの配慮に大きく欠けては
いないだろうか？」、と思う。
801:１３２人目の素数さん
18/09/05 17:33:42.40 FCDBxkcY.net
>>765
ぶっちゃけ、「コンパクトにまとまった、わかりやすい本」
というのは、「あったら俺が欲しい」くらいなので、
微積分と線形代数はそれぞれ遠山啓と森毅、
フーリエ変換とラプラス変換は、それぞれ
工学系の専門書（前者は電気工学、後者は制禦工学）
を適当に漁って、自分なりに頭の中でイメージを
統合するくらいの方法しか思いつかない。
802:１３２人目の素数さん
18/09/05 18:40:57.81 VQsMhkC4.net
教科書は理論のユーザーが書いた方が分かりやすくて良い本になる
803:１３２人目の素数さん
18/09/05 18:52:04.20 0nDWKeZg.net
>>757
>>759
短文ゴミレスがアドバイス？片腹痛いわアホ
804:１３２人目の素数さん
18/09/05 19:37:39.01 FCDBxkcY.net
これは数学板で言うようなこっちゃないのだが、
非線形の微分方程式は
あらかた解析的には解けんので、
工学的な問題は、線形二次の微分方程式を
あっちゃこっちゃ重ねたり繋いだり（最近は
コンピュータが強力なので、つなぎ目は
数値計算つーかシミュレーションでごまかす）して
解くのが常套手段だ（人工衛星の大気圏への突入とか、
航空機で音速を突破するとかが代
805:表例）。 そういう意味では、微分方程式の 基本的な部分に関しては デヴィッド・バージェス／モラグ・ボリー 『微分方程式で数学モデルを作ろう』 （日本評論社）あたりは、工学畑の学生 （大学二・三年生くらい）には読みやすくて いい本なんじゃないかと思う。
806:１３２人目の素数さん
18/09/05 19:53:04.79 sm55I3oV.net
とにかく数オリやれや、おまえら！
807:１３２人目の素数さん
18/09/05 19:58:42.35 v0oO+Th7.net
>>771
ちんぽ！
808:１３２人目の素数さん
18/09/05 20:11:54.16 JhHyuIxm.net
おちんぽミルクってなんですか？
809:１３２人目の素数さん
18/09/05 20:32:39.34 JCT90QPJ.net
>>766
＞
＞微分方程式の基本的な部分に関しては
＞デヴィッド・バージェス／モラグ・ボリー
＞『微分方程式で数学モデルを作ろう』
＞（日本評論社）あたりは、工学畑の学生
＞（大学二・三年生くらい）には読みやすくて
＞いい本なんじゃないかと思う。
同感！
私は、論理学の「超：解かり安い本（真に「名著」と呼ばれるに値する本
（E-Book）」を書くべく日夜励んでいるのだが、なんせ、このクソ暑さだ！
810:１３２人目の素数さん
18/09/05 20:42:30.13 4sqhKt71.net
>>769
ID:0nDWKeZg
みごとなブーメラン
811:１３２人目の素数さん
18/09/05 20:42:59.08 JCT90QPJ.net
このサイトは、まさに、”玉石混交”だな (^o^)
812:１３２人目の素数さん
18/09/05 20:53:22.91 v0oO+Th7.net
>>776
ちんぽ！
813:１３２人目の素数さん
18/09/05 21:43:57.55 5QUtDujh.net
日本人は全員ゴミ
814:１３２人目の素数さん
18/09/05 22:45:26.72 5u4R79Su.net
列島民は全員チョン
815:１３２人目の素数さん
18/09/05 22:50:43.73 +q3z4XrP.net
日本人は全員ホモ
816:１３２人目の素数さん
18/09/06 00:48:10.31 4brS8X5s.net
>>775
月並みな〆しょーもないやつ
最初の噛みつきからずっと自分のアホさらしとる
女々しい嫉妬の意味がさっぱり分かっとらんなコイツwww
817:１３２人目の素数さん
18/09/06 02:11:24.56 d2d/CtG2.net
>>781
人格攻撃してまで自分の理解を他人に検証させるのを避けようとする。
そこまで嫌がるのはなぜだろう。
818:１３２人目の素数さん
18/09/06 03:13:42.41 VFrTLUxZ.net
>>782
他人から自分の理解を他人に検証させるのを避けようとする
と思われている当の私は、昨日の
>>752=>>754=>>758=>761=>762=>763 ( ID：3Du5bqiV )
で、>>>781とは別人である。尚、昨日は>>761-763にて>>705の主張には破綻があるとレスした。
だが、>761-763には返答や反論はない。この話題はもう終了でいいだろう。
819:１３２人目の素数さん
18/09/06 04:32:02.40 jU+e5wld.net
論理学って、一般の人が想像するのは古典論理か
プール代数だろうけど、ちょっと応用面になると、
プール代数におけるフリップフロップみたいな
時間様相が入ってくるじゃないですか。さらに
制禦とかをやろうとすると、ファジイ論理とかも
視野に入ってくるし。
一方で、証明可能性とかになると、「二重否定の除去」が
できないから直観論理が必要になってくる（「神が存在しないことの
証明が可能でないならば、神は存在する」は、一般的に正しくない。
とはいえホーン節の論理だと、閉世界仮説が通用するので
「正しい」という教条主義的な結論になりそうだが）とか、
様相論理（多値論理？）とか考えないと「多数派の多数派は必ずしも
多数派ではない」みたいなわりと素朴な推論も、うまく扱えない。
各論は掘り下げなくてもいいけど（それぞれ専門の本はある）、
それぞれの論理の概観的な紹介と現実的な応用、またそれぞれの
論理の関係について、ざっくりと解説してくれているような
本ってないのかな。
820:１３２人目の素数さん
18/09/06 06:01:08.86 pF747JEN.net
>>784
三浦俊彦、戸田山和久は両者哲学者
一般人でも読めるような面白い本も出してるいい研究者です
戸田山の｢論理学を作る｣は初学者に超超超分かり易いです
821:１３２人目の素数さん
18/09/06 06:09:24.46 jU+e5wld.net
>>785
さっそくのお奨めありがとうございます m(_ _)m
捜してみます。
「数学基礎論は数学の異端児で、論理学は哲学の異端児だ」
そうですが、あのあたりの領域やゲーム理論の分野は、
ギスギスしていないので居心地がよくて好きです。
822:１３２人目の素数さん
18/09/06 08:11:26.25 S17wKvem.net
概観に良いのを３冊ほど。
[1] 前原昭二 竹内外史 「数学基礎論」ちくま学芸文庫
文庫で200ページ。内容は不完全性定理だけでなく直観論理、ファジー論理、計算論など。
[2] 戸田山和久「論理学をつくる」名古屋大学出版会
多値論理、 直観論理、様相論理など。これは単行本。 >>785 のやつ。
[3] 三浦俊彦「改訂版 可能世界の哲学 「存在」と「自己」を考える」二見文庫
可能世界。
823:１３２人目の素数さん
18/09/06 08:22:01.66 Z06P8XPH.net
778 名前：あぼ～ん[NGID:5QUtDujh] 投稿日：あぼ～ん
779 名前：あぼ～ん[NGID:5u4R79Su] 投稿日：あぼ～ん
780 名前：あぼ～ん[NGID:+q3z4XrP] 投稿日：あぼ～ん
783 名前：あぼ～ん[NGID:VFrTLUxZ] 投稿日：あぼ～ん
784 名前：あぼ～ん[NGID:jU+e5wld] 投稿日：あぼ～ん
785 名前：あぼ～ん[NGID:pF747JEN] 投稿日：あぼ～ん
786 名前：あぼ～ん[NGID:jU+e5wld] 投稿日：あぼ～ん
787 名前：あぼ～ん[NGID:S17wKvem] 投稿日：あぼ～ん
824:１３２人目の素数さん
18/09/06 08:30:55.03 jU+e5wld.net
>>787
[1] は著者といいタイトルといい
出版社・シリーズ名といいページ数といい
激しくソソりますね (^_^)
ありがとうございます。m(_ _)m
825:１３２人目の素数さん
18/09/06 08:45:05.40 jU+e5wld.net
>>787
じつは私は自然言語処理をやっているので、
[3] で扱っているような可能世界仮説は
「ムヤミに解釈の幅が広がっちゃってヤダ」
（計算機の中で「組合せ論的爆発」とか
起こしそうな気がします）みたいなところがあります。
「これを『数学の本』と呼んじゃうのはいかがなものか」
という気はするのですが、
内田 種臣『様相の論理』（早稲田大学出版部）
坂井 秀寿『日本語の文法と論理』（勁草書房）
のように、様相論理一本鎗で押してくほうが、
スタイル（イデオロギー？）的には好みです。
826:１３２人目の素数さん
18/09/06 09:24:19.71 pF747JEN.net
大分逸れると思いますが
高橋昌一郎の｢理性の限界｣｢知性の限界｣｢感性の限界｣は一切数式等を使わず、架空の学者らによるディベートを模した超軽い哲学本で
面白いですよ
アマゾンの評価も高い
827:１３２人目の素数さん
18/09/06 09:38:01.16 jU+e5wld.net
>>791
ありがとうございます m(_ _)m
じゃあ、私も便乗して荒らしに走ろうかな（笑）
森田 邦久『科学哲学講義』 (ちくま新書)
など、いかがでしょうか。
内容としてはマッハ主義とかポパーの
批判主義とかの系列かな？
828:１３２人目の素数さん
18/09/06 18:53:58.23 mWW3JYUF.net
数オリとルベーグ積分って、どちらの方が難しいの？
829:１３２人目の素数さん
18/09/06 19:03:15.92 Jow5UPY2.net
カキコの内容から察するに
数板の低レベル化ここに極まれりだな
830:１３２人目の素数さん
18/09/06 19:38:23.39 d2d/CtG2.net
>>783
アンカーリンクだらけの気持ち悪いレスを書いてないで、他者に自分の理解をチェックしてもらった方が良い。
数学者でも講義はケアレスミスの山だ。間違いは数学の力量�
831:ﾛ定しない。
832:１３２人目の素数さん
18/09/06 19:59:27.02 mWW3JYUF.net
数学者って変人ばかりなの？
833:１３２人目の素数さん
18/09/06 20:28:20.17 jU+e5wld.net
>>796
変人ではない数学者は、
おおむね優秀ではないということが
経験的に確からしいことが
知られているが、
「変人」の定義がすでにして
恣意的であり、「そもそも、数学者に
なるような人間は、すべて変人である」が真であれば、
すでにして問い自体が無意味ではないだろうか。
つーか、そのくらいの理屈がわからん奴が、
なんで数学板にいるの？
834:１３２人目の素数さん
18/09/06 20:36:50.49 jU+e5wld.net
>>793
おまえに理解できないという意味では、
おそらくは同程度に難しいので、
そこいらで空手踊りでもしていれば、
何かの拍子に悟るかもしれない。
835:１３２人目の素数さん
18/09/06 21:51:32.12 mWW3JYUF.net
ハーツホーンの代数幾何学って、難しいですか？
836:１３２人目の素数さん
18/09/06 22:03:03.03 vNqXNySP.net
確率論の本って確率過程の基本までやんわり抑えたあとはどんなの読めばいいの？
837:１３２人目の素数さん
18/09/06 22:19:09.10 g5YokhxN.net
>>800
S. Watanabe, N. Ikeda
Stochastic Differential Equations and Diffusion Processes
とか。これを読むレベルじゃなかったら
渡辺 信三 確率微分方程式 (ちくま学芸文庫)
が出たばかり（再版だが）
>>799
代数幾何を勉強するならいずれハーツホーンに書かれていることはほぼ全部理解するようになる
ハーツホーンだけ勉強しても代数幾何の研究にはほど遠い
代数幾何の専門家の皆学部～修士でハーツホーンを読んでいたわけじゃない
あとは人それぞれ
838:１３２人目の素数さん
18/09/07 03:06:22.70 oln11fcL.net
>>795
>間違いは数学の力量を否定しない
カッコいい表現だな
今度パクってもいい？
>>801
やんわり抑えた程度の人に、Ikeda & Watanabeは絶対無理
後者でしっかり抑えろとしか
でもこういう問い方って、プログラマ系の人とかが実用的な目的でやってる感がありあり
839:１３２人目の素数さん
18/09/07 05:13:03.27 nFkNC8GJ.net
>>795
>他者に自分の理解をチェックしてもらった方が良い。
幼少期から数学関連のコミュニティー(小中高の塾なども含む)には殆ど参加してなく、1人でする形式の方が慣れている。
もし理解のチェックをしてもらうとしたら、手紙形式になる。
そうでなければ、断る。
>>701
>ガロア理論スレで正規部分群の定義を間違えて理解したまま数年間
>レスしつづけていた人がいて、独学者の悲惨さを感じた。
と書いてあるけど、その人は独学の方法を大きく間違えていて、
普通に教科書読んで学習してからガロアの論文を読めばいいのに、
手順前後でガロアの論文を読んでガロア理論を理解しようとしていた。
現代の観点からしたら無謀過ぎる方法で独学しようとしていて、これでは独学でも何でもない。
840:１３２人目の素数さん
18/09/07 06:52:24.34 sXMFD348.net
ってかそもそも専門を独学するなら大手有名大学のカリキュラムを参考にテキスト読むってぐらい数学以前の常識やん
841:１３２人目の素数さん
18/09/07 07:09:02.28 nFkNC8GJ.net
>>804
大学のカリキュラムは或る程度(例えば最近よく研究されている分野など)は参考になる。
昔の方が、少なくとも学部レベルではカリキュラムのレベルは高い。
842:１３２人目の素数さん
18/09/07 08:41:53.86 q13g0g6f.net
>>802
> でもこういう問い方って、プログラマ系の人とかが
> 実用的な目的でやってる感がありあり
マルコフ連鎖とかだったら、数学っちゅーより
オペレーションズ・リサーチとかの分野の
話だもんなぁ。
あとはウィーナー過程だったら通信関係とか。
843:１３２人目の素数さん
18/09/07 09:15:00.91 uOHpnsWk.net
>>803
思い違いというのは大抵の場合、他人に見てもらいたいところにはない。
自分ではわかりきってると思っているところにある。
だから対面して何時間か接した方が良い。
844:１３２人目の素数さん
18/09/07 10:16:36.94 nFkNC8GJ.net
>>807
>対面して何時間か接した方が良い。
そういう知り合いは皆無といってよく、そんなこと出来ないだろ。
845:１３２人目の素数さん
18/09/07 10:53:41.59 DvzRt+zV.net
独習でイギリスのグリーン、ドイツのグラスマン…
独習者が研究成果を認めさせるのは大変。
現にガウスはグラスマン代数なんて要らんと思ってたし。
846:１３２人目の素数さん
18/09/07 11:14:00.58 nFkNC8GJ.net
前書きに「独習書として読めるように書いた云々」と明記されている本や、
推薦文で「独習用にも使える」と書いてあるような雑誌もあるのに、
あたかもそのような独習書の存在を否定しているかのようにも見える人々だな。
こういった本や雑誌をどのように捉えているんだろうか。
>>809
研究成果を認めさせる話とは別だろう。
知識は何かに使わないと意味がない。逆に使っていく過程の中でその知識の理解度が深まることもある。
847:１３２人目の素数さん
18/09/07 13:06:29.72 yC0jRi5Y.net
>>810
「数学の一つの分野につき一つ以上の独習書がある」ということを否定しているだけ
例えば前書きや推薦文に独習向けと書かれた代数幾何学の本は（知ってる限りでは）存在しない
848:１３２人目の素数さん
18/09/07 13:18:59.66 q13g0g6f.net
流れに割り込んで申し訳ないが、
それぞれの本についての評価
大雑把に示されているとありがたい。
数学書は（ちくまの学術文庫を除けば）全般的に
高価だし、（大学を除けば）なかなか（町の）図書館にも
置いてないので、本屋に註文して買わないと読めないので。
で、「単位判定」と「総合評価」で区分するとして、
★：ジョーズの軍団（不可の集まり）
☆★：白河公（世の中に可ほど煩きものはなし）
☆：若大将（可山優三）
☆☆：優等生（可もなく不可もなし）
☆☆☆：蕎麦屋の釜（優ばっかり）
くらいの分類ではどうだろう。
849:１３２人目の素数さん
18/09/07 15:37:47.92 aXZF4k0A.net
>>812 過去スレ嫁、池沼
850:１３２人目の素数さん
18/09/07 15:47:10.31 q13g0g6f.net
>>813
77 スレも読んでられるかヴォケ
せめて過去スレのどこに書いてあるかくらい
書けやアフォ
851:１３２人目の素数さん
18/09/07 15:54:05.81 mbd0IjUn.net
>>813
呼んだ？
URLﾘﾝｸ(twitter.com)
URLﾘﾝｸ(m.facebook.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(twitter.com) (5ch newer account)
852:１３２人目の素数さん
18/09/07 15:58:14.64 aXZF4k0A.net
/: : : : : __: :/: : ::/: : :／/: : :/l::|: : :i: :l: : :ヽ: : :丶: : 丶ヾ ＿＿＿
/;,, : : : //::/: : 7l,;:≠-::/: : / .l::|: : :l: :|;,,;!: : :!l: : :i: : : :|: : ::､ ／ ヽ
/ヽヽ: ://: :!:,X~::|: /;,,;,/: :／ ﾘ!: ::/ﾉ l｀ヽl !: : |: : : :l: :l: ﾘ / そ そ お ＼
/: : ヽヾ/: : l/::l |／|||llllヾ,､ / |: :/ , -==､ l＼:
853:::|: : : :|i: | / う う 前 | . /: : : //ヾ ; :|!: ｲ､||ll|||||::|| ﾉノ ｲ|||||||ヾ､ |: ::|!: : ｲ: ::|/ な 思 が /: : ://: : :ヽｿ::ヽl |{ i||ll"ﾝ ´ i| l|||l"l ｀|: /|: : /'!/l ん う ∠: : : ~: : : : : : : :丶ゝ-―- , ｰ=z_ｿ |/ ﾊﾒ;, :: ::|. だ ん i|::ﾊ: : : : : : : : : : : ､ﾍﾍﾍﾍ ､ ﾍﾍﾍﾍﾍ /: : : : : ＼,|. ろ な |!l |: : : : : : : : :､: ::＼ ､-―-, / : : :丶;,,;,:ミヽ う ら 丶: :ﾊ､lヽ: :ヽ: : ::＼__ ｀~ " /: : ﾄ; lヽ） ゝ ﾚ ｀| ｀､l｀､＞=ﾆ´ , _´ : :} ｀ ／ ,,､r"^~´"''''"t-｀r､ _ -､ ´ヽノ ＼ﾉ ／ お ・ ,;'~ _r-- ､__ ~f､_>'､_ | で 前 ・ f~ ,;" ~"t___ ﾐ､ ^'t | は ん ・ ," ,~ ヾ~'-､__ ﾐ_ξ丶 | な 中 ・ ;' ,ｲ .. ヽ_ ヾ､0ヽ丶 l / （ ;":: |: :: .. .｀, ヾ 丶 ! ＼＿＿＿＿／ ;;;; :: 入:: :: :: l｀ｰ-､ ）l ヾ 丶 "~､ｿ:: :い:: : ＼_ ノ , ヾ 丶
854:１３２人目の素数さん
18/09/07 17:31:01.45 q13g0g6f.net
「数学屋は洒落がわからん」というのが
俗説でしかないということを
納得した。
「昔から云うではありませんか。
ビブンのことはビブンでせよと。」
で、数学者の洒落っ気を測られても
困るんだよなぁ。
数学者なら分かる数学者の洒落、と
いうのも数々あったりするので。
855:１３２人目の素数さん
18/09/07 20:01:17.98 uOHpnsWk.net
>>810
小平が数理論理学がわからなかったりベイカーが数論幾何についていけなかったり、力量ある数学者でも独習は厳しい
856:１３２人目の素数さん
18/09/07 20:13:27.54 q13g0g6f.net
>>818
なるほど。
大学教員（おそらく教養課程を担当）の数学者が、
自分の専門とはジャンル違いの教科書を書いてて、
しかもそれが分かりやすいというのはそれでか。
「自分がちゃんと理解してないものを、学生に教える
というのは職業倫理に悖るので、自分で一から勉強してみる」から、
結果的に学生にも分かりやすい教科書になるわけだな？
857:１３２人目の素数さん
18/09/07 20:22:28.96 q13g0g6f.net
終戦直後のなんにもないときに、
「講義がないというのもアレだから」と
いうので、遠山 啓先生がジョン・フォン・
ノイマンの『量子力学の数学的基礎』
（広島・長崎への原爆投下が頭にあったんだろうと
思う）の自主講座を開いて、その講義に
感動した吉本 隆明が遠山先生のところに
押しかけてきて、教務担当といっしょに
「やめとけ。餓死するぞ」と押しとどめたという
話もあるそうだから、学生向けの教科書というのは
その分野の専門家より、畑違いの著者のほうが
わかりやすい教科書を書くのかもしれない。
そういう感じの、「畑違いの著者による、
非・専門家向けの教科書」って、なんか例がある？
858:１３２人目の素数さん
18/09/07 20:33:26.19 aXZF4k0A.net
>>361 >>820
859:１３２人目の素数さん
18/09/07 20:58:28.32 OR7VQKt9.net
>>818
ベイカーさん本人がついていけなかったと言っていたんですか？
860:１３２人目の素数さん
18/09/07 21:10:16.80 q13g0g6f.net
>>821
ごめん。前に同じネタを書いてたのを忘
861:れてた (-_-!) お詫びに一冊紹介しとく。 ブライアン・ヘイズ『ベッドルームで群論を ― 数学的思考の愉しみ方』 著者はサイエンティフィック・アメリカン （日本語半は「日経サイエンス」）で「コンピュータ・ レクリエーション」という連載を持っていた （紹介した文献の元ネタは、その連載）のだが、 連載前にはコンピュータに触ったこともなかったと、 まえがきで書いていた。 このスレの読者には食い足りないだろうけれど、 あまり専門的に研究されていなそうなジャンルのネタが 主なので、目先が変わっていいかもしれないと思う。
862:１３２人目の素数さん
18/09/07 21:23:56.50 OR7VQKt9.net
松井和夫って誰ですか？
URLﾘﾝｸ(page.auctions.yahoo.co.jp)
863:１３２人目の素数さん
18/09/07 21:32:45.98 loj7yPa0.net
畑違いの著者が間違いを書いてることもまた多し
864:１３２人目の素数さん
18/09/07 22:09:58.78 OR7VQKt9.net
金子晃さんはなんか数学の入門書を沢山書いていますね。
865:１３２人目の素数さん
18/09/07 22:12:06.93 OR7VQKt9.net
数学って独習する割合が多くないですか？
数学科の学生であっても。
866:１３２人目の素数さん
18/09/07 22:42:05.52 w6ayBw1T.net
>>818
自分の身的感覚上、受け付けないものを
「分からない」と言っただけでないの？
867:１３２人目の素数さん
18/09/07 23:49:09.99 loj7yPa0.net
「分からない」の意味が人によって違うからな
小平の分らないとおめーらの分からないは違うｗ
868:１３２人目の素数さん
18/09/08 02:19:25.66 pFsrPd60.net
>>829
その通り
フィールズ賞受賞者が言う｢分からない｣はハイレベルなところでの｢分からない｣と理解するのが自然な解釈
入門書レベルなんか分かってるに決まってる
869:１３２人目の素数さん
18/09/08 02:34:50.17 l5vBqwra.net
不完全性定理はわかったが強制法はよくわからなかった、というのが本人の弁
870:１３２人目の素数さん
18/09/08 02:50:12.86 oy9IEf9x.net
>>818
能力がある数学者の話をしたら、元の始まりが>>695や>>701だから、意味がなくなるな。
当初から、話の成り行きに何か違和感を感じていた。
871:１３２人目の素数さん
18/09/08 03:55:18.85 1tEpWCVs.net
>>800
君、ルベーグの理解もやんわり程度かね？
872:１３２人目の素数さん
18/09/08 08:17:31.55 o+aHZuFk.net
小平の生前は情報幾何学がなかったけど、もしもう少し長生きしてたら層係数コホモロジーを駆使して新分野を開拓していたかも。
そして今とは機械学習や深層学習の発展も違っていたかもしれない。
そういう方向性が見えていたら不完全性定理や強制法も圏論つながりで自分の分野と思えただろうから簡単に｢分からない｣と諦めたような発言はなかっただろう。
自分の仕事と思わなかったからこその発言なんだと思う。
873:１３２人目の素数さん
18/09/08 08:25:28.20 o+aHZuFk.net
「情報幾何の生い立ち」 甘利俊一
URLﾘﾝｸ(www.jstage.jst.go.jp)
874:１３２人目の素数さん
18/09/08 10:04:21.26 1tEpWCVs.net
>>834
情報幾何の今後の展望についても続けてどうぞ
875:１３２人目の素数さん
18/09/08 10:24:20.35 5L+wnaYp.net
>>835
物工板へ
876:１３２人目の素数さん
18/09/08 14:33:32.09 hfvOJrQt.net
情報幾何学って本当に甘利俊一さんが創始したんですか？
877:１３２人目の素数さん
18/09/08 15:59:14.53 S9k8RoLX.net
>>837
> 物工板へ
情報幾何つまり統計の微分幾何学は物理工学とは関係ない
統計学つまりは応用数学の一分野だから数学板で論ずるのが
878:正しい 文句があるなら君が「数学板を純粋数学板と応用数学・数理工学板とに分ける」ということを提案して 実際に２つの板に分ける全ての作業（板の新設に必要な作業）を君がやれば良い
879:１３２人目の素数さん
18/09/08 16:56:26.69 9uM8YKs6.net
ｽﾚﾘﾝｸ(math板:649番)
お願いします
880:１３２人目の素数さん
18/09/08 17:18:59.75 w5ltr/cW.net
応用数学で板を別ける必要はないだろ
今のままだと応用数学の話題はすぐ沈むだけさ
881:１３２人目の素数さん
18/09/08 18:13:19.46 1tEpWCVs.net
>>838
俺が創始した
882:１３２人目の素数さん
18/09/08 18:16:09.84 1tEpWCVs.net
板を別ける必要はない
そんなことに頓着してるから応用数学アメリカに周回遅れになっちまうんだよ
さあ、続けて続けて
883:１３２人目の素数さん
18/09/08 21:50:55.79 NO3Ixnxc.net
既存研究の拡張をやってるんだけど、半分、肉体労働だわ。
仮にうまくできても、あんたらは評価しないよね？
規定路線に乗ってて、面倒になってるだけだから。
一応、証明の見せ場がないわけではないけど。
884:１３２人目の素数さん
18/09/09 00:05:09.41 Sm6kToJ/.net
>>844
他人の批判くらいしかやることがないここの大部分の住人よりは
はるかに高く評価できる
885:１３２人目の素数さん
18/09/09 00:53:53.78 J1X53y3t.net
>>845
>>844だけど、そんなのと比べられてもw
886:１３２人目の素数さん
18/09/09 01:35:39.03 V5TYVu0Y.net
URLﾘﾝｸ(m.facebook.com)
URLﾘﾝｸ(twitter.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(twitter.com) (5ch newer account)
887:１３２人目の素数さん
18/09/09 01:37:15.12 NAD/fG2T.net
何が目的で拡張するのかが大事。目的もなくただ業績欲しさのために既存の結果を拡張するのは害悪にすらなる。
888:１３２人目の素数さん
18/09/09 04:39:19.91 HAVtxd4k.net
博士の学生なんだけど研究してる人って本とか論文どのくらい読んでるの？
自分は年に2本くらい論文をちら見する程度なんだけど、周りは結構論文印刷したり本を自主ゼミ開いて輪読してるけど研究するのにそんなに知識必要なのかな？
889:１３２人目の素数さん
18/09/09 06:36:02.64 3sEUhW73.net
>>844
> 半分、肉体労働だわ。
俗に（「悩む」ではなく）「脳（のう）む」というんだわ（笑）
数か月単位で集中して研究をすると、体力を消耗して
たいてい体調が悪くなる。
「数学は身体に悪い」ように思うのだが、
高齢でもお元気な先生もいらっしゃるので、
若いうちにやっとくと、歳を取っても
衰えないのかもしれない。
890:１３２人目の素数さん
18/09/09 07:23:18.54 236Tv5gf.net
具体性のないレスだなあ
抽象論じゃなく具体的な代表元として振る舞ってくれ
891:１３２人目の素数さん
18/09/09 08:54:01.59 3sEUhW73.net
>>851
数論関係の未解決問題を気合を入れて解いたら
持病が悪化して一か月以上入院した。
室井和男さんも似たような経験を
しているそうだが、してみるとバビロニア数学が
いかんのかもしれん。
892:１３２人目の素数さん
18/09/09 09:17:34.34 GwsSbvc5.net
難しくて誰も解けないからではなくて
つまらなくて誰も興味ないから未解決
893:１３２人目の素数さん
18/09/09 09:44:17.61 lIIvfegl.net
>>1
＞数学の専門書についてのスレです
スレの主旨もルールも平気で無視する連中はほぼほぼ犯罪者だと考えておｋ
894:１３２人目の素数さん
18/09/09 09:49:47.02 GwsSbvc5.net
>>854
よっ犯罪者！
895:１３２人目の素数さん
18/09/09 09:54:05.43 lIIvfegl.net
│＼
│ ＼≡(`Д´;))≡= ｵｵッ！
│ ＼≡// ))≡=
│ ≡」」」≡=
│
│
│
│
│
│
>>855 ノリ突っ込み専用Bot
896:１３２人目の素数さん
18/09/09 10:03:47.99 GwsSbvc5.net
>>856
よっ犯罪者！
897:１３２人目の素数さん
18/09/09 11:24:25.02 3sEUhW73.net
>>853
細井治夫先生とか一松信先生とかが、
「とりあえず未解決なんでイライラする」とか
仰ってたんだが、線形代数に関する問題だと
思っていたんで未解決だった。
こっちは素人なんで、連分数とかか幾何学のほうから
アプローチしたら、二通りの証明が出た。
「別のアプローチを探す」「可能なルートを一個一個ツブす」
っつーのは、ぶっちゃけ脳内労働だと思う。
898:１３２人目の素数さん
18/09/09 11:29:36.87 3sEUhW73.net
竹山美弘『定理のつくりかた』（森北出版）は
面白かった。
ピックの定理についての部分は、「こなれていない」
んだけど、その悪戦苦闘っぷりが如実に伝わってきて、
論文にありがちな取り済まし感とかドヤ感とかがなくて、
ほっこりした。
899:１３２人目の素数さん
18/09/09 11:36:47.40 3sEUhW73.net
>>787
竹内先生はゲーデルやエルデーシュと
直接に面識があったというのを、
『現代集合論入門』の『Logitians 小伝』を
読んで、あらためて認識した。
マセマティシャンとロジシャンが別だとすると、
どこまで「数学の本」に含めていいのかわからん、
という原理主義的な立場はありそうに思うが。
900:１３２人目の素数さん
18/09/09 12:07:21.22 wg30Zc/q.net
杉浦光夫著『解析入門I』を読んでいます。
積分の平行移動に関する不変性の定理のような自明な定理にも証明を一応つけていますが、
全然証明になってませんね。
証明をつけるからには、ちゃんと証明をすべきだと思います。
901:１３２人目の素数さん
18/09/09 12:11:16.59 3sEUhW73.net
室井和男さんの『シュメール人の数学 ―
粘土板に刻まれた古の数学を読む』
（共立出版、共立スマートセレクション）
は、とても丁寧でいい本なんですが、
プリンプトン３２２の解読に関しては、
たぶんうちらが一歩先をいっているので、
「申し訳ございません m(_ _)m」と
頭を下げるしかありません。発行が
二〇一七年なんだけど、いちいち
ネット検索して「先行した解決はないか」
とか確認しませんよね？
>>858 の Barning＝Hall の定理も、
それぞれ独立に証明されているし、
岐阜東高校の亀井先生も独立に証明していらっしゃいます
（つーか、よく行列を使って証明したよなぁ、と
思います。「どこからアイデアを拾ったんだろう？」と、
そっちの方が気になります。うちらは古代バビロニア
数学からアプローチしたので）。
力づくの解法（エレファントな解法）で
解けたあとに、エレガントな解法が発見されることも
あるとは思いますが、「新鮮な切り口」を提示してくれるような
数学書も紹介していただけると、ありがたく存じます。
902:１３２人目の素数さん
18/09/09 12:19:19.61 3sEUhW73.net
>>861
> 全然証明になってませんね。
「全然」「全く」「絶対に」とかいった言葉を
不用意に使うのは、パーソナリティ障害
（＝人格障害）の前駆症状として疑われやすい。
数学を学んでいる以上、「X に関しては、￢X であることが
強く疑わしいことに対する、これこれの論拠がある。
ゆえに、X を主張する者は、X を証明�
903:ｹよ」くらいの コトは言わなければならないんじゃないか？
904:１３２人目の素数さん
18/09/09 12:19:33.25 wg30Zc/q.net
杉浦光夫さんは、積分をリーマン和で定義しているのも分かりにくいですね。
905:１３２人目の素数さん
18/09/09 12:33:02.81 3sEUhW73.net
>>864
そうかなぁ。工学屋としては、定義として
素朴だとは思うので、その先にどう拡張してゆくかを
考えると、アプローチとしては悪くないと思うんだが。
少なくとも数値積分とかの方面に向かうんだったら、
十分に有効なアプローチだと思うが。
解析（微分積分）の入門として、「微分可能性」
を説明するために「有理数は稠密だけど連続じゃない。
微分可能性を証明するためには、まず実数の連続性を
理解しろ！」っつーのは不当なありかたじゃないん
だけどさ、和分とか無限級数の収束とかのほうから
攻めてって本丸は迂回する、っていうのも
アリなんじゃないの？
906:１３２人目の素数さん
18/09/09 12:50:59.60 oGCsgg5A.net
>>865
それは松坂君という馬鹿アスペですよ
907:１３２人目の素数さん
18/09/09 12:51:51.42 uU6ktzk5.net
>>862
キチガイの文章やな
908:１３２人目の素数さん
18/09/09 12:54:44.02 PH9AUf6j.net
バウムクーヘンもあるしな
909:１３２人目の素数さん
18/09/09 13:11:22.71 pjWg4XEn.net
バウムクーヘン、ウンメェーーーーーーーーッッッッッッッ！！！！！！！！*･゜ﾟ･*:.｡..｡.:*･'(*ﾟ▽ﾟ*)'･*:.｡. .｡.:*･゜ﾟ･
910:１３２人目の素数さん
18/09/09 13:12:11.73 wg30Zc/q.net
杉浦光夫さんのダルブーの定理の証明がうざすぎます。
911:１３２人目の素数さん
18/09/09 13:15:56.25 wg30Zc/q.net
杉浦光夫さんってちょっと複雑な議論が必要とされるところになると急に説明下手になりますよね。
説明に余裕が全くないです。
なんとか説明しているという感じですね。
912:１３２人目の素数さん
18/09/09 13:41:28.37 3sEUhW73.net
はいはいはいお友達がいるところへゆきましょうねー
913:１３２人目の素数さん
18/09/09 13:47:15.69 3sEUhW73.net
>>871 >>871
「解りやすい説明」は、嘘の温床なんだけど、
そこをちゃんと説明しようと思うと、かなり
面倒臭い議論になるんだよ。
だったらお前らが書け。
914:１３２人目の素数さん
18/09/09 13:53:11.31 3sEUhW73.net
あ、>>865 だけど
>>873 は >>870 と >>871 な。
915:１３２人目の素数さん
18/09/09 14:02:50.04 ZeC9bPjU.net
おまえら数オリ解けるのか？
916:１３２人目の素数さん
18/09/09 14:15:43.10 k+SNIDwc.net
荒らしに構うやつも荒らし
917:１３２人目の素数さん
18/09/09 14:28:14.88 3sEUhW73.net
>>868
918:１３２人目の素数さん
18/09/09 14:29:09.67 wg30Zc/q.net
ダルブーの定理ですが、面倒なせいか他の本にはあまり書いてありませんね。
なくても済みますもんね。
919:１３２人目の素数さん
18/09/09 14:33:52.31 3sEUhW73.net
>>876
ごめん、>>878 は間違えた。
正確にいえば、「￢荒らし」であると証明できなかった
奴に構う奴は「荒らし」だという認識でよろしいか？
そのあたり、かなり議論の余地があると思うのだが。
920:１３２人目の素数さん
18/09/09 14:36:34.21 J1X53y3t.net
>>848
古典的で重要なケースを特殊ケースとして
包含できるようにしたかったんだわ。
だけど、色々仮定を置いてるうちに、含め
られなくなってしまった。
でも捨てるのはもったいないから、三流誌
でもいいから出したい。w
まあ、次につながる可能性もあるし。
>>850
没頭すると生活が不規則になったりするからね。
運動する時間もとらなくなる。
921:１３２人目の素数さん
18/09/09 14:48:06.06 1kdaen3F.net
運動どころかメシも風呂も歯磨きもめんどうになる
922:１３２人目の素数さん
18/09/09 14:52:36.35 0hJCtoIb.net
>>849
大して知識なくてもできる問題もあれば
がっつりや�
923:轤ﾈいとできない問題もあるから人それぞれ >自分は年に2本くらい論文をちら見する程度 まだまだ発展途上の博士の学生にしては少な過ぎるのでは
924:１３２人目の素数さん
18/09/09 14:56:52.17 3sEUhW73.net
>>881
あるある（笑）
だけど布団干しと洗濯（あと、風呂な）とメシは
大事にしとけ。フローレンス・ナイチンゲールは
「安静・清潔・栄養」の三要素が
揃っていれば、たいていの病気は治る、
と言ってたらしいぞ？
925:１３２人目の素数さん
18/09/09 15:01:18.19 V5TYVu0Y.net
URLﾘﾝｸ(twitter.com)
URLﾘﾝｸ(twitter.com)
URLﾘﾝｸ(m.facebook.com)
URLﾘﾝｸ(twitter.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
凍結と垢消ししてて草
URLﾘﾝｸ(twitter.com) (5ch newer account)
926:１３２人目の素数さん
18/09/09 15:38:52.56 1kdaen3F.net
>>883
そんなのムリゲー
他にもまだある
う●こ
ケツ吹くのがめんどい
手を洗うのも邪魔くさい
下痢とかもうね
とにかく思考の流れをブチ切られるのが嫌なんだ
クロネコとか論外
927:１３２人目の素数さん
18/09/09 15:39:23.01 J1X53y3t.net
>>881
逆に、研究室に歯ブラシ置いてて、考えながら
無駄に磨いてることがあるw
928:１３２人目の素数さん
18/09/09 16:26:09.94 3sEUhW73.net
>>885
> とにかく思考の流れをブチ切られるのが嫌なんだ
> クロネコとか論外
クロネコは送った奴がいるからまだ許す
たまの休日にじっくり問題に集中している最中に
エホ証とかが来た日にゃ
生まれてきたことを後悔するくらい
責め立ててやりたくなる
929:１３２人目の素数さん
18/09/09 16:32:38.01 yZFdTKYf.net
今日のまとめ
868 名前：あぼ～ん[NGID:PH9AUf6j] 投稿日：あぼ～ん
869 名前：あぼ～ん[NGID:pjWg4XEn] 投稿日：あぼ～ん
870 名前：あぼ～ん[NGID:wg30Zc/q] 投稿日：あぼ～ん
871 名前：あぼ～ん[NGID:wg30Zc/q] 投稿日：あぼ～ん
872 名前：あぼ～ん[NGID:3sEUhW73] 投稿日：あぼ～ん
883 名前：あぼ～ん[NGID:3sEUhW73] 投稿日：あぼ～ん
884 名前：あぼ～ん[NGID:V5TYVu0Y] 投稿日：あぼ～ん
885 名前：あぼ～ん[NGID:1kdaen3F] 投稿日：あぼ～ん
886 名前：あぼ～ん[NGID:J1X53y3t] 投稿日：あぼ～ん
887 名前：あぼ～ん[NGID:3sEUhW73] 投稿日：あぼ～ん
930:１３２人目の素数さん
18/09/09 16:44:26.24 1kdaen3F.net
>>887
それな
日曜の昼前がヤバい
モニター見て即ブチしてる
ってか俺のID楕円になってね？
931:１３２人目の素数さん
18/09/09 16:49:00.36 1kdaen3F.net
>>886
偉いな
932:１３２人目の素数さん
18/09/09 16:52:43.01 ZalYOt1Q.net
今度岩波で出る「ガロアの論文を読んでみた」はどうなんだろうか？
矢ヶ部の数III方式よりわかりやすいかどうかなど、読んだ人は感想よろしく
933:１３２人目の素数さん
18/09/09 17:40:57.02 3sEUhW73.net
>>891
おれはガロアにはまったく興味がなかったのだが、
標準化研究学会編『QRコードのおはなし』と
『二次元コードシンボル ― QRコード ―
基本仕様（JIS X 0510）』を読んで、
しかるのちに「誤り検出及び訂正の生成多項式」が
最長周期法による乱数生成に使えるらしいことを
知って、「これは面白いかも」と思った。
だけど、当面は仕事では使わんと思うので、
老後の楽しみのために取っておいている。
934:１３２人目の素数さん
18/09/09 18:54:31.44 wg30Zc/q.net
ガロア理論ってなんで人気があるんですかね？
ガロア理論って数学科の学生にとってそんなに重要ですか？
935:１３２人目の素数さん
18/09/09 19:00:03.88 wg30Zc/q.net
Understanding Analysis (Undergraduate Texts in Mathematics)
by Steph
936:en Abbott Link: http://a.co/d/9IZyHqG ↑この本がすごく評判がいいですが、どこがいいのかさっぱり分かりません。
937:１３２人目の素数さん
18/09/09 19:06:02.82 wg30Zc/q.net
松坂和夫さんの解析入門シリーズがそんなに売れていないのはなぜでしょうか？
やはり6巻もあると敬遠されるんですかね？
集合・位相を詳しく説明していたり、線形代数を一から説明していたりするのが嫌われたんですかね？
938:１３２人目の素数さん
18/09/09 19:07:04.59 wg30Zc/q.net
第6巻まで行かないと重積分が現れないとか変わっていますよね。
939:１３２人目の素数さん
18/09/09 19:11:39.01 3sEUhW73.net
>>893
がロア理論に人気があるんじゃない
ガロアに人気があるんだ
二十歳で決闘して革命に殉じたのが
心の琴線に触れたらしい。
業績としてがガウスのほうが
上だと思うが、
ガウス萌えって聞いたことがない
“ソーニャ”・コワレフスカヤ萌えは
いないでもないらしいが、
全盛期には もう人妻だったので
独身時代の業績として目立ったものがなくて
人気はいまひとつ
940:１３２人目の素数さん
18/09/09 20:15:33.79 3sEUhW73.net
応用数学の話なんでスレチだと思うが、
音像定位のことを考えてるんだけど、
ウェーブレット変換とかに関する
工学畑の人間にも分かりやすいような
本ってある？
941:１３２人目の素数さん
18/09/09 20:58:13.95 2B6oPKBY.net
>>897
十七角形の作図問題って知ってる？
ガウスの数論世界をいくって表題の本出てるの知ってる？
942:１３２人目の素数さん
18/09/09 21:28:45.26 oGCsgg5A.net
普通の(有限次分離正規拡大の)ガロア理論そのものに大きな応用はなくとも、ガロアの思想は(代)数学の至るところに出てくるよ
まあ応用もあるけど
943:１３２人目の素数さん
18/09/09 21:30:00.36 0hJCtoIb.net
>>891
方程式のガロア群 深遠な解の仕組みを理解する (ブルーバックス)
13歳の娘に語る ガロアの数学
の金重明だろ
ああいうのが好きな人にはいいだろうな
944:１３２人目の素数さん
18/09/09 21:33:42.74 wg30Zc/q.net
オイラーの難問に学ぶ微分方程式
高瀬 正仁
固定リンク: URLﾘﾝｸ(amzn.asia)
この人、数学関係の本を量産していますよね。
945:１３２人目の素数さん
18/09/09 21:51:36.51 236Tv5gf.net
ファンダムのメンタルなグルーピーの二次元コンプレックス丸出しオタクはもっと普遍被服空間に包み込まれるべき
946:１３２人目の素数さん
18/09/10 01:45:23.78 /E4gxvas.net
>>902
数学史の研究をやってるが数学自体の研究はやってない人なので
その種の本はつまらないと感じてる
高瀬の本で純粋に数学史に徹してる本はマシ
947:１３２人目の素数さん
18/09/10 01:51:19.65 PFg6xC8z.net
受験数学馬鹿よかマシだろ
948:１３２人目の素数さん
18/09/10 06:59:54.65 xymEJxxp.net
>>903
つ チャールズ・ラトウィッジ・ドジソン
『ユークリッドと現代の対抗者たち』
（『不思議の国の論理学』に収録）
ユークリッド平面上の幾何 原理主義者（ファンダメンタリスト）
で『原論』至上主義の数学教師は
高校数学全体を見通すような視座を持つべき
949:１３２人目の素数さん
18/09/10 10:20:39.40 /E4gxvas.net
数学教師は原論すら知らない
950:１３２人目の素数さん
18/09/10 11:52:58.44 xymEJxxp.net
>>907
まじか。
「コンパスで長さを移す」操作は、
「コンパスで長さを移せる」ことを証明してからでないと
使ちゃいけない、というのも知らないのか？
つーことは、「ロバの橋」とかも知らないのか？
そしたら、「ユークリッド幾何学の範囲内で、
正十七角形が
951:作図できる」というリクツも理解してないのか？ 「ギリシャ三大難問」も理解してないのか？ そんな数学教師は いますぐ行って殺してきたいんだが、 とりあえずヤサとガラを押さえといてくれ。 年の瀬になったら、面様年頭とかなまはげとかモンモウとか むくりこくりとか聖ニコラスとかクロックミテーヌとかが 集団で押しかけてって、初日の出が見られないようにされる だろうから。 できれば姓名と所属をここに晒しといてくれ。憲兵隊と 特高が確認しにゆくから。
952:１３２人目の素数さん
18/09/10 11:53:25.63 7CfZzJ1N.net
>>906
ルイス・キャロルの本名って書いとけよ不親切な
953:１３２人目の素数さん
18/09/10 12:57:03.54 U9UvhER/.net
初等幾何は屑哲と教諭のお気に入り
954:１３２人目の素数さん
18/09/10 13:05:24.67 RspBpStT.net
竹内は嫌いだ
955:１３２人目の素数さん
18/09/10 13:07:15.46 RspBpStT.net
松本さんの写真集がでる
956:１３２人目の素数さん
18/09/10 15:28:54.32 xymEJxxp.net
>>909
書かなきゃ不親切で書くと野暮かよ (T_T)
せつねぇな
957:１３２人目の素数さん
18/09/10 20:21:42.38 DUvtioml.net
>>913
まあ、ええやないか
ルイス・キャロル
ソーニャ・コワレフスカヤ
この二人、作家としても名を馳せたよな
一体どんな頭してんだろ？
>>897 さん、そこら辺詳しそうやね
>>898
それ東大の新井先生がガチってなかった？
958:１３２人目の素数さん
18/09/10 20:54:18.43 8X3EqOMc.net
URLﾘﾝｸ(page.auctions.yahoo.co.jp)
なんか高値をつけていますね。
959:１３２人目の素数さん
18/09/10 20:56:47.50 7CfZzJ1N.net
>>913
野暮なんて言う気はない。
960:１３２人目の素数さん
18/09/11 08:21:50.33 AEorpN71.net
>>914
じつは数学に関してはニワカだからよく知らない (^_^!)
ガウスもベルヌーイみたいに数学一家だろうと思っていた(w
天文学者ではフレッド・ホイルという人がいて、
『宇宙の本質』という一般向けの解説書も書いているのだが、
同じシリーズに同著者の『暗黒星雲』というのがあって
買ってみたらＳＦ小説だったけどすっげぇ面白かった、
ということがある。
961:１３２人目の素数さん
18/09/11 08:22:47.43 AEorpN71.net
>>914
> それ東大の新井先生がガチってなかった？
調べてみる。ありがとう。
962:１３２人目の素数さん
18/09/11 09:08:04.67 EKJXfSxz.net
>>918
お前には無理
963:１３２人目の素数さん
18/09/11 09:08:46.57 EKJXfSxz.net
>>913
ゴミ
964:１３２人目の素数さん
18/09/11 15:40:11.24 AEorpN71.net
>>919
お前にはますます無理
>>920
クズ
おまえらが何をしたいのか、
点と丸を数えて四百字詰め原稿用紙
二枚以内にまとめて明日までに提出しやがれ。
965:１３２人目の素数さん
18/09/12 09:23:56.18 8k6nOJY+.net
学部レベルの数学を一通り網羅したシリーズ本でよいものを教えてください。できるだけ解説が丁寧なものがいいです。
966:１３２人目の素数さん
18/09/12 09:39:26.24 KMIzTyK6.net
吉田洋一著『ルベグ積分入門』を読んでいます。
[a, b) （a ≦ b） を半開区間という。
半開区間の長さ |[a, b)| を |[a, b)| := b - a で定義する。
I, I_p （p = 1, ..., n） を半開区間とする。
I ⊂ ∪_{p = 1}^{n} I_p とする。
このとき、
| I | ≦ Σ_{i = 1}^{n} | I_i | が成り立つ。
こんな自明な命題をわざわざ手の込んだ方法で、証明していますね。
ルベーグ積分の本ではこのようなこともちゃんと証明していくのでしょうか？
他の
967:分野の数学書だったら、「明らかに成りたつ」で終わりですよね。
968:１３２人目の素数さん
18/09/12 10:01:06.14 L56v9uvC.net
>>922
人になんて訊いて回らずとっとと自分で具体的に品定めし続けてれば見当付く頃には大方学部程度の数学ならなんとなくわかってきてると思うよ。
969:１３２人目の素数さん
18/09/12 11:33:02.34 kwcybl2X.net
>>923
全然明らかじゃないんだが？
んじゃ証明してみ
970:１３２人目の素数さん
18/09/12 11:34:22.52 kwcybl2X.net
半開区間Iが複数の(I_p)に"またがってる"ケースは？
で、その複数の(I_ｐ)同士も互いに重なりまくってる場合は？
971:１３２人目の素数さん
18/09/12 11:40:07.21 EavOG0bu.net
荒らしに構うやつも荒らし
972:１３２人目の素数さん
18/09/12 11:50:47.67 KMIzTyK6.net
>>925
街頭で、
>>923
の命題が成りたつか成り立たないか？というクイズに正解したら、100万円もらえるという企画があったとします。
そのとき、この命題が成り立たないと答える人は一人もいないと思います。
つまり自明ということです。
そして、他の分野の数学書だったら、このような自明な命題の証明はわざわざ書かず「明らか」で済ますと思います。
973:１３２人目の素数さん
18/09/12 11:53:26.35 kwcybl2X.net
数学書の著者にも>>923についてもいけるんだが、｢明らか｣って言葉は主観性が強い言葉だからな。
大抵の著者に対しては｢長年その分野をやってきて多くを知ってるお前だから明らかって分かるだけであって、初学者の視点が全然無いだろ｣っていうツッコミが成り立つ
>>923みたいな奴に対しては｢お前が勝手にそう思ってるだけだろ｣ってツッコミが成り立つ
974:１３２人目の素数さん
18/09/12 11:53:30.94 KMIzTyK6.net
「明らか」で済まさず、野暮ったい証明を書く人がいるとすると、それは杉浦光夫さんくらいでしょう。
975:１３２人目の素数さん
18/09/12 11:55:48.13 kwcybl2X.net
>>928
まさしく｢お前が思ってるだけ｣な
自覚してる？
俺は証明して見ろって言ったんだよ
お前はそれに対して｢明らか｣｢自明｣などと同じセリフを繰り返してるだけ
分かる？
976:１３２人目の素数さん
18/09/12 11:59:11.21 KMIzTyK6.net
>>931
でも数学書を読んでいると、明らかではあるが、証明をするとなるとちょっと書くのが面倒ということは
非常に多いと思います。
なぜ、厳密性の水準を数学書の分野によって変化させるのかが納得いきません。
977:１３２人目の素数さん
18/09/12 12:00:54.97 KMIzTyK6.net
ルベーグ積分の本が吉田さんの本のような本ばかりだとすると、例えば、微分積分の本よりも、
ルベーグ積分の本の厳密性の水準は高いと思います。
フェアじゃないですよね。
978:１３２人目の素数さん
18/09/12 12:01:50.10 KMIzTyK6.net
微分積分の本でも、「明らか」あるいは明らかとさえ書かない
というようなことはやめてすべて証明を書くべきですよね。
979:１３２人目の素数さん
18/09/12 12:03:07.45 kwcybl2X.net
それと一々こんなツッコミしても仕方ないけど>>928の例えは酷すぎ
世の中には数学(的思考)に全く触れてない奴が相当数居るんだからそんな質問したところで
意味内容を正確に理解した上での回答になるということ自体希になるからそんな例えに意味が無い
じゃあ>>926のツッコミに対してはどう答えんの？
>>932
＞＞数学書を読んでいると、明らかではあるが、証明をするとなるとちょっと書くのが面倒ということは非常に多い
具体例は？
まさかジョルダンの閉曲線の定理とかやめろよ？
それと｢明らか｣の定義は？
980:１３２人目の素数さん
18/09/12 12:04:47.09 kwcybl2X.net
>>923
＞＞こんな自明な命題をわざわざ手の込んだ方法で、証明していますね。
＞＞ルベーグ積分の本ではこのようなこともちゃんと証明していくのでしょうか？
＞＞他の分野の数学書だったら、「明らかに成りたつ」で終わりですよね。
>>934
＞＞微分積分の本でも、「明らか」あるいは明らかとさえ書かない
＞＞というようなことはやめてすべて証明を書くべきですよね。
は？
お前言ってること真逆じゃん
981:１３２人目の素数さん
18/09/12 12:10:51.90 KMIzTyK6.net
吉田さんのルベグ積分の最初のところを読んだことで、ルベーグ積分の本とは、どのような本なのかが
おぼろげながら分かったような気がします。
素朴で見栄えもしないが、証明するは面倒な命題を延々と証明していく、そんな本なのではないかと推測します。
そして、一度、勉強�
982:ｵた後は、その証明など一切忘れて、便利な結果だけを利用していくのではないかとも 推測します。 だとすると、むなしい分野ですね。
983:１３２人目の素数さん
18/09/12 12:13:11.10 kwcybl2X.net
無視か…
しかも>>937の批判は自分に興味の無い分野ならどこでも通じてしまいそうな抽象的な奴だな
984:１３２人目の素数さん
18/09/12 12:15:23.94 KMIzTyK6.net
>>935
「明らか」というのは、直観的に明らかであると同時に証明せよと言われれば面倒ではあるが、方針は
短い時間で思いつくというような感じです。
985:１３２人目の素数さん
18/09/12 12:48:58.96 VqYQFAap.net
>>938
「直観的には正しいと思うし、実際に正しいことが証明されて
いるんだけど、真面目に証明しようとすると、非常にめんどくさい」を
表現する適切な数学用語が、いまのところ普及していないという
事実を正直に見つめよう。
「最初に証明した」に重きを置きすぎて、「直観的に分かりやすく、
納得できる証明を示す」というのも重要なんじゃないか？
「昔から云うではありませんか。『ビブンのことはビブンでせよ』と」
― 高木貞二
986:１３２人目の素数さん
18/09/12 12:52:25.78 VqYQFAap.net
>>940
ベルトランの仮説のチェビシェフの証明を
エルデーシュが簡潔にした、
くらいのコトは言っとけや。
987:１３２人目の素数さん
18/09/12 12:57:36.07 kwcybl2X.net
直観なんて当てにならない
選択公理がいい例
選択公理を使ったバナッハ・タルスキの定理は直観に反しまくってる
｢明らか｣って言葉は真面目に証明したとしてもほんの数行程度で済むような命題・主張に言うべきだと俺は思う
定数関数は連続関数である、とか
988:１３２人目の素数さん
18/09/12 13:03:48.61 kwcybl2X.net
>>940
それは証明に対する姿勢・評価だから数学用語ではない
｢方針が素朴にわかる｣
｢直感的なごり押しで証明可能｣
989:１３２人目の素数さん
18/09/12 13:19:16.02 O67wMgBN.net
素数定理を初等的に証明してもう
990:１３２人目の素数さん
18/09/12 13:52:54.73 gJiRHXKF.net
72. 微分学の定理の証明
微分学の定理なのに、積分学を使って証明されていた数学の定理があった。高木貞治は、積分
を使わず、微分だけでその定理を証明することに成功した。そして、論文の最後にこう書いた。
”昔から言うではありませんか。ビブン（自分）のことはビブン（自分）でせよと。”
他の数学者は、高木はあのコメントを書きたいからあの問題を必死に解いたのだと噂した。
（数学への招待 矢野健太郎）
これってどの論文の話ですか？どこに載ってますか？
991:１３２人目の素数さん
18/09/12 13:53:46.45 kHxc2gh+.net
>940
>「昔から云うではありませんか。『ビブンのことはビブンでせよ』と」
>― 高木貞二
「高木貞二」でなくて、「 高木貞冶」な
Typoだと思うけれど、いささかはずかいいのではないかい
992:１３２人目の素数さん
18/09/12 14:16:59.30 VqYQFAap.net
>>944
つーか、「素因数分解の一意性の証明」とか
「平方数以外の自然数の平方根は無理数になる」とか
そういうのを高校生の腑に落ちる形で、
証明・説明できるような高校の数学教師が
おるんかいな、みたいな話はあらへんか？
993:１３２人目の素数さん
18/09/12 14:24:51.15 VqYQFAap.net
>>946
ごめん。『解析概論』も『初等整数論講義』も読んでないので、
高木先生に関してはよく知らないんだよ。
たしか、遠山啓先生は高木先生の門下だと思ったが、
中途退学して東北大学に行った、という話もあるので、
応用数学畑（つーか、理工学畑）の人間としては、
ペアノとかヒルベルトとかの系列の、ガチガチの構成主義って
いうのは、あんまり馴染まんのよ。
コンピュータ業界で長年のたくっていたので、ようやく
耐性がついてきた数学ニワカなんで、そのあたりは
勘弁してくれい m(_ _)m
994:１３２人目の素数さん
18/09/12 14:29:38.66 VqYQFAap.net
>>942
「われ見れども、われ信ぜず」
― ゲオルグ・カントール
だいたい「無限」って直観に反するんだよな。
995:１３２人目の素数さん
18/09/12 14:45:20.97 VqYQFAap.net
>>946
そういえば矢野健太郎先生はマンガも描いていらっしゃるそうですね。
読み筋は
「元々のペンネームはニンベンを取った「矢野建太郎」のはずであったが、
一九八一年に『強化戦士アームピット』（『週刊ヤングジャンプ』）で
デビューしたときに名前を誤植され、数学者と全く同じ漢字で誤って
掲載された際に、これを訂正せず、以後現在に至るまでそのままの
ペンネームを使い続けている」。
そういえば、「遠山 啓」さんという方がいらっしゃって、『下水道』という
著作があったので、『数学セミナー』の Tea Time だか Coffee Break だかで
紹介されていました。