American - Mathematician | January 5, 1909 - January 25, 1994
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.
Stephen Cole Kleene
GoodPhilosophyYouKnowBeliefOut
I don't think Post often came to Princeton during the '30s. I can't remember ever seeing him in Princeton.
ThinkRememberSeeingHimPostEver
Here at Wisconsin we didn't get an undergraduate course in mathematical logic until the '60s.
LogicHereGetWisconsinCourse
For example, the philosophers who were interested in logic were probably rather logical for mathematicians. But the ASL got us together, so we could talk to each other and publish in the same journal.
TogetherLogicJournalTalkSameUs
As I say, there was this movement to try to bring philosophers and mathematicians together into an organization where they would talk to each other. An organization wasn't effective unless you had a journal. That's about all I know.
TogetherOrganizationYouKnowSay
And what I learned in Church's course. He trained us intensively in his new system, which he was just developing. Two papers were presented. I think the second paper wasn't published until well after the course was finished.
ThinkChurchNewTwoSystemWell
I think that after Church got his Ph.D. he studied in Europe, maybe in the Netherlands, for a year or two.
ThinkChurchYearTwoEuropeGot
Copyright © 2024 QuotesDict Stephen Cole Kleene quotes