Heinrich Behmann was a German

Germany

Germany , officially the Federal Republic of Germany , is a federal parliamentary republic in Europe. The country consists of 16 states while the capital and largest city is Berlin. Germany covers an area of 357,021 km2 and has a largely temperate seasonal climate...

 mathematician

Mathematician

A mathematician is a person whose primary area of study is the field of mathematics. Mathematicians are concerned with quantity, structure, space, and change....

. He performed research in the field of set theory

Set theory

Set theory is the branch of mathematics that studies sets, which are collections of objects. Although any type of object can be collected into a set, set theory is applied most often to objects that are relevant to mathematics...

 and predicate logic

Predicate logic

In mathematical logic, predicate logic is the generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic. This formal system is distinguished from other systems in that its formulae contain variables which can be quantified...

.

Behmann studied mathematics in Tübingen

Tübingen

Tübingen is a traditional university town in central Baden-Württemberg, Germany. It is situated south of the state capital, Stuttgart, on a ridge between the Neckar and Ammer rivers.-Geography:...

, Leipzig

Leipzig

Leipzig Leipzig has always been a trade city, situated during the time of the Holy Roman Empire at the intersection of the Via Regia and Via Imperii, two important trade routes. At one time, Leipzig was one of the major European centres of learning and culture in fields such as music and publishing...

 and Göttingen

Göttingen

Göttingen is a university town in Lower Saxony, Germany. It is the capital of the district of Göttingen. The Leine river runs through the town. In 2006 the population was 129,686.-General information:...

. During World War I

World War I

World War I , which was predominantly called the World War or the Great War from its occurrence until 1939, and the First World War or World War I thereafter, was a major war centred in Europe that began on 28 July 1914 and lasted until 11 November 1918...

, he was wounded and received the Iron Cross 2nd Class. David Hilbert

David Hilbert

David Hilbert was a German mathematician. He is recognized as one of the most influential and universal mathematicians of the 19th and early 20th centuries. Hilbert discovered and developed a broad range of fundamental ideas in many areas, including invariant theory and the axiomatization of...

 supervised the preparation of his doctoral thesis, Die Antinomie der transfiniten Zahl ind ihre Auflösung durch die Theorie von Russell und Whitehead. In 1922 Behmann proved that the monadic predicate calculus

Monadic predicate calculus

In logic, the monadic predicate calculus is the fragment of predicate calculus in which all predicate letters are monadic , and there are no function letters...

 is decidable. In 1938 he obtained a professorial chair in mathematics at Halle (Saale). In 1945 he was dismissed for having been a member of the NSDAP.

External links

• Biography (in German)