Alma mater University of Munster | Name Heinrich Scholz | |
![]() | ||
Institutions University of BreslauUniversity of BerlinErlangen University Doctoral advisor Richard FalkenbergOtto Toeplitz Doctoral students Friedrich BachmannHans HermesGisbert Hasenjaeger Known for Institute of Mathematical Logic and Fundamental Research at the University of MunsterWorld's first seminar on computer science [with Alan Turing] Influenced by Similar People Hans Hermes, Christian Thiel, Otto Toeplitz |
Heinrich Scholz ( [ʃolts]; December 17, 1884 – December 30, 1956) was a German logician, philosopher, and Protestant theologian who was a peer of Alan Turing, who wrote in his memoirs that he on the inclusion of his essay from 1936 On Computable Numbers, with an Application to the Entscheidungsproblem [was disappointed that only] two people could have understood it, and would have responded [had he been asked] – Heinrich Scholz and Richard Bevan Braithwaite. Scholz had an extraordinary career but was not considered a brilliant logician, for example on the same level as Gottlob Frege or Rudolf Carnap, but was considered an outstanding scientist of national importance. He provided a suitable academic environment for his students to thrive. He founded the Institute of Mathematical Logic and Fundamental Research at the University of Munster in 1936, which can be said enabled the study of logic at the highest international level after World War 2 up until the present day.
Contents
Personal life
Herman Scholz father was a minister at St. Mary's Church, Berlin. From 1903 to 1907 he studied philosophy and theology at Erlangen University and Berlin University achieving a Licentiate in theology (Lic. theol.). He was a student of Adolf von Harnack, in philosophy with peers Alois Riehl and Friedrich Paulsen. On 28 July 1910, Scholz habilitated in the subjects of religious philosophy and systematic theology in Berlin, and was promoted to full professor, therein working as a lecturer. In 1913, at Erlangen, Herman Sholz took his examination for promotion of Dr. phil. with Richard Falkenberg, studying the work of Schleiermacher and Goethe, his thesis title: A contribution from the history of the German spirit. In 1917 was appointed to the chair of Philosophy of Religion at the Breslau succeededing Rudolf Otto to teach religious philosophy and systematic theology. In the same year he married his fiancee, Elisabeth Orth. Due to 8 years of continuous gastric trouble, he was exempted from military service. In 1919, he underwent an operation in which he believed to be a large part of his stomach was removed. That year he took the call to Kiel University, as the chair of philosophy. It was while at Kiel, in 1924, that Scholz's first wife, Elisabeth Orth died.
From October 1928 onwards, he taught in Munster University, first as Professor of Philosophy. In 1938, this was changed to Professor of Philosophy of Mathematics and Science and again in 1943 to Chair of Mathematical Logic and Foundational Questions in Mathematics working as head of the Institute for Mathematical Logic and Foundational Research at Munster until he retired in 1952 as professor emeritus.
Scholz was survived by his second wife, Erna. Scholz grave is located on the Park Cemetery Eichhof near Kiel.
Work
From his own account, in 1921, having by accident came across Principia Mathematica by Bertrand Russell and Alfred North Whitehead he began studying logic, which he had abandoned in his youth to study theology, leading later to a study of mathematics and theoretical physics by taking an undergraduate degree at Kiel. However another factor in his change of focus was the mathematician Otto Toeplitz. Toeplitz's broad research interests including Hilbert spaces and spectral theory encouraged Scholz interest in mathematics. Indeed, Segal suggests that Scholz love of structure was also an important factor in his move into mathematical logic, describing it this:
Scholz's feeling for structure was no small thing. He apparently felt that when having guests for dinner: (1) no more than six people should be invited; (2) there must be an excellent menu; (3) a discussion theme must be planned; and (4) the guests should have prepared themselves as much as possible beforehand on this theme.In 1925, he was a peer of Karl Barth at Munster University, in which he taught Protestant theology. Under the influence of conversations with Scholz, Barth later wrote in 1930/31. his book about the Anselm of Canterbury proof of God "fides quaerens intellectum".
In the 1930s, he continued to maintain contact with Alan Turing, who later wrote in his memoirs that he on the inclusion of his essay from 1936 On Computable Numbers, with an Application to the Entscheidungsproblem was disappointed that only two people could have understood it, and would have responded – Heinrich Scholz and Richard Bevan Braithwaite.
At the University of Munster, his study into mathematical logic and basic research, provided many of the critical insights, that contributed to the foundations of theoretical computer science. Right from the time he arrived at Munster, Scholz worked towards building a school of mathematical logic. By 1935, his research team at Munster were being referred to as the Munster school of mathematical logic. Scholz names 1936, as the year the Munster School was born. His professorship was rededicated in 1936 to a lectureship for mathematical logic and basic research and in 1943 the first chair in Germany for mathematical logic and basic research. The Munster Chair is still regarded as one of the best in Germany.
Scholz was considered a Platonist, and in that sense, he regarded the mathematical logic as the foundation of knowledge. In 1936 he was awarded a grant from the DFG, for the production of three volumes of research in logic and for the editing of the Gottlob Frege papers. He is considered the discoverer of the estate of Gottlob Frege.
Gisbert Hasenjaeger whose thesis had been supervised by Scholtz, produced a book Grundzuge der mathematischen Logik in 1961 which was jointly authored with Scholz despite being published five years after Scholz's death.
Work during World War II
Initially Scholz was pleased with the rise of Nazi power in Germany. Describing himself a conservative nationalist, describing himself as such We felt like Prussians right to the bone, and described by his friend Heinrich Behnke as a small-minded Prussian nationalist. Behnke found discussing political issues difficult. In the beginning the Nazi laws helped establish the Munster as an important centre for Logic as other university staff at Gottingen and Berlin Universities were being obliterated.
On 14 March 1940, Scholz sent a letter to the Education department of occupied Poland, seeking the release of Jan Salamucha, who had been professor of theology at Krakow University. Salamucha was sent to Sachsenhausen concentration camp in 1940. In October 1940, Scholz received a reply for the education minister which stated he had injured the national honour and was forbidden to send further petitions. Salamucha was later released but killed by the Nazis in 1944 However, Scholz persisted, first helping Alfred Tarski, who had fled Poland to the United States, to correspond with his wife who remained in Poland and later helping the Polish Logician Jan Lukasiewicz, who he had been corresponding since 1938, to leave Poland with his wife and hide in Germany.
Although Scholz' recognized the true nature of the Nazi's and abhorred them from mid 1942 onwards, he remained on good terms with Nazi academics like Ludwig Bieberbach. During the period of National Socialism, Max Steck, who championed the German Mathematics which rejected the formalist approach to mathematics, deeply opposed Hilberts approach which he described as Jewish - the worst possible insult in Germany at this time. Max Steck acknowledged the "per se outstanding achievement of formalism" ("an sich betrachtet einmaligen Leistung des Formalismus"), but criticized the "missing epistemological component" ("Jede eigentliche Erkenntnistheorie fehlt im Formalismus") and on the only page of his main work where he connects formalism and Jews he mentions that "Jews were the actual trendsetters of formalism" ("die eigentlichen Schrittmacher des Formalismus"). In response to this, Bieberbach asked Scholz to write an article for Deutsche Mathematik, to answer the attacks on mathematical formalism by Steck, which was surprising since Bieberbach led the Nazi mathematicians' attack on Jewish mathematics. Ensuring that Hilbert was not considered "Jewish.", Scholz wrote What does formalised study of the foundations of mathematics aim at?. Scholz had received funding from Bieberbach as early as 1937, which prompted an annoyed Steck to write in his 1942 book:
What Scholz has understood is doubtless this, to obtain from the German State huge amounts of publication money for this logic production. We fundamentally reject this logic which praises the English empiricists and sensory philosophers such as the Englishmen Locke, Berkeley, Hume, and by now find it really time to speak for once about the "Great Germans".World's first computer science seminar
In the late 2000s, Achim Clausing was tasked with going through the remaining estate of Scholz at Munster University, and while going through the archive papers in the basement of the Institute of Computer Science, Clausing discovered two original prints of the most important publication of Alan Turing, which had been missing since 1945. In this case, the work "On Computable Numbers With an Application to the Entscheidungsproblem" from 1936, which Scholz had requested, and a postcard from Turing. Based on the work by Turing and conversations with Scholz, Clausings stated [it was] the world's first seminar on computer science. The second work, which was a Mind (journal) article, dates from 1950 and is a treatise on the development of artificial intelligence, Turing provided them with a handwritten comment. This is probably my last copy. At Sotheby's recently, comparable Prints of Turing, which no dedication attached, sold for 180,000 euros.