はてなキーワード: 数学者とは
「医師免許」というのは一種類しかなくて、外科医でも内科医でも医者は医者。持っている資格は同じ。(歯科医とか麻酔科医だけ違うのかな?知らんけど。)「外科医」とか「内科医」っていう肩書きは、形式的には「本人が勝手に名乗ってるだけ」という言い方もできる。(まあ、実際には学会に所属して界隈でそれなりに名前が知られていないと「もぐり」扱いされるけど。)
「〇〇学者」というのもそれと同じ。例えば「博士(理学)」のような資格は一応あるけど、「数学者」とか「物理学者」という肩書きは「本人が勝手に名乗ってるだけ」なんだよな。
学際的な分野の人は敢えて自分を「〇〇学者」とは名乗らないこともあるし。
それは何故かと言うと、そこまで専門性が高くなると、もはや「資格」を与えることのできる権威が存在しなくなってしまうからなんだよな。医者や学者は自らが権威となることを求められる職業であって、誰かに認められて立場を与えられてやる仕事じゃない。
人間同士での頭の良さというのは一意的に順序づけられるものなのでしょうか? たとえば数学でミレニアム問題を解けたという人についてこの人はどんな物理学者よりも頭がいいということを主張したい場合、たとえば物理学者の中に行き詰まりかけている超弦理論のその停滞を解決した人がいたとすれば、じゃあ上記の数学者も物理の世界で同じ方向で頑張ってたら同じ成果を出せたということができれば、その数学者はその物理学者より頭がいいということになりそうですが、なんかそういうことって少なそうですよね?
誰かが誰かより頭がいいことを示すには、その人に出来ることのうち頭の良さの根拠になっているものが、別の人には全て出来るといううえで、さらに別に頭の良さの根拠となることが一つ以上できる必要がある思うのですが、実際はそんなことって知的障害と東大受かった人間の間ぐらいでしか成り立たないことなんじゃないかみたいにも思えます。
不思議の国のアリスは言うまでもなく
そうしてアリスに寄贈された「地下の国のアリス」は加筆修正されたのち
ルイス・キャロルの本名はチャールズ・ラトウィッジ・ドジソン。
ウィキペディアでは彼のことを
として解説している。
撮影し続けている。
それは彼が存命中に破棄されたか寄贈されたかして数枚が現代に残るのみである。
このような事跡から、彼はときに小児愛者であると断罪されるのだが、それが真実であるとは断定することはできない。
それがどうあれ、彼とアリスの交流がなければ「不思議の国のアリス」という児童文学史上の画期なった作品は生まれなかったことは事実である。
「数学は理解していれば覚えなくていい」みたいな言説を声高に主張する人は、自分がどのように数学を習得してきたのかを無視して「自分はその場で公式を導出できる賢い人間です」ということをアピールしたいだけだと思う。
数学(ないし様々な抽象的概念)を理解することの本質は、雑多な公式や解法や証明のパターンについての記憶を高密度な情報に圧縮することだ。
人が数学を勉強するとき、まずは必要な定義や公式を「暗記」してそれを使って様々な問題を解いたり証明したりしていく。そうやっていくうちに、脳が情報の間の有機的な繋がりを学習し、「理解」という高密度に圧縮された情報を獲得する。
だから、圧縮前のデータを脳に入れる「暗記」の部分は「理解」に必須のステップだ。一度「理解」に辿り着いたら「暗記」した内容の多くは不要になるかもしれないが、それは「暗記」というプロセスそのものが不要ということとは本質的に異なる。
実際、人類がまだ「理解」に辿り着いていない事象を研究している数学者たちは、教科書や論文に出てきた数式とか証明のパターンとかをめちゃくちゃ記憶している。そういうのが脳内にあるから、「このパターンはXを証明するときの流れに似ているから、同じように証明できるな」とか「この式と似たやつはYの導出の途中でも出てきたし、深い繋がりがあるのかもしれないな」とか考えられるようになり、そういうことを繰り返すことで人類の数学への理解は一歩一歩進んできたわけだ。
この辺を深く考えずに「数学に暗記は不要」と言っているのだとしたら、少し考えが浅いのではないかと思う。
ということをこれを眺めていて思った
自分は、論文を書いているが、確かに英語の文章の文法とか自然な言い回しとか勉強になる。関連研究とかもAIは強いと思う。
おそらく、論文のPDF全体を捉えることができないんだろう、トークン数の制約ってやつかな。
chatPDFとかも出てるけど、厳しい感じ。
おそらく、論文を読んだり、理解したり、査読したりってのはそのうちできるから、論文は書けるようになるんだろう。
はよ来て欲しい。
SNSは面白いが、怖いなあと思っている。最近は、女性は全部ブロックしている。
しかし、AI生成のSNSなら、暴言吐き放題、セクハラパワハラ脅迫し放題だろう。それなら昔の2chみたいで面白いじゃん。
数学が弱いという話があるが、アルゴリズムができることを考えると多分できるようになると思う。
そのレベルではなく、「数学の定理を証明する、数学の未知の定理を予想して証明する」といったような、本気の数学者レベルでの発展が欲しい。
数学をAIが発展させるようになれば、相当人間の知の領域が拡大する
AIvtuberとか流行ってるし、最近のメールはAIに考えてもらっているが。
これを、リアルタイムの会話で、ギャルゲーの選択肢形式みたいにしてほしい。
自分は、会話がとても下手くそなので、ミスがない普通の人みたいな会話をさせてほしい。
できれば、口を開かなくても、腕時計なりで選択肢を選んで、自然にAIが発話してくれる感じにしてほしい。
とにかく、コミュニケーションのミスがない様な感じが欲しい。他人と会話するの怖いし。
AIなら、セクハラとかパワハラとかしないだろうし。AIの選択肢選んだなら、責任を多少はAIになすりつけられるだろうし。
弁護士や弁理士、税理士みたいなバックエンド系は、本当にAIにしてほしい。
AI弁護士とか出てるらしいが、本当に使えるレベルになって、スタンダードになってほしい。
そもそも、司法とかの判決がIT系とか特に異常だったりで、これに付き合わされるのは厳しい。
もうすでに、化学とかでは一部実験して実験結果出すとかはあるらしいが。
もう少し、色々できてほしい。
本屋でチャート式を立ち読みしたが、「こんな算数はsagemath, mathematica, simpyなどで計算できる」とやる気をなくす
今やりたいのは計算知識獲得というより、現実世界の問題を定式化する大雑把な知識である
しかしそういう類の本はいくつか読んでおり、つまるところ定式化に確たる決まった手順などなく、道具や想像力を使いこなすためにケーススタディを解くものが多い
道具を多く知る事と、ケーススタディを多く知る事とで、オンラインで無料のリソースがたくさんあり、書籍を買う必要もないかもしれない
自分で道具を発明するためにちゃんと証明するというのは、プロの数学者がやることではあるが、私の想像できる範囲のことぐらいは試行されているはずである
とはいっても、グラフダイナミカルシステムのような未発展な分野もいくつか存在し、数学的構造が無数にありえることを踏まえれば、人間の想像力というリソースをどこに割くかというタイパコスパ話になるのは仕方がないのだろうか…
end basketball
Gorilla: QaQbOWxTRlsvkPNrARm6TZW_MrgFDwXaYAlEFB2SMNeJ7w0YvZ1u3IkfCxwieDGKBj91OrXSmSq2o7oSF9U2YiaicRXCHjB6jaTGew3in01Apt0wwF_Bi2Yv0mmNJdohDaPIfZlVZ1Q0e3y81dltTsWFoeLzCDLe9IfVbEQPljBAjYAtAXKyxZN_LOz50Fd0imfyKcZazaPdK4bwFcwFcp1M1qStZi2X_Z33Uadk5zn9N8GXlzk4qaidO6VNcnPxBjTSR6XD4nHx0O11WYxiWvyaRXpqHkGEzjHGT6yZIQTpcoBDdYP0Y82girjIztUvcPiogADxkDQ7PbndtoCBAc9eMYRDk8bU4IGFeOjoQyhnhOYN6EKHneMgbdcf8exoihZddjXheEkPUFMqYZRTlvT2wvUsuxOsChxgbDZoyd84pqO9xWSJegNEw9NaZWFcYA_paIK2eV0KOTT3Nwy74eY0Ya9LiX5hxFkyJo6gT7aH8ufOxsdwNsYKE7DFB4jGKBqMn3SXS1MQS4iEh___KPgUlgLHcRR22W2yZqpVlFH9QyDsOLiXImDinDekRvREh5udJovjW6PDTUPiBUFHPy3s9TFBXrmlR6tq_r7jf9DfKk9VzK_S0WCDmGMHHxIwQYGUEKHTCuV15_Mh_E7LppDwSbDICbi7K9pXwelQt03b2zumMRzxOr23LEteURWT5pTQSlJNxv4NmYeVC0Vgolio_0MWUq1GwAGCDET8aF2sfInfHyVG34NnEOHoTeJjAKbqzxHz9DuB2ZGhukxuqT9S7oPsbHZbPrG_WDThexoODt5_8r5S_lBdJLVuDz2Vdbn01Kt8vvNb0M3QzGMJRvvKO6VhzxpvffqL0g3HheJyTlpTg_p7phTqvaXGldCZrybw9Uax3lnREX3h0N3Ze4CXa0A72jujElEyXG9OyXp1gS7jNfJnn7_lRM639h0ewOh_pKGFFD4Y0qZ9imzJ6PorunLZIGqrrmME_v438avkgv7hHQxsbW5FCe43lH5r