数学基礎論アドベントカレンダー2022「1989年のGoI」

drive.google.com

　おるうぇ (@Alwe Logic@twitter) さん主催の「数学基礎論アドベントカレンダー」の22日目の記事です。私は哲学科の学生です。あまり数学基礎論ぽくなくてごめんなさい。
　予備知識はシーケント計算とカット除去定理とカリー=ハワード同型を薄ら知っていれば大丈夫です。行列の計算が出てきますがただの掛け算だけです。哲学の知識も不要です。

　Jean-Yves Girardの「相互作用の幾何学（GoI, Geometry of Interaction）」についての勉強成果です。