GLG: The Recursive Functions | Department of Mathematics

GLG: The Recursive Functions

Event Information
Event Location: 
GAB 473
Event Date: 
Thursday, February 6, 2020 - 3:45pm

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

Alex Creiner

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.

Best,

Cody Olsen