Register machines compute the recursive functions (The Power and Limits of Logic, 8)

A class video for an advanced undergraduate unit on the power and limits of first order predicate logic, taught at the University of Melbourne.

In this video I sketch the proof that the register machines compute all and only recursive functions.