2019.12.12 16:00数学基礎論若手の会2019発表スライド数学基礎論若手の会2019@愛知県青年の家にて発表したスライドです。前半はタイトルそのままSilver-Solovayの問題とPrikry強制について話しました。後半はRowbottomの定理に頼らない「令和」のPrikry強制のお話です。来年はスライドに絵を載せて視覚的にも分かりやすいスライドにしたいなぁと思います。
2018.12.09 16:00誕生日本日12月10日は何を隠そう僕の誕生日です！ハッピーバースデー自分！！！というわけでこれを読んだ皆さんはちゃんと祝ってくれなきゃダメなんですよ？それはそうと、先日12月7日は集合論の誕生日ともいえる日でした。というのも、無限の研究としての集合論が確立された日、すなわちCantorが実数全体の集合が非可算である(つまり実数全体の集合と自然数全体の集合との間に一対一対応が存在しない)ということを発見したその日が1873年12月7日です。その後、Cantorは順序数や基数の理論を構築していき、可算濃度と連続体濃度の間には基数は存在しないのではないか、というような直観から現在では連続体仮説と呼ばれる問題の証明へと生涯を捧げることになります。Hilbertが19...
2018.12.01 16:00数学基礎論若手の会2018発表スライド数学基礎論若手の会2018@沖縄での発表スライドを上げます。「反復強制法で何かしたい！そうだ強制法公理の無矛盾性証明をやろう！」みたいな内容です。伝えたいのは反復強制法の議論だったので、強制法の一般論は断りなく用いられています。ちょこっと個人情報を弄った以外に特に加筆・修正などはしていません。
2018.11.30 16:00Xくんがなにか始めたようです初めましての方は初めまして、そうでない方はいつもお世話になっています。TwitterではXとかいうハンネを使っていますが、ふりーだむとか稀にたまごやきとも呼ばれています。現在はB4で来年度は大学院に進学予定の数学、特に集合論を勉強している学生です。数学関連のノートとか発表スライドとか置いておく場所を作っておこうと思いまして何やらら画策していたわけです。めんどくさがりなので放置しそうですが… 忘れない程度には更新していきたいです(決意表明)。需要がどこにあるのかは分からないけど。。。