Register machines compute the recursive functions (The Power and Limits of Logic, 8)
Channel: Greg Restall
Date: 2020-04-10

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.

For more details of the class, see here: https://consequently.org/class/2020/phil30043/