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

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

集合論

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

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

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

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

数を構成して遊ぼっ~All concrete mathematical objects are specific sets. ~ 資料公開

皆さん, こんにちは. 一か月ほど前ですが, 次のような発表をしてきました. www.nicovideo.jp 迷ったのですが, このときに使ったスライドのデータ(に少しだけ手を加えたもの)を公開します. www.dropbox.com 正直もっと良いpdfや本が他にある中で, 公開する意…