3 ms·
> 何かを禁ずることで力を引き出す。 「形・真・理」は、禁じているわけではないですが、条件が揃わなければ力が発揮できない。制約を与えることで、力、強大な力が発揮されるんだ、と捉えています。 That's why I find myself drawn to the algebraic — in hopes of dr
by 082349872349872 2y ago
> 何かを禁ずることで力を引き出す。
「形・真・理」は、禁じているわけではないですが、条件が揃わなければ力が発揮できない。制約を与えることで、力、強大な力が発揮されるんだ、と捉えています。
That's why I find myself drawn to the algebraic — in hopes of drawing out some unreasonable (monstrous?) effectiveness...
> "The syntax is the soul. Study the soul to know the syntax. Evil mind, evil syntax". —not Toranosuke Shimada
https://www.theonion.com/kitten-thinks-of-nothing-but-murder-all-day-1819588260 https://www.theonion.com/kitten-thinks-of-nothing-but-murder...
- vinnyvichy 2y agoCats as (Arab/syriac) guest demon/god of algebra? (It's just inconvenient that they are also associated with category theory) Brings to mind the Atiyah (who was Lebanese) quote.
- 082349872349872 2y agoAt least as far as typesetting commutative diagrams goes, could category theory be the revenge of geometry?
- vinnyvichy 2y agoAhh yes, LLMs ( preneutered!) may cause a resurgence of diagramming (used in vengeance) https://terrytao.wordpress.com/2023/11/18/formalizing-the-proof-of-pfr-in-lean4-using-blueprint-a-short-tour/ https://terrytao.wordpress.com/2023/11/18/formalizing-the-pr...
- vinnyvichy 2y agohttps://news.ycombinator.com/item?id=40978033 https://news.ycombinator.com/item?id=40978033