3 ms·

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.