可表示基本递归函数的演算中模式匹配的不可决性
摘要：多态lambda演算（如Girard的F系统）和支持归纳类型（如Gödel的T系统）的演算中，我们通过将Hilbert的第十个问题转化为模式匹配问题来证明其是不可判定的。更一般地，只要原始递归函数在一个准确的意义上可以被公平地表示，模式匹配在所有这些演算中也是不可判定的。
作者：Gilles Dowek
论文ID：2306.05876
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-12