スマートフォン専用ページを表示
GAPのブログ
PDFの墓場となるべく作られましたが、特に運営方針は定まってません.
プロフィール
名前:Eureka GAP
性別:男
職業:学生
一言:基礎論に興味のある大学生です.
ファン
メッセージを送る
このブログの読者になる
更新情報をチェックする
ブックマークする
友達に教える
カテゴリ
日記
(0)
数学
(13)
タグクラウド
PDF
再帰理論
集合論
- 1
2
3
4
5
次の3件>>
2017年07月01日
QEの応用
モデル理論のゼミで用いたQuantifier Eliminationの応用についてのスライドです。
application_of_QE.pdf
【関連する記事】
数学の基礎
ゲームと現代集合論
巨大基数入門〜可測基数を巡って〜
改・強制法入門
改・決定不能問題
posted by Eureka GAP at 11:28|
数学
|
|
2017年05月30日
数学の基礎
集合論を勉強していると話すと、色々な人に数学の基礎づけについて聞かれるので、そのアンサーとして書いてみたPDFです。
内容としてはKunenに全部書いてあることです。
誰でも読めるように書いたつもりなのですが、他の人の反応を見るにそうでもないみたいです。残念。
foundation_of_math.pdf
posted by Eureka GAP at 22:37|
数学
|
|
2017年05月17日
ゲームと現代集合論
2016年7月に某数学サークルで発表した、決定性公理に関する内容のPDFです。
集合論を知らない人向けに、記述集合論やら巨大基数やらを説明するという無茶な試みがなされています。
なので、きちんとした証明はほとんどなく、完全にお話という感じですが、それでも12ページでまとめたのは、我ながらよく頑張ったと思います。
ちなみに、「現代集合論」と銘打ってあるのは誇張表現で、全然現代っぽい話はないです。
game_and_set_theory.pdf
続きを読む
posted by Eureka GAP at 23:39|
数学
|
|
- 1
2
3
4
5
次の3件>>