Sokratesさんの備忘録ないし雑記帳

思考の流し台. 駄文注意.

集合論

ZF が矛盾した日

Twitter にて「Tychonoff の定理 が選択公理なしで証明された」という主張を見た. どのような体系で証明されたのかよくわからないが,もし,その体系が ZF の部分体系(もしくはそれと同等の証明能力を持つ体系)であって,また仮に証明されたのが事実だとす…

【備忘録】人生で一度は証明を追いたい命題一覧

だいぶ前にTwitterで「人生で一度は証明を追いたい定理」とかいう話題が盛り上がっていた. もとツイートを探そうかお思ったんだが, 見つからなかった(←探し方が悪い)ので誰が言い始めたのかはわからないのだが, 「なるほど, 確かにそういう定理・命題・補題…

数を数えて遊ぼっ! ~その0(前提知識編)~

今日の話はこちら! wreck1214.hatenablog.com 「伝道師になろう」というイベントがあります. 変な名前ですが, 宗教系のイベントではありません*1. 中身は「好きな趣味の話をして, 自分の趣味を伝道しようぜ」というオタクのオタクによるオタクのための会です…

【備忘録】数理論理学・数学基礎論の本

論理学・数学基礎論の本を並べてみた. たぶん, 有名どころはほとんど網羅できているはず(2020年9月15日最終更新). 0. 一般書 一般書と書いたが, 数理論理学の一般書ってあまりない. 強いてあげるならというニュアンス. 板井昌典『情報理論のための数理論理学…