User contributions for Jan jelo
Jump to navigation
Jump to search
21 December 2024
- 11:4611:46, 21 December 2024 diff hist +45 Pyline →Brainfuck interpreter current
- 11:3711:37, 21 December 2024 diff hist +1,199 Pyline →Brainfuck interpreter
19 December 2024
- 13:0313:03, 19 December 2024 diff hist +134 BFInfinity →Commands
- 09:3209:32, 19 December 2024 diff hist +114 Pyline No edit summary
- 09:0209:02, 19 December 2024 diff hist +114 Pyline →Truth machine
17 December 2024
- 13:3813:38, 17 December 2024 diff hist +503 I/D machine →Implementations current
- 09:5709:57, 17 December 2024 diff hist +1 User:Jan jelo/TC proof to partial recursive function →functions current
- 09:5409:54, 17 December 2024 diff hist +426 Church numeral →Arithmetic
- 09:4709:47, 17 December 2024 diff hist +1 Scott numeral →Examples current
- 09:3509:35, 17 December 2024 diff hist +1 Parigot numeral →Examples
- 08:3408:34, 17 December 2024 diff hist +7 Recs →R current
- 08:3308:33, 17 December 2024 diff hist +1,551 N 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..."
- 07:2507:25, 17 December 2024 diff hist +4 User:Jan jelo/TC proof to partial recursive function →define
- 07:2407:24, 17 December 2024 diff hist +3 User:Jan jelo/TC proof to partial recursive function →define
14 December 2024
- 14:5514:55, 14 December 2024 diff hist 0 User:Jan jelo/TC proof to partial recursive function →proof
13 December 2024
- 14:1414:14, 13 December 2024 diff hist +1 Recs →Reduce
- 14:0814:08, 13 December 2024 diff hist +2 User:Jan jelo →Proof current
- 14:0514:05, 13 December 2024 diff hist −2 User:Jan jelo →Proof
- 14:0414:04, 13 December 2024 diff hist +4 User:Jan jelo/TC proof to partial recursive function →proof
- 14:0114:01, 13 December 2024 diff hist +169 User:Jan jelo/TC proof to partial recursive function →proof
- 13:5513:55, 13 December 2024 diff hist +143 User:Jan jelo No edit summary
- 13:5013:50, 13 December 2024 diff hist +4 User:Jan jelo/TC proof to partial recursive function →proof
- 13:4613:46, 13 December 2024 diff hist +3,805 N 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..."
- 11:5711:57, 13 December 2024 diff hist −3 Recs →C
12 December 2024
- 13:3913:39, 12 December 2024 diff hist +4 Scott numeral →Convert between Church numeral
- 13:3913:39, 12 December 2024 diff hist +3 Church numeral →Arithmetic
- 13:3813:38, 12 December 2024 diff hist −25 Scott numeral No edit summary
- 13:3613:36, 12 December 2024 diff hist +360 Scott numeral No edit summary
- 13:2213:22, 12 December 2024 diff hist +1 Scott numeral →Predicate
- 13:2113:21, 12 December 2024 diff hist +19 Scott numeral No edit summary
- 13:1913:19, 12 December 2024 diff hist +1,342 N 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..."
- 11:0111:01, 12 December 2024 diff hist +3 Recs →Function
- 11:0011:00, 12 December 2024 diff hist +1 Recs →Function
- 10:5410:54, 12 December 2024 diff hist +80 Recs No edit summary
- 09:3709:37, 12 December 2024 diff hist −15 Recs →Interpreter
- 09:2909:29, 12 December 2024 diff hist +17 N User talk:Jan jelo Created page with "Here is talk page" current
- 09:2109:21, 12 December 2024 diff hist +56 Recs →Interpreter
- 08:5408:54, 12 December 2024 diff hist +4 Recs No edit summary
- 08:5008:50, 12 December 2024 diff hist +11 Language list →R
- 08:4408:44, 12 December 2024 diff hist +25 Recs →Interpreter
- 08:4108:41, 12 December 2024 diff hist −93 Recs →Interpreter
- 08:3708:37, 12 December 2024 diff hist +6,340 Recs No edit summary
- 07:5207:52, 12 December 2024 diff hist +1 User:Jan jelo →Esolangs
- 07:5107:51, 12 December 2024 diff hist +10 User:Jan jelo →Esolang
- 07:5007:50, 12 December 2024 diff hist −2 Recs →Example
- 07:5007:50, 12 December 2024 diff hist −1 Recs →Turing Completeness
- 07:4807:48, 12 December 2024 diff hist +2 Recs →fn
- 07:4607:46, 12 December 2024 diff hist +33 Recs No edit summary
- 07:4307:43, 12 December 2024 diff hist +117 Recs Undo revision 148085 by Jan jelo (talk) Tag: Undo
- 07:4307:43, 12 December 2024 diff hist −117 Recs →pair left right Tag: Reverted