All public logs

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:33, 17 December 2024 Jan jelo talk contribs created page Parigot numeral (Created page with "A '''Parigot numeral''' is a natural number encoded into Lambda calculus. It is related to primitive recursion. In the parigot numeral,there are <pre> 0 g h = h (succ n) g h = g n (n g h) </pre> and let <code>R(g,h)</code> be a primitive recursive function with one parameter,then <pre> R(g,h)(0) = h() R(g,h)(S(xn)) = g(xn,(R(g,h)(xn))) </pre> It can be observed that <code>R</code> is equivalent to <code>λg.λh.λn.n g h</code> in parigot numeral. == Examples == numb...")
• 13:46, 13 December 2024 Jan jelo talk contribs created page User:Jan jelo/TC proof to partial recursive function (Created page with "This article comes from my article in Zhihu. == define == zero function <pre> (Z x1 x2 x3...) = 0 </pre> successor function <pre> (S x) = x+1 </pre> projection <pre> ((P m n) x1 x2...xn...xm) = xn </pre> function compose <pre> ((C f g1 g2...gm) x1 x2...xn) = (f (g1 x1 x2...xn)(g2 x1 x2...xn)...(gm x1 x2...xn)) </pre> primitive recursive <pre> ((R h g) x1...x_n-1 0) = (h x1...x_n-1) (base case) ((R h g) x1...x_n-1 xn) = (g x1...x_n-1 ((R h g) x1...x_n-1 xn-1)) (recursive...")
• 13:19, 12 December 2024 Jan jelo talk contribs created page Scott numeral (Created page with "'''Scott numeral'''(Mogensen-Scott encoding) is a representation of natural number in Lambda calculus numbers <pre> 0 = λs.λz.z 1 = λs.λz.s 0 = λs.λz.s (λs.λz.z) 2 = λs.λz.s 1 = λs.λz.s (λs.λz.s (λs.λz.z)) </pre> successor function and precedence function <pre> succ = λn.λs.λz.s n pred = λn.n (λx.x) 0 </pre> === Arithmetic === First,we need a fixed point combinator <pre> fix = (λx.x x)(λf.λx.x(f f x)) </pre> additive function <pre> add = fix...")
• 09:29, 12 December 2024 Jan jelo talk contribs created page User talk:Jan jelo (Created page with "Here is talk page")
• 07:35, 12 December 2024 Jan jelo talk contribs created page Recs (Created page with "'''recs''is a esolang created by User: Jan jelo.The whole program is a expression,interpreter evaluate it and print the result. It combines partial recursive function and lambda calculus,and also some extensions. === Expression === A expression can be <code><variable></code> <code><natural number></code> <code><function></code> <code>(list <expression> <expression>...)</code> <code>(<function> <expression> <expression>...)</code> <code>(let <name> <expression>....")
• 06:26, 11 December 2024 Jan jelo talk contribs created page User:Jan jelo (Created page with "here is jan jelo. === Esolang === Def run(t):")
• 06:14, 11 December 2024 Jan jelo talk contribs created page Def run(t): (Created page with "'''def run(t):''' is a esolang created by User: Jan jelo,it's a esoteric subset of Python. === Characters === There are only 9 characters in '''def run(t):''' <code>d</code><code>e</code><code>f</code><code>r</code><code>u</code><code>n</code><code>t</code><code>(</code><code>)</code><code>:</code><code> </code><code>\n</code> This allows to define function and return a value. === Turing Completeness === in '''def run(t)''',the recursive depth limit has been removed,...")
• 04:16, 11 December 2024 User account Jan jelo talk contribs was created