【専門書】数学の本第75巻【啓蒙書】
■ このスレッドは過去ログ倉庫に格納されています
数学書やその周辺の話題について語りましょう。
荒らしや煽りは禁止。
見ている人を不快にさせる書き込みはひかえてください。
人としての基本的な礼節を守って、皆で楽しみましょう。
前スレ
【専門書】数学の本第74巻【啓蒙書】
http://itest.5ch.net/rio2016/test/read.cgi/math/1511085768 現代数学をやるより数オリ代表になった方が、
知名度を上げるという点では効果的だわな。 数オリは高校生が解くもんだろ、おっさんんが解いてどうすんのw 直近のレスだと、表示されてるのは
793,794,795,798,803のみ https://www.amazon.co.jp/dp/4627062419
Coq/SSReflect/MathCompによる定理証明:フリーソフトではじめる数学の形式化
発売日: 2018/4/18
>数学の高度化に伴い,従来の「紙と鉛筆」では証明の構成・検証がますます困難になるなか,
>Coqをはじめとする定理証明支援系が開発されてきました.
>こうしたシステムには,証明の正しさを保証する機能のほか,証明をコンピュータが扱える形に
>翻訳する「数学の形式化」の作業を効率化する仕組みが備えられています.
>実際Coqは「四色定理」や「ケプラー予想」といった歴史的な大問題を解くのにも利用され,
>話題をよびました. >>809
人類がいよいよ数学から解放される日も近いな
証明の補助のみならず完全な自動証明が可能になったら
人間は次に何を考えるのか楽しみだ 数学の完全な自動証明なんて、今の0歳児が生きている間に実現するのか?
4色問題のように、特殊な問題に対して議論をうまく押しつけるところまでもっていけば強力なんだろうけど。 いや、マジでそうなるんだぞ
AIが人類を支配するんだぞ まああれだな、2029年か45年かは知らんけど、その頃はなんとか数学で食っていこう
という有象無象はいなくなって純粋に数学を追求する本物の数学者だけが居るということ
だろうな。 オセロやチェスや将棋や囲碁が人間(ヘボ)なりに楽しめるように
数学も人間(ヘボ)なりに楽しめば良いだけなんだよな
本物の数学者=アマチュアということでおk 近い未来、人間の仕事はAIに奪われるようになる
学校のテストも意味なくなる
人間の脳が電脳化するためだ 遠い未来には、人間は肉体を捨てるようになる
そして、幽体として存在するようになる
不老不死となる 人間とAIが合体するようなこと書いてるけど認識が甘い
ほとんどの人は
AI > 人間 >>>> 知性の壁 >>>>> 猿
だと思っているが、最近のAIの研究者たちによると
AI >>>>> 知性の壁 >>>>> 人間 > 猿
らしぞ どの研究者がどのように考えてそういう結論になったのか
文献も挙げずに言うだけでどうしたいんだろ ナウシカの漫画に、「夏至と冬至に一行ずつ現れる文字列を学者たちが解読している」という設定があったな 異次元世界でも数学は完璧に成り立つ
数学は普遍の真理である >>833
アダムスミスの「国富論」に理由が書いてある 東大理3に受かったった
これからは日本を支配したるわ >>844
雑魚はお前だけだから一人でやってろ
お前と違ってみんな忙しい >>850
なんの授業だよアホが。
こっちは馬鹿大学生に教える側だハゲ。 >>851
最近の教員は授業中に2chに書き込んでもいいのかw >>853
休みか、ところで何でお前はいそがしいんだ、ガイジ >>851
教えてください
整数 a, b, の最大公約数を g, 最小公倍数を l として
ab = lg
が成立するのはどうしてでしょうか? 2chのレスバトルに使える、論理的な文章を書くための本は何を読めばいいですか?
理系作文の技術は読んだことあるのでそれ以外でお願いします >>855
a=a'g, b=b'g,
(a',b')=1よりl=ga'b'
∴ab=a'g*b'g=ga'b'*g=lg
死ね雑魚 馬鹿の算数ゴッコに付き合ってる暇はない、じゃあなゴミども。 数オリも解けないバカが現代数学なんかやってどうする? IQ70しかなくて全く数学ができません
どうすればよいのでしょうか? 違法サイトに結構な量の数学書(和書)がアップロードされてた。 ホーキング博士が亡くなったな。
享年76歳だった。 昔、ホーキング・エリスを読もうとしたことがあった。合掌。 ウィッテンって天才なのに、知名度ではホーキングの方が上だよね?
何で? ホーキング博士のIQは170はある
ノイマンは300だ ホーキング博士の命日はアインシュタインの誕生日。
ホーキング博士の誕生日はガリレオ・ガリレイの命日なんだよ。
なんか運命的なものを感じるね。 先月ポルチンスキーが死んだけど
報道量がホーキングの1000分の1ぐらいじゃなかろうか
ホーキングは身障者でパンピー本のベストセラー書いたってのがデカい ホーキングさんは宇宙論が専門ですよね?
ということは、物理学を応用する立場なのではないでしょうか?
ホーキングさんは、物理学者だったのですか? >>890
ホーキングスレで2コメで出てたことを今頃書いてんじゃねえぞゴミ みんなは大学への数学、数学セミナー、現代数学を読んでますか? >>892
定期講読してる。
すぐにたまるのでまとめて捨ててる 大学への数学、数学セミナー、現代数学を挙げてサイエンス社の現代数学を挙げないのはどうしてでしょうか?
読むに値しない雑誌ということでしょうか? ID:Xt4EDv5E
大類君か?
Analytic Functions of Several Complex Variables(Rossi)読んだやついるかい? ■ このスレッドは過去ログ倉庫に格納されています