leff2 https://blog.hatena.ne.jp/leff2/ 諸命題への考察と大学生活 https://leff2.hatenadiary.org/ 数学 昨日、今日は講義なし。 月火は数論とフィルターと微分幾何のみ。 数論は、モジュラー形式のL関数と、群のコホモロジーの話。コホモロジーの定義なんかはだいぶ慣れた気がするけれど、群のコホモロジーなんてどうやって使っていくのか、今はまだ想像もつかない。 フィルターの講義は、今回で最後。ラムゼイの定理が話題で、有限版の時に無矛盾な公理系で証明できない正しい命題の例を作ることができるという、なんだかどこが使えるのかさっぱりではあるけれど、実際に存在することが目に見える意味で意味のありそうなものだった。 フィルターの話を完全に理解したといえるかといえばたぶんできていないのだけれど、位相的な議論を比較的楽に… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fleff2.hatenadiary.org%2Fentry%2F20111124%2F1322169967" title="11-11-21,22,23,24 - 諸命題への考察と大学生活" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2011-11-24 06:26:07 rich https://leff2.hatenadiary.org/entry/20111124/1322169967 1.0 100%