ワシって自分が専門的にやってる分野はごく狭い範囲しか読んでいなくて関係ない哲学分野の事ばかり書いているなあと思い、自分の専門*1である線形論理（を中心とした証明論と計算の理論）に近い所の読書をする事にした。 リーディングス 数学の哲学―ゲーデル…