Nuprl Definition : aa_fib_count

aa_fib_count(m) ==
  fix((f,n. if (n = 0) (n = 1)
            then <1, 0>
            else <(fst((f (n - 1)))) + (fst((f (n - 2)))), (snd((f (n - 1)))) + (snd((f (n - 2))))>
            fi )) 
  m


Definitions occuring in Statement :  eq_int: (i = j),  bor: p q,  ifthenelse: if b then t else f fi ,  pi1: fst(t),  pi2: snd(t),  apply: f a,  lambda: x.A[x],  pair: <a, b>,  subtract: n - m,  add: n + m,  natural_number: $n
FDL editor aliases :  aa_fib_count
aa\_fib\_count(m)  ==
    fix((\mlambda{}f,n.  if  (n  =\msubz{}  0)  \mvee{}\msubb{}(n  =\msubz{}  1)
                        then  ə,  0>
                        else  <(fst((f  (n  -  1))))  +  (fst((f  (n  -  2)))),  (snd((f  (n  -  1))))  +  (snd((f  (n  -  2))))>
                        fi  )) 
    m


Date html generated: 2013_03_20-AM-09_57_17
Last ObjectModification: 2012_11_27-AM-10_33_49

Home Index