Nuprl Definition : aa_3n_plus_1
aa_3n_plus_1(m) == fix((
f,n. if (n =
1) then 0 if (n rem 2 = 0) then 1 + (f (n 
2)) else f (1 + (3 * n)) fi )) m
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_plus_1
aa\_3n\_plus\_1(m) ==
fix((\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 )) m
Date html generated:
2013_03_20-AM-09_54_51
Last ObjectModification:
2012_11_27-AM-10_33_30
Home
Index