人気ポスト

今回は解析を専門にしている博士課程の学生さんから、選択公理は直観主義で受け入れられるのですか、という質問があった。普通の形のものは受け入れられないが、直観主義タイプ理論で証明できるものもある、みたいな話を少し。そして、より専門的なことは集合論のusbさんに聞きましょう、と流れ。

メニューを開く

Ryota Akiyoshi(秋吉亮太)@georg_logic

みんなのコメント

メニューを開く

ううむ、新町の蓮爾はやっぱりブレが大きいようで、しばらくはつけ麺などが安全かもしれませんね。>RT

Ryota Akiyoshi(秋吉亮太)@georg_logic

ほかの人気ポスト

もっと見る
Yahoo!リアルタイム検索アプリ