Axioms of Infinity in Church’s Type Theory
msra(2001)
摘要
In his 1940 paper Church gave an elegant formulation of the simple theory of function-types. Higher order arithmetic is represented
in it almost without artifice; the only artificial device used is a particular formulation of the axiom of infinity. We discuss
the significance of this axiom, and possible alternatives.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要