recursive function

…The term is now widely used in Japan for the mathematical concept of a recursive function, which is a function that can actually be calculated effectively. In 1931, K. Gödel first formulated it as a primitive recursive function, and used it to prove the incompleteness theorem.

*Some of the terminology explanations that mention "recursive function" are listed below.

Source | Heibonsha World Encyclopedia 2nd Edition | Information

…〈実際effectiveに計算可能な関数〉に関する数学的概念であるリカーシブ関数recursive functionに対して，日本で定着している術語。1931年，K.ゲーデルが原始帰納的関数として初めて定式化し，これを用いて不完全性定理の証明を得た。…

※「recursive function」について言及している用語解説の一部を掲載しています。

出典｜株式会社平凡社世界大百科事典 第２版について | 情報