|
Heinrich Scholz (politician)
Heinrich Scholz (; 17 December 1884 – 30 December 1956) was a German logician, philosopher, and Protestant theologian. He was a peer of Alan Turing who mentioned Scholz when writing with regard to the reception of "On Computable Numbers, with an Application to the Entscheidungsproblem":Alan Turing: "On Computable Numbers, with an Application to the Entscheidungsproblem." In: ''Proceedings of the London Mathematical Society'', 2nd series, vol. 42 (1937), pp. 230–265. "I have had two letters asking for reprints, one from Braithwaite at King's and one from a professor icin Germany... They seemed very much interested in the paper. ..I was disappointed by its reception here." Scholz had an extraordinary career (he was considered an outstanding scientist of national importance) but was not considered a brilliant logician, for example on the same level as Gottlob Frege or Rudolf Carnap. He provided a suitable academic environment for his students to thrive. He founded the Instit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematical Research Institute Of Oberwolfach
The Oberwolfach Research Institute for Mathematics (german: Mathematisches Forschungsinstitut Oberwolfach) is a center for mathematical research in Oberwolfach, Germany. It was founded by mathematician Wilhelm Süss in 1944. It organizes weekly workshops on diverse topics where mathematicians and scientists from all over the world come to do collaborative research. The Institute is a member of the Leibniz Association, funded mainly by the German Federal Ministry of Education and Research and by the state of Baden-Württemberg. It also receives substantial funding from the ''Friends of Oberwolfach'' foundation, from the ''Oberwolfach Foundation'' and from numerous donors. History The Oberwolfach Research Institute for Mathematics (MFO) was founded as the ''Reich Institute of Mathematics'' (German: ''Reichsinstitut für Mathematik'') on 1 September 1944. It was one of several research institutes founded by the Nazis in order to further the German war effort, which at that ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Karl Schröter
Karl Walter Schröter (7 September 1905 in Biebrich near Wiesbaden – 22 August 1977 in Berlin) was a German mathematician and logician. Later on, after the war, he made important contributions concerning semantic consequences (german: semantische Folgerungsrelationen) and provability logic (german: syntaktische Ableitbarkeitsrelationen). He worked as a mathematical theoretician and cryptanalyst for the civilian Pers Z S, the cipher bureau of the Foreign Office (german: Auswärtiges Amt), from Spring 1941 to the end of World War II. Personal life From 1928 to 1936, Schröter studied mathematics, physics, philosophy, and psychology at the Universities of Göttingen, Heidelberg and Frankfurt am Main. Due to family reasons he had to interrupt his studies several times. He then worked in the mathematical logic group at the University of Münster lead by Heinrich Scholz. From 1 April 1939 he was a research assistant at the Department of Philosophy at the University of Münster. On ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
