口コミサイト LabLog の
酒井拓史研究室
無限について何が証明できるかを公理から探る、集合論の研究室。

About研究室について
無限を、公理から考える。
酒井拓史研究室は、
集合論の
ZFCに
用語の説明
- ZFC
- ツェルメロ=フレンケルの
公理系に 選択公理を 加えた、 集合論の 標準的な 公理系 - 連続体仮説
- 自然数全体と
実数全体の 中間の 大きさを もつ無限集合は 無い、と いう 主張 - 巨大基数公理
- とても
大きな 無限の 大きさ (基数)が 存在すると 主張する 公理
Research研究テーマ
ZFCに
Members教員
- 教授酒井 拓史研究業績 ↗
Voices先輩の声
評価・クチコミは、
インタビューに
先輩の
--
--
--
--
--
--
先輩の
- この
研究室の 推しポイントは? - 入ってみて
分かった ことは? - 雰囲気や
先生の 人柄は? - どんな
学生に おすすめ? - 卒業後の
進路は?
Related酒井拓史研究室に近い研究室
この
画像について
トップと
- トップの
画像:「Cantor's theorem visual」 Electro blob/CC BY-SA 4.0(トリミング) - 強制法公理・巨大基数公理と
無限:「Von Neumann universe 4」 Alan U. Kennington/パブリックドメイン (トリミング) - 関連する
研究室 (加藤晃史研究室) :「Orange Genus 2 Surface」 Gelada/CC BY-SA 3.0(トリミング) - 関連する
研究室 (松井千尋研究室) :「Illustration of Yang Baxter Equation」 AHusain314/パブリックドメイン (トリミング) - 関連する
研究室 (白石潤一研究室) :「Weierstrass p function」 Claudio Rocchini/CC BY-SA 4.0(トリミング) - 関連する
研究室 (林修平研究室) :「Lorenz attractor and its transients」 Yapparina/CC0(トリミング)
LabLog について
LabLog
この




