This week in the Graduate Logic Group, our speaker will be Alex Creiner. He will be giving a talk about recursive functions. We will meet at 3:45 on Thursday, February 6th in GAB 473. All are welcome.
mso-bidi-font-family:Calibri">The Recursive Functions
We will define the recursive functions and derive basic results about them, with the intention of eventually showing the equivalence between them and the Turing machine model of computation.
I hope to see you all at the talk.