02/25 aiueo 01/01 かがみ 01/01 ゼルプスト殿下 01/01 かがみ 01/01 ゼルプスト殿下 05/10 かがみ
ここ一月半くらいやけに仕事がはかどっているのですが、先週からさらにハイ テンションになりつつあります。休みの日でも仕事のことばかり考えています。 一時はプログラムを書くのが苦痛でどうしようもなかったのが今は楽しくて仕 方ありません。非常に良い状態...なのでしょうか。この状態って絶対に反動が くる予感がします。あと一週間で今の仕事が一段落するのですが、そのときが 危険なのかなと思います。そこで昨日から意図的に仕事のテンションを下げる ようにしました。
数学のお勉強です♪☆
仕事に熱中し過ぎて数学さぼってたのですが、ひさびさに本を読んだらこちら もなかなか調子良かったです。今調べているのは i-land さんに教えていただ いた Devlin 本 [1] のミスに対する「救済方法」に関する [2] です。[1] の レヴューである [3] を合わせるとさらに分かりやすいようです。 極限順序数 α に対する Lα や一般の順序数に対する J α で成り立つ adequate な理論についての論文のようです。さすがに [2] を全部真面目に読むと本願の fine structure の勉強がさっぱり進まない 状態になりそうですが、ある程度じっくり分析するのは弱めの理論に対する直 感を養うために非常に有用な気がします。並列して読もうと考えています。肝 心の [4] による fine structure の進み具合ですがこれに関してはまだ言わぬ が花という状態です。
下の文献はすべて i-land さんに教えていただいたものです。ありがとうござ います。もう少し整理した段階でまた質問させて頂くかも知れません。そのと きはよろしくお願いいたします。
[1] K.J.Devlin, Constructibility. Perspectives in Mathematical Logic, Springer-Ver-lag, Berlin-New York, 1984. (Perspectives in Logic より PDF で入手可能です)
[2] A. R. D. Weak systems of Gandy, Jensen and Devlin. (English summary) Set theory, 149224, Trends Math., Birkha user, Basel, 2006.
[3] THE JOURNAL OF SYMBOLICLOGIC Volume 52, Number 3, Sept. 1987 pp. 864-.867.
[4] THE FINE STRUCTURE OF TIlE CONSTRUCTIBLE HIERARCHY, R. Bjonl JENSEN, ANNALS OF MATHEMATICAL LOGIC 4 (1972) pp. 229-.308.
コメント
一つ前の日記に土日もお仕事と書きましたがなんとか土曜日中に完了しました。 今日と明日はお休みです。三月中は残件とかいろいろありますが一安心です。
コメント
どうも明日明後日も仕事する必要がありそう。というかあります。Jensen の論 文は Devlin 本と併用して少しずつ読んでいます。まだ本当に最初の方です。 にしても原始帰納的関数なんて不完全定理でなんとなくという感じで、実際に は真面目に勉強したことないのに、集合論のコンテキストで勉強することにな るとはびっくり仰天です。
コメント
生きています。仕事が忙しくてなかなかこの日記も書けないし数学の勉強も進 みません。でも仕事の方は絶好調です。3月一杯で一段落するので日記の更新や 数学の勉強をきちんと進めたいと考えています。つまんなくてすみません。
コメント
なんか三年近く勉強します詐欺状況だったと思いますが、Kunen [1], Devlin [2] の復習がもちろん全部ではないのですが一段落し、やっと fine structure にかんする勉強を開始しました。まだ最初の概要を読んでいる部分 ですが、なにか面白そうでわくわくします。残念ながら今仕事が少々きつい状 態で余り時間はとれませんが、少しずつでも進展させたいと思います。どちら かというと今までのことを忘れないようにすることにほとんどの時間を要して しまうかも知れません。[3] を読みながら難解な部分を [2] で補完しつつ勉強 したいと考えています。分からない部分が出てくる可能性多いにありです。そ の時はあつかましいとは思いますがよろしくお願い致します ＞集合論の専門家 の方ならびに @tri_iro さん。
[1] Kenneth Kunen, Set Theory, An Introduction to Independence Proofs, Studies in Logic and the Foundations of Mathematics, North-Holland, 1980.
(邦訳) ケネス キューネン著, 藤田 博司訳. 集合論—独立性証明への案内. 日 本評論社, 2008.
[2] K.J.Devlin, Constructibility. Perspectives in Mathematical Logic, Springer-Ver-lag, Berlin-New York, 1984. (Perspectives in Logic より PDF で入手可能です)
[3] THE FINE STRUCTURE OF TIlE CONSTRUCTIBLE HIERARCHY, R. Bjonl JENSEN, ANNALS OF MATHEMATICAL LOGIC 4 (1972) pp. 229-.308.
コメント
全然更新しないですみません。3月10日まではとても忙しくて日記も数学も 手をつける時間がありません。3月10日以降は真面目に更新したいと考えて います。数学忘れそうなのが痛いです。
コメント
去年の12月以降お正月以外ほとんど休んでいませんでした。疲れ果てて先週の
月曜日から今日までお休みにしました。お休みといっても数学の勉強くらいし
かすることないのですが、それなり良い連休だったかなと思います。強制に
関して少しまとめることが出来ました。また Devlin 本の必要な部分を復習して
を仮定した場合
-ススリン木の存在証明もなんとか追いかけることが出来ました。ススリン木は
難しいです。
の場合の復習からやり直す必要がありました。一月くらい休めれば良いのに。
代休の残りや有給を使えば簡単に休めますがなかなかそうもゆかないのが残念
なところです。それなり良い感じの状態で fine structure の勉強に入れそう
です。とはいえ来週からは仕事と数学を上手に両立させる必要があります。集
中力勝負ですね。
コメント
穴だらけとはいいつつ [1] を一通り読んだ感じになったので、もともとの目標 である fine structure に戻ります。[2] の四章から再読開始です。それ以前 の章にかんしても忘れている部分が多々あります。今週は存外調子が良いので 当面必要な部分は復習完了したと思っています。さあがんばるぞ！ 私はすぐに 弱音を吐くが存外しぶといのです。
[1] Kenneth Kunen, Set Theory, An Introduction to Independence Proofs, Studies in Logic and the Foundations of Mathematics, North-Holland, 1980.
(邦訳) ケネス キューネン著, 藤田 博司訳. 集合論—独立性証明への案内. 日 本評論社, 2008.
[2] K.J.Devlin, Constructibility. Perspectives in Mathematical Logic, Springer-Ver-lag, Berlin-New York, 1984. (Perspectives in Logic より PDF で入手可能です)
コメント
ここのところ[1]で強制の繰り返しの勉強をしていましたが、やっと最後の方の Con(ZFC) → Con(ZFC + MA + ¬CH) の証明までたとりつきました。2つの半順 序が基礎モデルの要素の場合の繰り返しに苦労した割りには、有限サポートで 名称を積み上げてゆく無限回の繰り返しは存外分かりやすかったです。Martin の公理の性質からして強制と相性が宜しいのも読み終われば当然である感じが しました。やっと [2] に戻ることが出来そうなのですが、二年半前に数学基礎 論サマースクールで藤田さんに習ったソロヴェイの業績を読み直したい気持ち もあります。どちらにしようか悩みに悩んでいます。
[1] Kenneth Kunen, Set Theory, An Introduction to Independence Proofs, Studies in Logic and the Foundations of Mathematics, North-Holland, 1980.
(邦訳) ケネス キューネン著, 藤田 博司訳. 集合論—独立性証明への案内. 日 本評論社, 2008.
[2] K.J.Devlin, Constructibility. Perspectives in Mathematical Logic, Springer-Ver-lag, Berlin-New York, 1984. (Perspectives in Logic より PDF で入手可能です)
コメント
今日はお誕生日です。55歳になりました。四捨五入したくないです。夜は おいしいお料理とケーキを食べました。
コメント_Joe [10の位で四捨五入すると100歳ですね(^^)。おめでとうございます。]
_かがみ [ざんねんでした。そのネタはモカちゃんの方が先です (^^ そもそも10の位で四捨...]
_miya [おめでとうございます。]
_かがみ [ありがとうございます。今後ともよろしくお願いします。]
_hyuki [遅ればせながら、お誕生日おめでとうございます。]
_かがみ [ありがとうございます。本歳もよろしくお願いいたします。]
2010年2月
2010年4月
更新履歴と日記の先頭に戻る
日記の目次
集合論雑記目次
はてなリング 数学の輪
トップページに戻る
谷山浩子さんのページ