Nuprl Definition : aa_3n_plus_1_wrapped

aa_3n_plus_1_wrapped(m) ==
  fix((f,n. if (n = 1) then inr 0  if (n rem 2 = 0) then inl (1 + (f (n  2)))  else inl (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],  inr: inr x ,  inl: inl x ,  remainder: n rem m,  divide: n  m,  multiply: n * m,  add: n + m,  natural_number: $n
FDL editor aliases :  aa_3n_plus_1_wrapped
aa\_3n\_plus\_1\_wrapped(m)  ==
    fix((\mlambda{}f,n.  if  (n  =\msubz{}  1)  then  inr  0 
                        if  (n  rem  2  =\msubz{}  0)  then  inl  (1  +  (f  (n  \mdiv{}  2))) 
                        else  inl  (f  (1  +  (3  *  n))) 
                        fi  )) 
    m


Date html generated: 2013_03_20-AM-09_56_44
Last ObjectModification: 2012_11_27-AM-10_33_42

Home Index