Nuprl Definition : aa_3n_step
aa_3n_step(t) == 
f,n. if (n =
1) then 0 if (n rem 2 = 0) then 1 + (f (n 
2)) else f (1 + (3 * n)) fi
Definitions occuring in Statement :
eq_int: (i = j),
ifthenelse: if b then t else f fi ,
apply: f a,
lambda: x.A[x],
remainder: n rem m,
divide: n m,
multiply: n * m,
add: n + m,
natural_number: $n
FDL editor aliases :
aa_3n_step
aa\_3n\_step(t) ==
\mlambda{}f,n. if (n =\msubz{} 1) then 0 if (n rem 2 =\msubz{} 0) then 1 + (f (n \mdiv{} 2)) else f (1 + (3 * n)) fi
Date html generated:
2013_03_20-AM-09_54_54
Last ObjectModification:
2012_11_27-AM-10_33_31
Home
Index