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