曇りなき眼で見定めブログ
id:cut_elimination
ジラール入門 逆転の論理学者(Mathematical Logic Advent Calendar 2024)
Mathematical Logic Advent Calendar 2024の16日目の記事として「ジラール入門 逆転の論理学者」というのを書きました。ジャン=イヴ・ジラールの理論について調べたことを徒然なるままに書いてたのですが、次第に「逆転の発想」というキーワードが浮かんでこれを副題にしました。あまり数理論理学っぽくない観念的な内容な…