線形論理。 1987年にフランス人の論理学者Jean-Yves Girardが発表した、 古典論理(classical logic)のように双対性を満たしつつも 直感主...

何やら堅苦しい名前の本ですが、内容はすこぶるおかしく、おもしろい。 この本の内容は、書名からもわかるとおり論理学を説明する本です。ただし、大学の講義で使うような本ではなく...

主にトポス(topos)を題材にして、 圏論(category theory)に基づいて展開されている 数理論理学(論理を数学によって研究する学問領域)の成果について 解...

オモチャのような論理学をつくることからはじめ 徐々に拡張していきながら 論理学(formal logic)を、 段階を踏んでお勉強できるよう それがどうできているかという...

原題は、 Forever Undecided: A Puzzle Guide to Gödel レイモンド・Ｍ・スマリヤン著の 論理パズル本にして ゲーデルの不完全性...

ゲーデルの生誕100年にあたる今年2006年を記念して、 20世紀の近代論理学の発展・成果を 取りまとめその歴史的な位置づけを試みようという 全4巻シリーズ。 東京大学出...

2005年に信州大工学部教授の中村八束氏らが Jordan曲線定理(「閉じた曲線が平面を、内と外とに分ける」という 直感的には明らかな定理)の (厳密な最終)証明( ftp://mizar....

原題は、 Introduction to the Theory of Computation オートマトンと(形式)言語の理論、 計算可能性の理論、 及び計算の複雑さの...