3 ms·

Lambda calculus is beautiful, but modern computers are not lambda machines.

• sdp 18y ago
  Is there a problem which can be solved in Lambda Calculus that cannot be solved in a Turing Machine?
  • mojuba 18y ago
    A Lambda machine can be implemented using a Turing machine, but not the other way around, which means, Lambda calculus is a subset. Correct me if I'm wrong.
    • staticshock 18y ago
      nope, they're turing equivalent. read up on the church-turing thesis.
      • eru 18y ago
        They are lambda isomorph.