7931
- いいね数 45,477/48,405
- フォロー 253 フォロワー 1,023 ツイート 68,505
- 現在地 チーバくんのみぞおち付近
- Web http://wed7931.hatenablog.com/
- 自己紹介 大学院数学専攻→インフラ系システムエンジニア→ちょっとお休み→新しい職場で心機一転。いろんな #数学 を勉強中。専門はリー群の表現論。妻と息子2人で日ハム応援中 #lovefighters 。 #水曜どうでしょう と #ゴリパラ見聞録 が好き。北海道出身/千葉県在住/松坂世代。
2023年05月16日(火)
個人的には、存在とか実在とか、まじめに考えないようにしてます。学生の頃に哲学の本を読んでみて、結局何一つわからなかったので。
でも、虚数は存在するんですかってやっぱり聞かれるから「ええと、その前に、1は存在すると思いますか?」と問い返すことにしてます。
タグ:
posted at 00:20:15
黒板にチョークで連立方程式を解きはじめ、会場に答えを求め、最後の一言まで、ユーモアを忘れない。この final lecture に立ち会えてよかった! twitter.com/hiranabe/statu...
タグ:
posted at 01:12:00
非公開
タグ:
posted at xx:xx:xx
【2次不等式】書き手と読み手のミスマッチ。書き手「今まで学んできたことを整理してみるとこんな表だね🧑🏫」読み手の誤解「えぇ、この表覚えないかんのか〜🤪だるいな〜😪」 pic.twitter.com/Q4lu3T3w5J
タグ:
posted at 06:15:45
数学的対象をプログラムで実装するのは本当に楽しいです☺️ 数学のミニチュアをコンピュータの中に作ってるような感じ🏰 twitter.com/nekomath271828...
タグ:
posted at 06:53:10
念のため申し添えると、個人的には、数学的な存在とは何かってことについては
定義できて存在が証明できる
それだけです。
ちなみに、ぼくは数学基礎論の知識はほぼゼロです。ただ、ツォルンの補題と選択公理は公理として認めて使う。それで凡百の数学屋としては困らない。
タグ:
posted at 07:09:02
私が混乱した原因は「虚数が存在するかどうか」と言うよりも、「2乗したらマイナスになる数は存在しないのにそれをあるとした場合の想像上の数」と言う説明に矛盾を感じ、「虚数は矛盾した存在」と思い込んでいたことだと今は思います。矛盾に立脚してると感じる理論を信じることは困難 twitter.com/apu_yokai/stat...
タグ:
posted at 07:21:01
実数、複素数、四元数、八元数、ベクトル、行列、集合、関数、これらは全て部分集合として自然数を持っている(はず)。これらのうちどれが数でどれが数でないのだろうか?
タグ:
posted at 07:36:34
実数にせよ複素数にせよ、それが実在すると信じるのもしないと信じるのも自由。ただしそれを数学的命題として主張するなら、「実在する」とは何かを論理的に検証可能な形で明らかにしてもらわないと議論にならない。
「私はこう思う」でマウントを取り合うようなやり方は数学ではしない。
タグ:
posted at 08:41:08
数学は論理には厳しいが、それをどう受け止め解釈するかは個々人に委ねられており、この二面性こそが数学の実用性と創造性を支えているのだと思います。
この線引きを曖昧にしないことは、数学の専門教育では第一に叩き込まれることです。
タグ:
posted at 08:41:09
「複素数は実在しない」という主張を数学者が批判しているからといって、その人が「実在する」という立場を取っているとは限りません。逆も同様。
数学でないものを数学に持ち込むと危険だから注意喚起をしているのだと理解すべきと思います。
タグ:
posted at 08:59:56
個人的なことをいえば、数学は権威から自由であるから安心してやれる。論理以外のものに縛られる必要がない。大数学者でも間違いは間違い。
この健全性の価値は、もっと広く認められてもいいものだと思う。
タグ:
posted at 09:16:07
もう少し踏み込んで言うと、「数学は美しい、真理だ」みたいなことも強調しすぎると、その権威に憧れを抱いて道を誤る人が出てくるリスクもあると思っています。
良識のある専門家は、この辺りの伝え方にはとても気をつけていると思います。
タグ:
posted at 09:31:25
カノニカルは面白い概念で、明確に定義できないようだけど、いったん納得すると、明瞭です。
そのうち慣れるから、焦らなで。
#テンソル代数と表現論 では60ページあたりにくどくどと説明しました^_^ twitter.com/study_unnatura...
タグ: テンソル代数と表現論
posted at 10:17:18
「存在」という概念に関する議論・考察はおいといて、「実数の構成」や「複素数の構成」などの数学のトピックを一度も学んだことがない人には学んでみることをおすすめします。実数の構成についてはちょうど最近でた『数学ガールの秘密ノート/数を作ろう』と『数学セミナー6月号』で扱われています。
タグ:
posted at 11:13:20
考えてる構造に付加的なデータを加えずに定義できるということだと思います 自分は函手的に、と言っても同じような意味だと思っています(線形空間で基底を基底に、というのは線形空間だけでなく、付加的にどの基底を選択したか、という構造まで見て定める射になるので、線形空間だけみればcann.でない) twitter.com/study_unnatura...
タグ:
posted at 11:52:33
【文庫で読む数学の名著フェア】
『確率論の基礎概念』A.N.コルモゴロフ/著 坂本實/訳(ちくま学芸文庫)
1章 初等確率論
2章 無限確率空間
3章 確率変数
4章 期待値
5章 条件つき確率と条件つき期待値
6章 独立性、大数の法則 pic.twitter.com/WTZjaOUPYw
タグ:
posted at 12:10:00
ありがとうございます。
現在、初校を受け取ったところであります。 twitter.com/_kmt46/status/... pic.twitter.com/zhK0tHgCto
タグ:
posted at 13:43:55
カワズ on the bird @kawazu_on_bird
「特定の(有限次元)ベクトル空間を考えてるとき、他よりも強い同型がある」というふうにcanonical mapを捉えるた違和感あるけど、「どんな(有限次元)ベクトル空間に対しても、同じ形で定義できる同型がある」って理解すると、おめえつええなってのがちょっとわかるんじゃないかな twitter.com/study_unnatura...
タグ:
posted at 13:48:29
カワズ on the bird @kawazu_on_bird
線型代数を通して初めて学ぶであろうcanonicalという概念がわかりにくく感じる(もしくは新鮮に感じる)のは、それまでのobjectを主とした数学の理解から、morphismを主とした数学への理解にジャンプしているからで、構造主義的な標語で言えば「モノではなく関係に注目しろ」ってことになる気がする
タグ:
posted at 14:19:16
量子力学の数理に興味があるひとにおすすめの学び方は、まず新井朝雄先生の本でヒルベルト空間の基本事項を学び、そして中村周先生の本でスペクトル解析や散乱理論を学ぶという順です。前提知識は位相空間論とルベーグ積分があれば読み進んでいけると思いますが、フーリエ解析の知識も必要となります。 pic.twitter.com/tKHYerEkGB
タグ:
posted at 15:49:50
打ち合わせも対面が増えてきました。
少しでもわかりやすく誤解なく伝えるために台本を入念にチェックします✨
ミクロな物理とマクロな物理の世界。
深いなぁ。。何度も戻って確認しながら私も学びを進めています。
#物理 pic.twitter.com/mnOsyvRb36
タグ: 物理
posted at 17:48:34
1人の学生が線形代数の本格的な質問をしてきて、数学科じゃないのにすごいなって思ったんだけど、どうやら自分で調べて他大の数学科と同じカリキュラムを自習してるらしい。偉すぎ!(応援したい)
タグ:
posted at 18:27:08
退勤。
後輩の先生と数学談義する時間ができた。
数学教育から大学数学、TeXの話まで。
充実した時間だ。
ゆとりある時間を増やすことを使命に明日も進んでいきます。
タグ:
posted at 20:44:23
冷蔵庫にピーマンと茄子が一つずつ、しめじが3/2という実に中途半端な数量ある。これをどうするか。胡麻油で炒めてしまうのだ。そこに安い切り落とし牛肉を投入。すき焼きのタレをかけて炒りごまと鷹の爪を招集。これでうンめえんですわ。ちゃんと水を吸わせてから炊いたツヤツヤの米が瞬く間に消
タグ:
posted at 20:45:36
最近の熱力学的なトレードオフ関係(散逸が大きいほど正確性が上がる)の視点から思うに、高エネルギー物理が実験結果の誤差に対して緻密なのは高エネルギー性に由来するものであって、それゆえに真の記述だと思われがちだったということだと思う。そろそろパラダイムが変わってきてもおかしくない
タグ:
posted at 21:10:58
マイクロ秒とかテストとか「危険度は最も低い層」とか、偶然の結果みたく言ってるのが根本的におかしい。並行システムとして当然に必要な排他制御をやっていない、設計レベルの欠陥。 twitter.com/matsunaga_1127...
タグ:
posted at 21:42:16
最近、ある計算をしていて、この等式を知りました。
Γ(z)はガンマ関数、γはオイラーの定数(1/1+1/2+…+1/n-log(n)の極限、0.57721…)です。 pic.twitter.com/xISv4d0Gg2
タグ:
posted at 21:45:51
LLMという情報の海に眠る密かな財宝のような秘密鍵とかありそう。それは失われたBTCのウォレットだった。LLMの海を巡る大航海時代の幕開けである。
www.mbsd.jp/research/20230...
タグ:
posted at 22:07:15