Hilbert, Zermelo und die Institutionalisierung der mathematischen Logik in Deutschland

Abstract

AbstractThis paper presents the history of the first German lectureship for mathematical logic based on a ministerial commission, to which the Göttingen mathematician Ernst Zermelo was appointed in 1907. The lectureship is shown as imbedded in the intellectual history of mathematical logic which was at that time determined by the discussion of the set theoretical and logical paradoxes. Although Zermelo's early set theoretic papers can be regarded, and were in fact regarded in the Göttingen mathematicians' application for the lectureship, as contributions to mathematical logic, the close connection between set theory and logic was at that time not evident. It is shown, however, that such “internal” motives were not the only reasons for proposing the lectureship, since the application was also highly influenced by personal and institutional factors and the attempt to find a paid position for Zermelo at the University of Göttingen. In addition, Zermelo's lectureship is presented in the context of the history of academic teaching in mathematical and symbolic logic with an overview of German lecture courses in this topic in the period between 1830 and 1915. The results are correlated with the reception of George Boole's algebra of logic and other symbolic logical systems in Germany at that time. Zermelo's lectureship is regarded as the first step towards an institutionalization of mathematical logic as a subdiscipline of mathematics. This step is interpreted by critically applying the results of Hubert Laitko's and Martin Guntau's considerations on the genesis of scientific disciplines.