Nuprl Definition : super-fact
(n)!! == primrec(n;1;λi,j. ((i + 1)! * j))
Definitions occuring in Statement :
fact: (n)!,
primrec: primrec(n;b;c),
lambda: λx.A[x],
multiply: n * m,
add: n + m,
natural_number: $n
Definitions occuring in definition :
primrec: primrec(n;b;c),
lambda: λx.A[x],
multiply: n * m,
fact: (n)!,
add: n + m,
natural_number: $n
FDL editor aliases :
super-fact
Latex:
(n)!! == primrec(n;1;\mlambda{}i,j. ((i + 1)! * j))
Date html generated:
2018_05_21-PM-01_04_28
Last ObjectModification:
2018_01_28-PM-02_13_07
Theory : num_thy_1
Home
Index