読者です 読者をやめる 読者になる 読者になる

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

思考の流し台. 駄文注意. 数学以外の話も多い.

数理論理学

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

論理学・数学基礎論の本を並べてみた. たぶん, 有名どころはほとんど網羅できているはず(2016年10月4日最終更新). 0. 一般書 一般書と書いたが, 数理論理学の一般書ってあまりない. 強いてあげるならというニュアンス. 竹内外史『集合とは何か』講談社 新装…

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

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