深夜に重めのリツイート

Zornの補題とメイドインアビスについて

深夜に重めのリツイート

Show Notes

「まだ先に進める」と常に思うから「終わりはない」ように思えるけど、「終わりはあるよ」ということ”だけ”は証明できるって話。

More from 深夜に重めのリツイート

Sep 27, 2026

ノーランはAIシンギュラリティの時代に向けて、「こうやって自己再生産するんだ」ということを見せつけたんじゃないの?という話

Sep 6, 2026

大学数学で数々の人間を屠ってきた謎の概念、イプシロン-デルタ論法について、生活に接地させようとする努力回。 #ワイエルシュトラス

Aug 23, 2026

「抽象化ができる人は偉い」という価値観に待ったをかける、価値観を反変関手という観点で導入してみる。

Aug 10, 2026

将来「何になりたい」のか「何をしたい」のか、その論争を圏論的に紐解きます。モノイド対象をもとに。

Jul 26, 2026

何かを「変えたい」とき、それへの関心と同じくらい「何を変えないか」についても関心を持ちたいものですね。 #連続写像

See all episodes →