Yes, the lambda calculus can. They are equivalent.
But Turing's machines gave us the model to think that way. In my opinion.
Btw: I think your site would look better with left justified text. Right justified looks best only for long paragraphs (books).
Yes, the lambda calculus can. They are equivalent.
But Turing's machines gave us the model to think that way. In my opinion.