in reply to
Re: Programming and math
in thread Programming and math
Lambda calculus for functional programming won't help more then Turing Machine for imperative programming. This is just the simplistic model for proving some theory.
Update: This is just a comparison. I really do not say that lambda calculus or Turing Machines are useless. To the contrary - as I've explained somwhere else in this thread I believe it is quite importand to know some theory - because only theory would give you sound reasoning why something is impossible.