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

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.

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

I read one or two other books which gave me a background in mathematics other than logic.

I had some hesitations about philosophy because, if you worked out a philosophical theory, it was hard to know whether you were going to be able to prove it or whether other theories had just as good a claim on belief.

I went to Princeton from Amherst, where I split my interests between mathematics and philosophy.