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

ブログは同人誌の一種だと思って書いてる.書きたいことを書いている.駄文注意.

数理論理学

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

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

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

論理学・数学基礎論の本を並べてみた. たぶん, 有名どころはほとんど網羅できているはず(2021年1月2日最終更新). 謎のリンク切れなどを修正した(2021年1月2日追記). 0. 一般書 一般書と書いたが, 数理論理学の一般書ってあまりない. 強いてあげるならという…

コンパクト性定理とTychonoffの定理

どうも仮面の数学者です. 気が付いたら一か月以上このBlogを放置していました. ずぼらで申し訳ない...... 今回は数学基礎論サマースクール2015にて, 教えてもらった「(命題論理の)コンパクト性定理」を「Tychonoffの定理」から証明する話です. 部屋の大掃除…