Syntactic Systems Cannot See Semantic Invariants

该论文源自一个逻辑学中的小问题：研究者Hetzl和Vierling曾询问两种归纳理论——开放归纳（open induction）与子句集循环（clause set cycles）——是否不可比较。他们证明了其中一个方向，但留下了另一个方向未

历史摘要 · 未重新核验 · arXiv cs.CR