最近、次のような HP があることを知りました。
- The Princeton Mathematics Community in the 1930s: An Oral-History Project
ここを見ると、当時 Princeton Univ. で過ごしたことのある logician が何人か interview を受けて当時を回想している記録が公表されています。無料で誰でも読めるようになっています。いくつか title と abstract を引用しておきます。
The Princeton Mathematics Community in the 1930s
Transcript Number 5 (PMC5)ALONZO CHURCH
Alonzo Church is interviewed by William Aspray on 17 May 1984 at the University of California at Los Angeles.
Church mentions his two years as a National Research Fellow, the first year at Harvard, the second year at Gottingen and Amsterdam (where he worked with L.E.J. Brouwer). Church talks at greater length about his years as a graduate student at Princeton. He was especially influenced by Oswald Veblen. Church talks about his first years of teaching at Princeton and about his graduate students, including Steve Kleene, Barkley Rosser, John Kemeny, and Alan Turing. Church tells of his discussions with Kurt Gödel and of his work as editor of the Journal of Symbolic Logic.
The Princeton Mathematics Community in the 1930s
Transcript Number 19 (PMC19)LEON HENKIN and ALBERT TUCKER
This is an interview of Leon Henkin and Albert Tucker on 18 May 1984 in Berkeley, California. The interviewer is William Aspray.
Tucker and Henkin talk about John Addison, who became Alonzo Church's son-in-law. As an undergraduate at Princeton Addison became committed to mathematics as a result of taking Church's course in logic. Tucker tells how he helped bring it about that Addison did graduate work at the University of Wisconsin with Steve Kleene.
The Princeton Mathematics Community in the 1930s
Transcript Number 23 (PMC23)STEPHEN C. KLEENE and J. BARKLEY ROSSER
This is an interview with J. Barkley Rosser and Stephen C. Kleene in Madison, Wisconsin on 26 April 1984. The interviewer is William Aspray of the Charles Babbage Institute.
Both Kleene and Rosser explain how they came to do graduate work at Princeton and how they came to be interested in logic. Both describe taking courses from Alonzo Church and Kurt Gödel. Kleene and Rosser discuss some of the other logicians doing work at that time, including W.V.O. Quine and Haskell Curry, and describe their Ph.D. research under Church. Kleene and Rosser talk about their own contributions and those of Church, E.L. Post, and Alan Turing to the clarification of the notion of computability. They talk, too, about the founding of the Journal of Symbolic Logic.
この他にも、Gödel や Turing の思い出を語っている transcript があるみたいです(Interviewee: John Kemeny)。
