• What’s a primitive recursive function? • How to prove results about all p.r. functions • The p.r. functions are computable ... • ...but not all computable functions are p.r. • The idea of a characteristic function, which enables us to define ... • ...the idea of p.r. properties and relations.