エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント4件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
The Dark Side of Forcing
Here Is The Math To The Dark Side 私たちについて 「The Dark Side of Forcing」は、名古屋大学の多元... Here Is The Math To The Dark Side 私たちについて 「The Dark Side of Forcing」は、名古屋大学の多元数理科学研究科と 情報科学研究科の大学院生が中心となって結成された、 数学同人サークルです。 元々は、強制法(Forcing)を、 前期はケネス・キューネンの『集合論ー独立性証明への案内』を便りに公理的集合論の側から、 後期はソンダース・マクレーンの『Sheaves in Geometry and Logic』を道標にトポス理論の側から、 概観してみよう、という勉強会から発生しました。 メンバーのそれぞれが面白いと思っていることを、 需要などを一切気にせず、好きなように書ける場所を提供しようとしています。 なので、内容としては大学院レベルの数学を要求するくらい高度なものですが、 ご安心を、実はみな専門がバラバラなので、メンバー同士でも他
2022/02/11 リンク