I don’t think Post often came to Princeton during the ’30s. I can’t remember ever seeing him in Princeton. – Stephen Cole Kleene
