2017年05月17日

ゲームと現代集合論

2016年7月に某数学サークルで発表した、決定性公理に関する内容のPDFです。
集合論を知らない人向けに、記述集合論やら巨大基数やらを説明するという無茶な試みがなされています。
なので、きちんとした証明はほとんどなく、完全にお話という感じですが、それでも12ページでまとめたのは、我ながらよく頑張ったと思います。
ちなみに、「現代集合論」と銘打ってあるのは誇張表現で、全然現代っぽい話はないです。


続きを読む
posted by Eureka GAP at 23:39| 数学 | このブログの読者になる | 更新情報をチェックする

巨大基数入門〜可測基数を巡って〜

2016年3月に関西すうがくとのつどいで発表する機会がありました。
そのときに作ったスライドを公開します。
このブログ記事で3回に分けてだらだら説明していた巨大基数とは何かということが、可測基数を例にあげて説明しています。
「一応」self-containedな書き方をしています。

posted by Eureka GAP at 23:26| 数学 | このブログの読者になる | 更新情報をチェックする

改・強制法入門

これも過去に公開した強制法入門の修正版です。
内容は変わっていませんが、数個のミスを修正してあります。
こうやって改訂するたびに過去のリンクを消して、新たな記事にするの頭悪いですね。
ブログ形式の限界を感じます。

posted by Eureka GAP at 23:02| 数学 | このブログの読者になる | 更新情報をチェックする