集合論（数学）コミュニティ

詳細 2014年7月26日 02:47更新

☑　コミュニティの方針
数学・情報数学好きな人、……と言うか大好きな人、みんな集まれ！
そんなコミュニティ

とくに集合論・数学基礎論が好きな方・興味がある方、大歓迎（´ω｀）ｂ


☑　主な集合論・数学基礎論の分野
?　素朴集合論（高校１年数学・大学１年教養数学・学科２年集合論）
?　集合代数（学科２年集合論）
?　ブール代数と数理論理学（学科２年情報数学・学科３年数学基礎論）
?　ツェルメロ-フレンケルの集合論（公理的集合論）と現代集合論
?　一般集合論（公理的集合論）
?　フォン・ノイマン-ベルナイズ-ゲーデルの集合論（公理的集合論）
?　モース・ケリーの集合論（公理的集合論）
?　タルスキ-グロタンディークの集合論（公理的集合論）
?　新基礎集合論（公理的集合論）
?　新しい公理的集合論の提唱
→　その他
　圏論・超準解析・非有基的集合論・クリプキ-プラーテックの集合論など


☑　コミュニティの約束
?　分野ごとで見解が異なる時は、お互いの意見を尊重（＾ω＾）
?　分からない問題を一緒に考えるときは、すべて質問掲示板へ
?　オフ会をする場合は、オフ会参加者個人の責任で行う。
?　数学に関わるその他トピック立てはフリー

• タイムライン
• トピック別

もっと見る