All public logs
Jump to navigation
Jump to search
Combined display of all available logs of Esolang. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 08:49, 1 June 2025 Xysdd talk contribs created page General recursive function (Created page with "'''General recursive functions''' are functions from natural numbers to natural numbers. General recursive functionsare equivalent to functions computable by Turing machines. ==Definition== A general recursive function is constructed by basic functions and operators. ===Basic functions=== * Zero: Z(x) = 0 * Successor: S(x) = x+1 * Projection: P<sub>i</sub><sup>n</sup>(x<sub>1</sub>, ..., x<sub>n</sub>) = x<sub>i</sub> ===Operators=== * Composition : f(x<sub>1</sub>,...")
- 02:29, 26 October 2022 User account Xysdd talk contribs was created