原始递归函数

数学的基础

• 
  在基础数学:递归定义

  …年代和替换)被称为原始递归。哥德尔使用这个概念做出精确的“有效可列举的他是什么意思。“一组自然数是递归可枚举的如果它包含所有f(n),n∊ℕ,f∶ℕ→ℕ是一种原始…

  阅读更多