Karl Grandjot and Dedekind's recursion theorem (Q292282)

Karl Grandjot became PhD under Edmund Landau in 1922, went to Chile in 1929 to modernise the mathematical and physical education of the country, and ceased to publish in international journals from that day on. A biographical paper of this mathematician from Göttingen appeared in 2004 in the Spanish literature and the present paper tries to recap the contents of the Spanish paper in order to revive interest in this mathematician in his homeland. Grandjot is mentioned in the preface of Landau's famous \textit{Grundlagen der Analysis} as having indicated a gap in the manuscript to Landau. Closing the gap was concerned with Dedekind's ``Rekursionssatz'' (recursion theorem). The author gives an overview of the life and achievements of Karl Grandjot and then centres on the meaning and use of the Rekursionssatz, where natural numbers and the principle of induction are concerned. The present paper is wittily written and helps Grandjot to appear as a figure in the fairly recent history of mathematics. The paper is written in German.