Oral history interview with Alonzo Church, 1984 May 17.

ArchivalResource

Oral history interview with Alonzo Church, 1984 May 17.

Church mentions his two years as a National Research Council Fellow, the first year at Harvard, the second year at Goettingen 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 Stephen Kleene, Barkley Rosser, John Kemeny, and Alan Turing. Church tells of his discussions with Kurt Gòˆdel and his work as editor of the Journal of Symbolic Logic.

Transcript : 15 p.

Information

SNAC Resource ID: 7885084

University of Minnesota, Minneapolis

Related Entities

There are 4 Entities related to this resource.

Veblen, Oswald, 1880-1960

http://n2t.net/ark:/99166/w62j6skc (person)

Mathematician. From the description of Oswald Veblen papers, 1881-1960 (bulk 1920-1960). (Unknown). WorldCat record id: 71062378 Biographical Note 1880, June 24 Born, Decorah, Iowa 1898 A.B., University of Iowa, Iowa City, Iowa 1900 A.B...

Princeton University

http://n2t.net/ark:/99166/w63z1x39 (corporateBody)

The collection documents the physical expansion of the University from its earliest period through the acquisition of large tracts of land in the 20th century, including the properties around Carnegie Lake and numerous farms. Early records document transactions with such Princeton University notables as Nathaniel Fitz Randolph, John Witherspoon, Walter Minto, John and Richard Stockton, and John Maclean. For the most part, the papers consist of standard legal documents with detailed descriptions ...

Church, Alonzo, 1903-1995

http://n2t.net/ark:/99166/w6320nsm (person)

Mathematician. From the description of Oral history interview with Alonzo Church, 1984 May 17. (University of Minnesota, Minneapolis). WorldCat record id: 63283803 ...

Aspray, William,

http://n2t.net/ark:/99166/w6ws99bf (person)