1. How to represent natural numbers by λ-calculus?

2. Use actor language to represent the two dining philosopher problem.