When I got to Princeton I made a point of attending the Philosophy Club and listening to the lectures, but I didn't get involved in any discussions in those clubs. I guess after the first year, I dropped that.

It wasn't until my second year that I got to actually work with Church.

I went to Princeton in the fall of 1930 as a half-time instructor.

Here at Wisconsin we didn't get an undergraduate course in mathematical logic until the '60s.

I'm sure Church got some of his ideas from this trip to Europe.

When I got to Princeton I made a point of attending the Philosophy Club and listening to the lectures, but I didn't get involved in any discussions in those clubs. I guess after the first year, I dropped that.

I don't think Post often came to Princeton during the '30s. I can't remember ever seeing him in Princeton.