現代数学の系譜11 ガロア理論を読む15at MATH
現代数学の系譜11 ガロア理論を読む15
- 暇つぶし2ch600:~cs/cs2011_hasegawa.pdf 自己言及の論理と計算 - 京都大学 長谷川真人 京都大学数理解析研究所数学入門公開講座（2002 年8 月5～8 日）の予稿を改訂（2006 年5 月 ／ 2007 年8 月／ 2011 年6 月） 目次 I 自己言及と対角線論法2 1 ラッセルの逆理2 2 カントールの対角線論法2 3 自己適用3 4 停止性問題5 5 対角線論法から不動点へ7 6 不動点定理から具体例を見直す8 II 矛盾したものを構成する11 1 完備半順序集合と連続関数11 2 最小不動点の発想12 3 最初の試み13 4 埋め込みと射影14 5 なぜ失敗したか15 6 正しい解の構成| 逆極限法16
次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch