■

タイトル:

構成と解体：原始再帰関数の計算と推論の共通点

アブストラクト:

推論と計算はよく似ていると言われ、多くの共通点が指摘されています。その中で、本レクチャーでは、「必ず有限ステップで答を出さなければならない」という性質に着目し、計算と推論（証明）がともに、有限ステップの「構成」と「解体」という操作に分解でき、本質として同じで表現の仕方が異なるのだということを紹介します。

資料

参考資料

www.academia.edu

中継