°ρ°(どろ゙ぉど)

°ρ°の読み方が「どろ゙ぉど」です。
°とρと°です。
|数学垢紹介bot @ZFC114514
|我が主君@BtsjQ7|アイコン@Rtlv224
|マシュマロ

[°ρ°(どろ゙ぉど) @Dorhodo]

改めて、数検1級合格しましたー！！

次どうしようか

[うねねみこ @unenemiko]

千反田える

[和泉つばす✨9ナインアニメ化＆スピンオフ🦋サマポケアニメ @tsubasu_izumi]

C108夏コミは
翡翠亭は不参加ですが、
同時期に、BOOTH受注通販しようと思います���。
水着タペストリーが出ますー👙✨🌴

今葉まだ調整中なので
後日詳細書きますね

[暇 Itoma C108土曜日西ふ-21b @itoma_mahimahi]

夏のガハラさん（肌露出多め）

[もっぷりん @mopumopu107]

らくがき三つ編みめぐる　＋おまけ

[°ρ°(どろ゙ぉど) @Dorhodo]

岩澤理論はあと10年か20年ぐらいでエグい圏とかで統一されるみたいな話をしたけど、AIの進化を見るともうそんな先の話じゃない気がする

[らんたん @rantan_haishin]

先生きた、かくれろ

[ちゃろー⭐︎ @char0cknmath]

数学したすぎて帰宅←これ好き

[°ρ°(どろ゙ぉど) @Dorhodo]

方向性の違い(ちゃろーさんは数学したいが俺は新幹線の中でできるのでアキバを回りたい)が原因で解散したのワロタ

[°ρ°(どろ゙ぉど) @Dorhodo]

迷子の末に無事塩化(13時頃)

[ちゃろー⭐︎ @char0cknmath]

エンカ

[°ρ°(どろ゙ぉど) @Dorhodo]

迷子の末に無事塩化(13時頃)

[°ρ°(どろ゙ぉど) @Dorhodo]

ウヴォーさんいいよね

[°ρ°(どろ゙ぉど) @Dorhodo]

@HR_D3_tariff どうせ取るなら1億は賭けたいところ

[°ρ°(どろ゙ぉど) @Dorhodo]

@sbakbao あと9日すれば爆上がりするので狙い目

[かつてぬか漬けだったもの @Kyuri_Mirra_sub]

先ほどのイカれたメンバーの紹介に誤りがあったぜ！

[°ρ°(どろ゙ぉど) @Dorhodo]

@tv4965109947686 好きな話だ

[°ρ°(どろ゙ぉど) @Dorhodo]

最近またこれになった
結局スキームもコホモロジーも一体何なんだろうか

[前頭葉 @tv4965109947686]

Weil予想の証明が読みたくなってくるが予備知識に圧倒的敗北。

[obssnnn @0xObssnnn]

A mathematician who won the Fields Medal, the Abel Prize, and the Wolf Prize spends an hour on the equals sign.

This is Pierre Deligne at the Institute for Advanced Study, September 2018, speaking at the memorial conference for Vladimir Voevodsky. The title is a question: what do we mean by equal.

Deligne proved the last of the Weil conjectures. He holds every major honour mathematics gives. He chose to talk about the symbol every schoolchild learns first.

The problem is real. Two objects can be the same in a way that carries information about how they are the same, and set theory throws that information away. Voevodsky spent his last years rebuilding foundations around exactly this.

Watch the board. Set theory's definition of equality on one line, homotopy groups underneath, and the gap between them opening as he writes.

A research engineer I know rewatched the setup twice and said type systems stopped feeling like an implementation detail.

Free on YouTube from the Institute for Advanced Study, chalk only.

Equality looked settled for 2,000 years. It was a placeholder.