Email or username:

Password:

Forgot your password?
Top-level
Desttinghim

@neauoire my problem with the "lambda calculus is superior" argument is that AFAIK there are no computing machines that are based on lambda calculus. Turing machines are a lot more straightforward as a basis for constructing a computing device. Lambda calculus on the other hand requires a fairly deep understanding of mathematics and mathematical notation to understand well, and doesn't have physical analogues in the same way.

Anyways, I could be wrong and just less familiar with lambdas.

1 comment
Devil Lu Linvega

@desttinghim I understand your issue with it, and I agree. I'm not sure how this is to be bridged. I'm only beginning to understand how this maps to computer hardware myself, and maybe how I could explain it to someone else, but a lot of the documentation for lambda calculus implementation out there is totally opaque - Or, I'm looking in the wrong places.

Go Up