2017年05月17日

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

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



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

改・強制法入門

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

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

改・決定不能問題


ついでに過去に公開していたPDFも微妙に修正して再掲することにしました。
といっても内容は全く変わっていませんが……。
再帰理論の最初の一歩みたいなPDFなので、例えば「アルゴリズム」とは何か、「計算可能」とは何かということが書いてあります。

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

この広告は180日以上新しい記事の投稿がないブログに表示されております。