第25回数学カフェ『公理的集合論』のまとめ
無理を承知で、連続体仮説の独立性証明を2日で語る回を請けおいました。みなさんに熱心に聴いていただけて、しゃべった側としてとても幸せです。ありがとうございました。ハッシュタグと自分の発言だけでまとめを構成したので、漏れがあればご指摘いただければ幸いです。
なかけん@ノアの方舟探索ゲー制作
@Nakakengch
#math_ch_cafe 「有限な順序数を自然数と呼ぶ」と思っていたが「有限とはある自然数と対等なこと」なのでこれ循環論法じゃんって気付いた(ちゃんと自然数の定義聞けてよかった)
2018-06-03 20:10:00
ゼルプスト殿下
@tenapyon
久々の二万歩越えで宿に着き 皆に感謝の幸せな夜 #短歌やったんか pic.twitter.com/7D1eWlZBJl
2018-06-03 22:50:40
拡大