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

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

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

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

原題は、 The Chess Mysteries of Sherlock Holmes: Fifty Tantalizing Problems of Chess Dete...

原題は、 TO MOCK A MOCKINGBIRD 前半(1～2部)は初等的なパズルから手の混んだメタパズルまでが、 後半(3～6部)は数学パズルとして Combin...

原題は、 SATAN, CANTOR, AND INFINITY and other mind-boggling puzzles レイモンド・Ｍ・スマリヤン著の 論理パ...

原題は、 5000B.C. : and Other Philosophical Fantasies 論理学者が描く奇妙な世界に 基礎的哲学問題が浮び上がる。 ジョーク、...

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

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

英国発ラテラルシンキング パズル(水平思考推理ゲーム―出題者の 出す謎を複数の解答者で様々な推理を働かせて 解くゲーム)のドリル本のシリーズ。 [ポール・スローンのウミ...

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

原題は、 The Unknowable ↓にあるような http://www.iba.k.u-tokyo.ac.jp/... (講義)内容が書かれていて LISPで...

ほんとはoの上にウムラウトがつく。 1906.4.28～1978.1.14 オーストリア・ハンガリー王国（現在のチェコスロバキアのブルノー？）で生まれる。ウィーン大学で数...