173 SFS

Please write your name on your paper.

1. What's the goal of, and what two problems are addressed by, the fixed-point operator (or paradoxical combinator) Y(f), or our λ-calculus definition of recursive?
2. What is the mathematical definition of the fixed-point operator (or paradoxical combinator) Y(f)?
3. What is the λ-calculus definition of the fixed-point operator (or paradoxical combinator) recursive?