『ロジカル・ディレンマ ― ゲーデルの生涯と不完全性定理』、Ｊ・Ｗ・ドーソン・Ｊｒ／村上祐子・塩谷 賢 訳、新曜社予約件数がたったの1件だったので、あっけなく借りられた。評伝ベースなので殆ど論理式は出てこないが、少なくとも、ゲーデルの業績に関わ…