【専門書】数学の本第75巻【啓蒙書】
■ このスレッドは過去ログ倉庫に格納されています
数学書やその周辺の話題について語りましょう。
荒らしや煽りは禁止。
見ている人を不快にさせる書き込みはひかえてください。
人としての基本的な礼節を守って、皆で楽しみましょう。
前スレ
【専門書】数学の本第74巻【啓蒙書】
http://itest.5ch.net/rio2016/test/read.cgi/math/1511085768 時間制限あり書き直し不可という条件で論文が書けるか? 医学部(理三)から素粒子論に転向した男の末路
【社会】「きょうはやったるで」「ビショビショだろ」 童貞・インポで性交を迫る…妻を襲撃した東大院ストーカーの素顔
https://news19.5ch.net/test/read.cgi/newsplus/1162292454/ >>761
君の言うヒマラヤって何を意味しているの? >>763
物理板と数学板にいる荒らし、ニートの40代のおっさん
お前がレスしてる相手>>754、>>759 数学者にとって
物理数学の直観的方法
のような本ってどう感じるの? >>766
その本でいう直観とは一体どういうことなのでしょうか? >>768
もともとその概念が導入されたときの動機にまで遡るという印象。
その本がよいかどうかは知らないが、オリジナルのモチベーションを軽視する必要はない。
もちろんそれを一般化したからこそ発展した分野はある。 糞馬鹿老害が個人的な思い出話する場所じゃねーんだよここは。
馬鹿が。
死ねよ、糞が。 ほんと受験数学のプロは存在価値零点どころかマイナスだな。 >>781
受験数学のプロでもなくほんまもんの数学のプロでもないお前がいってもなあ 学参受験問題集の市場が壊滅してその分理工書や数理科学系の学術書市場が広がればいいのに。 受験数学関連書籍は医学書としか正の相関無いか
やっぱり 形式的存在論から方程式論そしてガロア理論
一つの目標である >>782
「単なる」と言えるほど質の低いものではない 数学の最低偏差値70ない奴はここに来るなよな
目障りだ >>789
そんな母集団によってコロコロ変わる数値を根拠にされてもね… 偏差値くん毎年センター試験受けてそうw
つーか東ロボくんの登場でまだ諦めてなかったの?w 受験勉強一年やると数学やるのに二年のリハビリが必要だそうだ 今後東ロボ2号には
もしワイエルシュトラスがセンター試験数学を受けたら
とかやって欲しいね
さっさと受験マニアと予備校講師のゴミは諦めろ おまえら、現代数学なんてやってないで数オリやれや‼ 現代数学をやるより数オリ代表になった方が、
知名度を上げるという点では効果的だわな。 数オリは高校生が解くもんだろ、おっさんんが解いてどうすんの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
死ね雑魚 馬鹿の算数ゴッコに付き合ってる暇はない、じゃあなゴミども。 ■ このスレッドは過去ログ倉庫に格納されています