Gudrun Hasenjäger

Gudrun Hasenjäger (1914–2015) was a German mathematician and logician who made significant contributions to mathematical logic, proof theory, and the foundations of mathematics during the twentieth century. Born in Cologne, Hasenjäger pursued advanced studies in mathematics during the Nazi era, when the academic environment in Germany was profoundly disrupted. Despite the challenging historical circumstances, she completed her doctoral work and became one of the few women working in the highly specialized field of mathematical logic in post-war Germany. Hasenjäger's research focused on proof theory, recursion theory, and the logical foundations of mathematics, areas that were central to the development of modern mathematical logic. She worked at various German universities and research institutes, contributing to the advancement of logical theory during a period of significant mathematical development. Her career exemplified the persistence and intellectual brilliance required to work in advanced mathematics, particularly for women in mid-twentieth-century Europe. Hasenjäger's work, while perhaps not as widely known as some of her contemporaries, represented important contributions to the technical foundations of modern mathematics and logic. She lived to be over one hundred years old, witnessing the transformation of mathematics and the recognition of women's contributions to the field.