今日のJason Stanleyゼミ

再開しますって書いてから何日空けてるんだか。ま、それはともかく、今日のJasonゼミはRichard Heckがゲストに来て『算術の基本法則』についていろいろと話をした。ここで再現できるほど理解できなかったけど、stipulationと理論のconsistencyの関係とか、シーザー問題とか、論理的表現のdenotationが話題になってたことは分かった。