『はじめての数理論理学』という本を読み始めた。
図書館で数理論理学の書籍を探していくつか手に取ってみたけど、この本がとっつきやすそうだった。命題論理から始まり、証明法へ続き、後ろの方では意味論、健全性、完全性という言葉が並んでいるのも見えた。
こういうことについて大学などで学んでないから、本を読んで学んでいきたい。
関連する話で、最近発売された『ゼロから始める Lean 言語入門』という書籍も購入した。Leanは定理証明支援系であり、かつ関数型プログラミング言語でもあるものらしい。今すぐ読めるかわからないけど、関心があるうちに買っておいた。そのうち読みたい。
