P is for Practical | |
PerlMonks |
Re: Re: Programming and mathby zby (Vicar) |
on Aug 11, 2003 at 10:41 UTC ( [id://282816]=note: print w/replies, xml ) | Need Help?? |
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.
In Section
Meditations
|
|