being official speaker at the REU

[krasnoludek]

This week I am officially the guest speaker for the REU. Yesterday I gave a talk on Ax's Theorem, which is IMO one of the best uses of model theory that you can show undergraduates without a background in logic. Based on a suggestion from the last time I gave this talk, I geared things to give more explanation of the model theory rather than

Comments

[quique12]

I liked the Cove a lot. Last year we liked the band that played so much, that we returned a month later to see them play. One of the REU students bought the CD of the band that played and we would sing that song all the time. Of course, if Nathan is involved in any group activity, it is guaranteed to be fun.

[krasnoludek]

Yeah, Chapman mentioned how much Nathan liked this place. I'd be happy to go back there again.