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

シークエント計算(Sequent Calculus)とは、 ドイツの論理学者Gerhard Karl Erich Gentzenが定式化した LK(Logischer K...

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

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

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

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

原題は、 ALICE IN PUZZLE-LAND: A Carrollian Tale for Children Under Eighty ルイス・キャロルの生誕150...

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

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