Gerhard Gentzen


Quick Info

Born
24 November 1909
Greifswald, Germany
Died
4 August 1945
Prague, Czechoslovakia

Summary
Gerhard Gentzen invented a 'natural deduction' which provided a logic closer to mathematical reasoning than the systems proposed by Frege, Russell and Hilbert.

Biography

Gerhard Gentzen's father was a lawyer who practised law in Bergen on the Isle of Rügen. It was there that Gerhard spent his childhood years, attending first the elementary school there, and later the Realgymnasium. His father, however, was killed in World War I and in 1920 Gentzen's mother moved to Stralsund. Gentzen had already begun his secondary schooling at this stage but he continued his education at the Humanistische Gymnasium in Stralsund.

Certainly moving schools did not affect Gentzen's academic achievements for when he received his Abitur in 1928 it was with distinction and he was ranked top in his school. In [6] Robbel describes the intellectual world of the young Gentzen in particular examining the influences on him of his grandparents (especially A Bilharz) and his parents. The results of his 1928 Reifeprufung examination are given in an appendix to [6]. The headmaster of the Humanistische Gymnasium was certainly impressed with the results and, recognising his exceptional mathematical abilities, awarded him a university scholarship.

Gentzen, as was usual at this time, moved between different German universities. He began his mathematical studies at the University of Greifswald in 1928 then, after studying there for two semesters, he entered the University of Göttingen on 22 April 1929. Again he spent only two semesters before moving on, this time to the University of Munich where he spent only one semester followed by one further semester at the University of Berlin. After this he returned to Göttingen where he worked under Weyl for his doctorate on the foundations of mathematics. He was taught by Bernays, Carathéodory, Courant, Hilbert, Kneser, Edmund Landau and, of course, his supervisor Weyl.

In 1933 Gentzen was awarded his doctorate by Göttingen but the intense study in different environments had taken its toll so he was forced at this stage to return home to rest and recover his health. He returned to Göttingen, becoming Hilbert's assistant in 1934. M E Szabo writes in [2]:-
... he continued to work [at Göttingen] even after Hilbert's retirement. During these years Gentzen published some of his most important papers and was also given the responsible task of reviewing numerous works of eminent researchers from many countries for the Zentralblatt für Mathematik. These reviews attest his extraordinary range of interest and the great extent of his involvement in the international community of scholars.
As we have mentioned, Gentzen's work was on logic and the foundations of mathematics. He submitted his first paper to Mathematische Annalen early in 1932. The paper studies the theory of 'sentence systems' and answers a major open problem in the subject by constructing a counterexample to show that not all sentence systems have independent axiom systems. However he also showed that linear sentence systems do have independent axiom systems. He introduced the notion of 'logical consequence' which provided a logic closer to mathematical reasoning than the systems proposed by Frege, Russell and Hilbert. This idea was later attributed to Tarski who introduced it in 1936, three years after Gentzen.

In 1934 Gentzen gave the method of succinct Sequenzen, rules of consequents, which were particularly useful for deriving metalogical decidability results. Hilbert had him work on axiomatic methods and the classification of mathematics into levels. The idea of levels, probably first introduced by Weyl, considers number theory as the first level since it deals with the natural numbers, analysis as the second level since it deals with the real numbers, and set theory as the third level where the full extent of Cantor's cardinal and ordinal numbers would be studied. Gentzen wrote several papers on these concepts, particularly examining the occurrence of set theory paradoxes.

Of course Gödel published his incompleteness theorem just at the time Gentzen was beginning his work. At first Gentzen worried that it affected what he wanted to achieve on the foundations of mathematics and he withdrew what would have been his second paper after he had corrected the final proofs because of worries about the significance of Gödel's theorems. Later, however, he wrote of Gödel's result saying:-
... this is undoubtedly a very interesting, but certainly not an alarming, result. We can paraphrase it by saying that for number theory no once-and-for-all sufficient system of forms of inference can be specified, but that on the contrary, new theorems can always be found whose proof requires a new form of inference.
In a paper published in Mathematische Zeitschrift in 1935 Gentzen introduced two new versions of predicate logic now called the NN-system and the LL-system. In the following year he gave a consistency proof in terms of an NN-type logic for the system S of arithmetic with induction. Gentzen wrote in the introduction to this paper:-
The aim of the present paper is to prove the consistency of elementary number theory or, rather, to reduce the question of consistency to certain fundamental principles.
He then looks at why such consistency proofs are necessary:-
Mathematics is regarded as the most certain of all sciences. That it could lead to results which contradict one another seems impossible. This faith in the indubitable certainty of mathematical proofs was sadly shaken around 1900 by the discovery of the antinomies or paradoxes of set theory. It turned out that in this specialised branch of mathematics, contradictions arise without our being able to recognise any specific error in our reasoning.
After discussing the paradoxes, in particular Russell's paradox, Gentzen writes:-
... I shall carry out such a consistency proof for elementary number theory. Yet even here we shall meet forms of inference whose closer inspection will give us cause for concern. ... One point should, however, be made clear from the outset: these forms of inference which might possibly be considered disputable hardly ever occur in actual number theoretical proofs; we must not be misled and, because of the great self-evidence of these proofs, consider a consistency proof as superfluous.
By Gödel's unprovability theorem, such a proof as Gentzen gave had to make use of tools stronger than those of S; extending ordinary mathematical induction, Gentzen employed transfinite induction up to Cantor's first epsilon number, and he also showed that this was the minimum required for such proof.

Kleene wrote:-
... to what extent the Gentzen proof can be accepted as securing classical number theory in the sense of that problem formulation is in the present state of affairs a matter of individual judgement.
Tarski wrote:-
Gentzen's proof of the consistency of arithmetic is undoubtedly a very interesting metamathematical result, which may prove very stimulating and fruitful. I cannot say, however, that the consistency of arithmetic is now much more evident to me ... than it was before the proof was given.
Gentzen's was the most outstanding contribution to Hilbert's programme of axiomatising mathematics. In 1937 he addressed the Congress in Paris giving a talk with title Concept of infinity and the consistency of mathematics. His outstanding work, however, was cut short by the start of World War II.

Gentzen remained on the staff at Göttingen until 1943, although he had to undertake military service in the years 1939 until 1941. He was conscripted into the army where he worked in telecommunications. He became ill, however, and spent three months recovering in a military hospital. His health was now too poor to allow him to continue with his military service and he returned to Göttingen. In the summer of 1942 he submitted his Habilitation thesis Provability and nonprovability of restricted transfinite induction in elementary number theory to Göttingen and, on the award of the degree, he became entitled to teach in universities.

As part of the German war effort, he took up a teaching post as a Dozent in the Mathematical Institute of the German University of Prague and he taught there until arrested and taken into custody. The citizens of Prague rose in revolt against the occupying German forces on 5 May 1945, the day all the staff of the German University were arrested, and held the city until the Russian Army arrived four days later. One would have to mention the facts concerning Gentzen's political and military life that Vihan relates in [8], namely his association with the SA, NSDAP and NSD Dozentenbund. Gentzen was interned by the Russian forces and held in poor conditions. He died of malnutrition after 3 months in internment. A friend who was in prison with him described his last few days:-
I can see him lying on his wooden bunk thinking all day about the mathematical problems that preoccupied him. He once confided in me that he was really quite content since now he had at last time to think about a consistency proof for analysis... He also concerned himself with other questions such as that of an artificial language, etc. Now and then he would give a short talk ... we were continually reassured that the formalities of our release would only take a few days longer.... he was hoping to be able to return to Göttingen and devote himself fully to the study of mathematical logic and the foundations of mathematics. He was dreaming of an Institute for this purpose ...


References (show)

  1. M E Szabo, Biography in Dictionary of Scientific Biography (New York 1970-1990). See THIS LINK.
  2. M E Szabo (ed.), Collected papers of Gerhard Gentzen, Studies in Logic (Amsterdam, 1969).
  3. A Indrzejczak, Jaskowski and Gentzen approaches to natural deduction and related systems, in The Lvov-Warsaw School and Contemporary Philosophy 1995 (Dordrecht, 1998), 253-264.
  4. P Pudlak, A foreword to the translation of G Gentzen's paper : 'The current state of research in the foundations of mathematics' (Czech), Pokroky Mat. Fyz. Astronom. 37 (5) (1992), 270-272.
  5. A R Raggio, The 50th anniversary of Gentzen's thesis, in Methods and applications of mathematical logic, Campinas, 1985 (Providence, RI, 1988), 93-97.
  6. G Robbel, Aus der Gedankenwelt des jungen Gerhard Gentzen, Humboldt Univ. Ber. 6 (12) (1986), 51-57.
  7. P Vihan, The last months of Gerhard Gentzen in Prague, Collegium logicum Vol. 1 (Vienna, 1995), 1-7.
  8. P Vihan, Gerhard Gentzen (1909-1945) (Czech), Pokroky Mat. Fyz. Astronom. 37 (5) (1992), 249-257.

Additional Resources (show)


Cross-references (show)


Written by J J O'Connor and E F Robertson
Last Update September 2001