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.