最近読んだ本を紹介するぜ！ 森岡正博・蔵田伸雄編著『人生の意味の哲学入門』 掌田津耶乃『作りながら学ぶWebプログラミング実践入門』 次田瞬『意味がわかるAI入門』 立中順平『たてなか流クイックスケッチ』 森岡正博・蔵田伸雄編著『人生の意味の哲学入…

とある論文を読んでいて余帰納法の知識が必要になったので調べた。その論文ではJacobs & Rutten "A tutorial on (co)algebras and (co)induction"で入門するとよいとあったのだが、同論文のような圏と関手を使った議論はそんなに必要そうではなかった。 で、…

※この記事はエイプリルフールのビッグウェーブに乗り遅れないように焦って書いたので、内容が凄くテキトーです。のちのちちゃんと勉強して推敲してアップデートします。 「私は嘘つきです」というやつです。論理学っぽく書くと「この文は偽である」。 (1)「…

ロジックを勉強していたら誰もが(?)出くわす束縛変数の名前の付け替えのやつをまとめたいのよ。 以下のことを書いていて気づいたのだが、"Basic Proof Theory*1"（以下：BPT）には式 expressions や論理式 formulas の定義がない。subformulas の定義はある…

Javaの勉強をしております。 Javaはオブジェクト指向言語である。オブジェクト指向プログラミング（Object-Oriented Programming）はいま多くの開発現場で使われている主流のプログラミングスタイルだと思われるが、これは哲学的にも興味深いのではなかろう…

岡本賢吾先生は東京都立大学の哲学の教授で、専門は論理学・数学の哲学と情報の哲学とある（https://www.comp.tmu.ac.jp/philosophy/contents/staff/okamoto.html）。中央公論新社『哲学の歴史』の分析哲学編である第11巻で、ヒルベルトやブラウワーを中心と…

完全性定理も中途半端なところで停滞しているのに、新シリーズとしてカット除去定理を考える。カット除去定理もロジックの教科書ではよく登場していて*1、その証明は完全性定理以上に教科書ごとに個性が出ている。そういうのを比較考察していきたいのだけれ…