A Daily History of Holes, Dots, Lines, Science, History, Math, Physics, Art, the Unintentional Absurd, Architecture, Maps, Data Visualization, Blank and Missing Things, and so on. |1.6 million words, 7500 images, 4.9 million hits| Press & appearances in The Times, Le Figaro, Mensa, The Economist, The Guardian, Discovery News, Slate, Le Monde, Sci American Blogs, Le Pont, and many other places… 5000+ total posts since 2008.

Alonzo Church’s Great Mathematical Logic

JF Ptak Science Books LLC  Post 2

Church’s Mathematical Logic is offered here in a rarely seen format–namely, the one that was produced, printed and distributed by the members of the class.  At the end of the description is an insightful story told by Albert Tucker about the mechanics of producing such a work. 

Church,  Alonzo:  Mathematical Logic, Lectures
by
Alonzo Church,
PrincetonUniversity,
October 1935-January 1936;
  Princeton:
,  1936.  1st edition.    124 leaves  4to.
Original printed wrappers.  Very good condition.     $2,000.00

This is the Library of Congress’ copy, with the original
mimeographed LC callcard laid in. +++Lecture notes of Church’s class taken by
six of his graduate students (Ficken, Landau, Ruja, Singleton, Steenrod, Sweer,
Weyl) in the fall term of 1935 at the Institute for Advanced Studies at
Princeton.

The following is an interview between William Aspray and
Albert Tucker on the publication (so-called) of this work, taken from the Princeton University website on the Princeton mathematics community in the 1930’s. Needless to say, Church was an enormous
influence, changing the entire face of mathematical logic. (It should be noted
to that A.M. Turing came to study with Church at Princeton and particualry in
this course in the fall of 1935.)

Recent Posts

Archives

Categories