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

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

数理論理学

論理学およびその周辺領域の本

以前,次のような記事を書いた. sokrates7chaos.hatenablog.comこのブログのアクセス先の1割を占める程度には人気があるらしい*1.だが,書いてから時間が立ちすぎてしまい,また,その間にもさまざまな新しい本が出てきたこともあり,少し手直しをしたい…

分離論理入門のようなもの

この記事は https://adventar.org/calendars/4015 の12/21 の記事です. わたしは分離論理について書きました. 日本語で読める分離論理についてのある程度まとまった文書をわたしは知らないので,需要があるのではないかと思って書きました. 今回は「一階…

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

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

(跡地)【備忘録】数理論理学・数学基礎論の本

[注意]さまざま考えた結果この記事をリバイバルすることにした.下の記事に移行中である.移した部分は徐々に消していっている.(2020/08/05 追記) この記事に元々書いてあった分の移行を完了したので,本文は全て消した*1.下のリバイバルした記事を読ん…