学びたい、ことばかり

音楽と数学が好きです。key:@KeyAlwe (そんなに動いてないです) 欲しい物リスト:

[学びたい、ことばかり @Alwe_Logic]

私は全然ツイート見えてるのであれなんだけど、みんな見れてるか知らないが一応アカウントは
Instagram: _impredicativity
discord: alwe_logic
mathtodon: [email protected]
です。Lineはあったことある人なら訊いてくれれば多分だいたい教えます。

[学びたい、ことばかり @Alwe_Logic]

@mgmg_pkpk_nmi おめでとうございます〜〜！！

[学びたい、ことばかり @Alwe_Logic]

@1806_04679 おめでとうございます〜〜！

[Kory @Kory__3]

impredicativity の天ぷら

[学びたい、ことばかり @Alwe_Logic]

@Kory__3 @SSRS_cp https://t.co/zuxvlrjlSH

[あおいさん @aoi_mayapero]

？

[学びたい、ことばかり @Alwe_Logic]

@Kory__3 @SSRS_cp cf. https://t.co/9MvgeS8Dgo

[学びたい、ことばかり @Alwe_Logic]

@aoi_mayapero はい。少なくとも朝に思いを馳せて呟かれています。

[学びたい、ことばかり @Alwe_Logic]

@Kory__3 @SSRS_cp 分かります

[学びたい、ことばかり @Alwe_Logic]

@R_O_R_I_J_O Hopf algebroidっぽい感じなので、少し自然じゃないですか？

[学びたい、ことばかり @Alwe_Logic]

小泉さん。数学に対してしっかりと誇りや、アツい感情を持っていて、アツい男だなぁと思い、尊敬

[学びたい、ことばかり @Alwe_Logic]

オットセイ「応答せい！w」

[学びたい、ことばかり @Alwe_Logic]

SPReAD申し込もうかな

[学びたい、ことばかり @Alwe_Logic]

現代では構成的数学がある程度常識になってきている感じがあり、尚のことどのくらいの構成主義で示されているのか、というのが広く認知されるべきという気持ちになってきた(？)

もう少しいろんなところに構成的数学が普及されていくべきであり、そのための活動もやられるべきだなぁ

[学びたい、ことばかり @Alwe_Logic]

Anupam Dasのcyclic proofのlogical complexityの論文をチラ見して、CΣ_{n+1}ってΠ_{n+1}-reflectionのω^ω iterationっぽいよなぁと思っていたら、ちゃんとBeklemishevが言及してた。私が気づけることはみんな気付いてる

[学びたい、ことばかり @Alwe_Logic]

@rizkubo ダイエットは他人のためならずっていいますからね

[学びたい、ことばかり @Alwe_Logic]

@rettouw はい、そのとおりです

[学びたい、ことばかり @Alwe_Logic]

@rettouw 構造として(M,Def(M))みたいなものを考えていてo(M)に対するクラスCohen強制をすると(M,Def(M))が(M,Def(M,G))みたいなものと同型になる、というのが正確な主張です

[学びたい、ことばかり @Alwe_Logic]

@rettouw Mが既にCohen extensionなら (M=M'[g]なら) homogeityからM-cohen generic hに対してM[h]とMは初等同値になりますね

[学びたい、ことばかり @Alwe_Logic]

@rettouw 普通の強制法だと分からないんですがM内でのクラスサイズCohen強制とかすると、クラスしか変えないので初等同値になると思います

[学びたい、ことばかり @Alwe_Logic]

部分文字列検索、俺よりAIの方が強くて泣く