ちょいとへんてこだよ呪文さ

キミに教えてあげるよ

早口ことばではないのさ

あ～るし～えすいたれいしょん

ということで今回はRCS iterationという魔法の呪文を唱えることでMartin's Maximumという強制法公理の無矛盾性証明が終わっていた、という話です。

若手の会から帰って来たら疲労困憊という感じで、結局当日に書き始めることになってしまって大変でした。。。

MMの応用含め興味がある人は参考文献を調べてみてください。

若手の会の発表スライドは後で上げようと思います。

あと、もうすぐ終わるけど今日は僕の誕生日らしいですよ。

誕生日おめでとう！自分！！！

11日目の担当は今回二度目の登場のジタさん(@fujitapiroc1964)です！

Notes