口コミサイト LabLog の
数理情報基礎論講座 吉信 康夫
無限の大きさを公理から探る、集合論の研究室。

About研究室について
巨大基数公理で、無限の組合せを探る。
数理情報基礎論講座の
集合論は、
巨大基数公理を
吉信教授の
用語の説明
- 濃度
- 集合の
大きさを 表す考え方。 無限集合にも いろいろな 大きさが あることが、 カントルに よって 指摘された - ZFC
- ツェルメロや
フレンケルらが 整備した 集合論の 公理系。 集合論研究者の ほとんどが この 上で 研究している - 巨大基数公理
- 非常に
強い 性質を 持つ巨大な 無限濃度の 存在を 仮定する 公理。 大きい ほど 無矛盾性の 主張が 強くなる
Research研究テーマ
集合論の
Members教員
- 教授吉信 康夫
Voices先輩の声
評価・クチコミは、
インタビューに
先輩の
--
--
--
--
--
--
先輩の
- この
研究室の 推しポイントは? - 入ってみて
分かった ことは? - 雰囲気や
先生の 人柄は? - どんな
学生に おすすめ? - 卒業後の
進路は?
Related数理情報基礎論講座 吉信 康夫に近い研究室
数理情報基礎論講座 佐藤 潤也情報学部 自然情報学科自然
数理情報基礎論講座 小野 廣隆情報学部 自然情報学科自然
数理情報モデル論講座 西村 治道情報学部 自然情報学科自然
数理情報モデル論講座 ブシェーミ フランチェスコこの
画像について
トップと
- トップの
画像:「04fig-venn-002」 ASpiegler/CC BY-SA 4.0(トリミング) - 巨大基数公理と
無限の 組合せ論:「Math01」 MathKnight ✡ (Talk) No machine-readable author provided. MathKnight assumed (based on copyright claims)./CC BY 2.5(トリミング) - 関連する
研究室 (数理情報基礎論講座 佐藤 潤也) :「Sistema de ecuaciones lineales 3x3」 Floresomg/CC BY-SA 4.0(トリミング) - 関連する
研究室 (数理情報基礎論講座 小野 廣隆) :「Complete anytime tree」 Klever/CC BY-SA 3.0(トリミング) - 関連する
研究室 (数理情報モデル論講座 西村 治道) :「DWave 128chip」 D-Wave Systems, Inc./CC BY 3.0(トリミング) - 関連する
研究室 (数理情報モデル論講座 ブシェーミ フランチェスコ (ブシェーミ フランチェスコ)) :「D-Wave Two 512 qubit Vesuvius chip」 Steve Jurvetson/CC BY 2.0(トリミング)
LabLog について
LabLog
この
