×

Topology and logic at Princeton. (English) Zbl 0682.01016

A century of mathematics in America, Pt. II, Hist. Math. 2, 217-221 (1989).
[For the entire collection see Zbl 0659.00007.]
The paper, as a portion of an invited lecture, deals with the history of emergence of two fields at Princeton, i.e. Algebraic topology and Mathematical logic. It all started with the appointment of Oswald Veblen as ‘preceptor’ at Princeton which triggered a chain of academic pursuits and research activities there e.g. Veblen’s work and his famous book, Alexander’s invariance proof, his duality and his horned sphere and the Lefschetz focal point index. Oswald Veblen, in his retiring address as President of the AMS, asked mathematicians to take over formal logic and develop it. This inspired A. A. Bennet and Alonzo Church to take a lead. Lateron, Church and his Ph. D. students, made notable contributions in the field of logic including \(\lambda\)-calculus.
Reviewer: M.K.Saxena

MSC:

01A74 History of mathematics at institutions and academies (non-university)
01A60 History of mathematics in the 20th century

Citations:

Zbl 0659.00007