現在ドイツの大学院で博士課程をやってます. 集合論を研究しています.
今月は意識して論文を読み進める月にしようと思う。次の論文を読む:
01.08.2024
外国人局に行って滞在許可延長の手続きをやった。そのあとは大学に行って指導教官と話した。
Woodinに質問をして帰ってきたメールの証明を指導教官と解読しようとしていた。結局分からずに明日もう一度会うことになった。
hogehoge(公理)を仮定しないという場合には今仮定しているbase theoryを明示するべきだと思う。 choicelessに拘っているが、そのchoice周りの議論が雑に感じることがよくある。 あとchoiceだってACだけではないし、そのスペクトラムを見ることが大事なんじゃないのと私は考えている。
ただchoiceがない状況を作るだけでは面白いだけでしかないと思う。
02.08.2024
今日も指導教官と話した。Woodinが教えてくれた証明はまだ全然埋まってない。でも少し進展があった。
ここまで全然分からないとかなりしんどい。
10.08.2024
ヘッドホンを買った。かなりいいかも。
1週間以上考えていたWoodinの証明が復元できた。めっちゃ脳汁が出た。最高である。これだから数学はやめられねぇ........
11.08.2024--31.08.2024
家で数学をしたり、ぐだぐだしたりしていた。数学をする以外特に何もしなかった。
最終的にWoodinがメールで送った議論と同じ議論に到達した。MM^{++} + proper class many Woodinsの元での(*)^+と(*)^++の同値性の証明を理解した。新しい結果をいくつか使ってるけど、元のアイデア自体はWoodinがずっと前から持っていたっぽい。
ネトフリで三体のドラマを観た。小説も気になってきた。