読む毒

イヌ

2019-12-05から1日間の記事一覧

逆数学の未解決問題のいくつか

これはサムネイルがTeXのコマンドになっちゃうやつを回避するために置かれたウパーの絵 はじめに Ramsey理論周辺 Hindmanの定理 代数 ジェネトポ おわり はじめに ここでは,逆数学の未解決問題について最近知った話題をまとめる。逆数学の未解決問題は様々…