MIT(@aaaazzz18)の大学垢/数学と言語をする アイコンは1巻カラー絵のアルトちゃん(かわいい)
Joined March 2018
- Tweets22.7K
- Following211
- Followers569
- Likes26.6K
【素人は黙っとれ】
「素人質問で恐縮ですが、そのホワイトボードにつけている黒いのは何ですか？へえ、文字というんですか。え？これを見ると話を聞いているときみたいに話が頭に入ってくる？何言ってるんですか？」
143
ウッヒョオオオアアアキタキタキター
Categorified convergence: dropping the 'ultra' from 'virtual ultracategories' arxiv.org/abs/2611.08124
MIT(Μίττον)@大学垢 retweeted
群の圏の monomorphism が equalizer であることの "正しい" 証明とか書こうかな（nLab にあるような関数集合を使う "構成的" 証明は当然正しくないので）
ncatlab.org/nlab/show/Grp#eq
ある実験系で測定可能な無次元量として定義できる実数の「真の値」はすべて計算可能であると信じている（計算可能実函数が微分によって閉じないことなどを exploit する実験は物理法則による制約上設計できないという主張を含意することがミソ）
11
476
MIT(Μίττον)@大学垢 retweeted
哲学の議論にはいくつかパターンがあると思うので、それらを思いつく限りリストしてみました（52個）。構成的両刀論法、反例提示、甘受、暴露、証明しすぎ、挙証責任の負担、等々。
誰かの役に立ちますように。
分析哲学議論パターン集 - Nは点対称だよ（そうだね） ceterisparibus.hatenablog.co…
