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.

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

I think Veblen had an interest in logic.

I think that after Church got his Ph.D. he studied in Europe, maybe in the Netherlands, for a year or two.

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

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.

In the fall term of 1933-34 I was on my family farm in Maine.