- g (Y g) 4
- (λfn.(1, if n = 0; and n·(f(n-1)), if n>0)) (Y g) 4
- (λn.(1, if n = 0; and n·((Y g) (n-1)), if n>0)) 4
- 1, if 4 = 0; and 4·(g(Y g) (4-1)), if 4>0
- 4·(g(Y g) 3)
- 4·(λn.(1, if n = 0; and n·((Y g) (n-1)), if n>0) 3)
- 4·(1, if 3 = 0; and 3·(g(Y g) (3-1)), if 3>0)
- 4·(3·(g(Y g) 2))
- 4·(3·(λn.(1, if n = 0; and n·((Y g) (n-1)), if n>0) 2))
- 4·(3·(1, if 2 = 0; and 2·(g(Y g) (2-1)), if 2>0))
- 4·(3·(2·(g(Y g) 1)))
- 4·(3·(2·(λn.(1, if n = 0; and n·((Y g) (n-1)), if n>0) 1)))
- 4·(3·(2·(1, if 1 = 0; and 1·((Y g) (1-1)), if 1>0)))
- 4·(3·(2·(1·((Y g) 0))))
- 4·(3·(2·(1·((λn.(1, if n = 0; and n·((Y g) (n-1)), if n>0) 0))))
- 4·(3·(2·(1·(1, if 0 = 0; and 0·((Y g) (0-1)), if 0>0))))
- 4·(3·(2·(1·(1))))
- 24
Don't like ads? PRO users don't see any ads ;-)
Text below is selected. Please press Ctrl+C to copy to your clipboard. (⌘+C on Mac)
create a new version of this paste
RAW Paste Data