I don't think Post often came to Princeton during the '30s. I can't remember ever seeing him in Princeton.
Stephen Cole KleeneWhen 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.
Stephen Cole KleeneI think that after Church got his Ph.D. he studied in Europe, maybe in the Netherlands, for a year or two.
Stephen Cole Kleene