数学基礎論・数理論理学 その14at MATH数学基礎論・数理論理学 その14 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト800:１３２人目の素数さん 14/07/01 22:01:02.96 なんでそうなる 801:１３２人目の素数さん 14/07/01 22:43:08.13 社会科学だから 802:１３２人目の素数さん 14/07/02 06:45:28.03 Nik WeaverのForcing for mathematicians面白そうだね forcingの理論についてはどれくらいself-containedなんだろう？読んだ人居る？ 803:１３２人目の素数さん 14/07/02 18:53:11.00 神戸大学のサマースクールで強制法の講座があるみたいだね。 http://kurt.scitec.kobe-u.ac.jp/~fuchino/set-theory2014/kisoron-summerschool-14.html 804:１３２人目の素数さん 14/07/07 22:52:57.70 強制法って、なんか無理矢理やらされるっていう語感がやよね 805:学習院の学部生 14/07/28 21:10:10.76 Graham Priest教授の論文(dialetheism)を読んで衝撃を受けました。 数理論理と哲学的論理をきっちり勉強したいと思います。 806:１３２人目の素数さん 14/07/28 23:24:50.74 最近Jechの強制法のところを証明はほぼ全て飛ばして眺めてて やっと強制法が何をしているか大体のところが（数年越しに！）分かって来た。 ブール値モデルとかを齧りもしないで （Cohenのオリジナルじゃなくて現代的な）nameの超限再帰的定義とかを 始めて読んで何をやりたいのかピンとくる人は天才だと思う。 genericityは未だに謎。どうも代数位相幾何とか代数幾何にも 同じgenericという似た概念があるらしいけど、そっち方面は知識無いから分からん。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch