1960年のジョン・マッカーシーの論文「RecursiveFunctionsofSymbolicExpressionsandTheirComputationbyMachine,PartI」で示された。
1960年，他在《ACM通讯》发表论文，名为《递回函数的符号表达式以及由机器运算的方式，第一部》（RecursiveFunctionsofSymbolicExpressionsandTheirComputationbyMachine,PartI）。