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]   |
|
Licentiate (degree)
A licentiate (abbreviated Lic.) is an academic degree present in many countries, representing different educational levels. It may be similar to a master's degree when issued by pontifical universities and other universities in Europe, Latin America, and Syria. The term is also used for a person who holds this degree. Etymology The term derives from Latin ''licentia'', "freedom" (from Latin ''licēre'', "to be allowed"), which is applied in the phrases ''licentia docendi'' (also ''licentia doctorandi''), meaning "permission to teach", and ''licentia ad practicandum'' (also ''licentia practicandi''), meaning "permission to practice", signifying someone who holds a certificate of competence to practise a profession. History The Gregorian Reform of the Catholic Church led to an increased focus on the liberal arts in episcopal schools during the 11th and 12th centuries, with Pope Gregory VII ordering all bishops to make provisions for the teaching of liberal arts. Chancellor ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Kai Wehmeier
Kai Frederick Wehmeier (born 1968) is a German-American philosopher and logician. He is best known for proving that the fragment of Frege's inconsistent logical theory of ''Grundgesetze der Arithmetik'' becomes consistent upon restricting the complexity of comprehension formulas in the second-order comprehension schema to \Delta^1_1, for his development of a system of subjunctive modal logic and its use in rebutting Kripke's modal argument against description theories of proper names, as well as for refining and defending the thesis that there is no binary identity relation between objects. Wehmeier is currently a professor in the Department of Logic and Philosophy of Science and the Department of Philosophy at the University of California, Irvine. He is also the director of UC Irvine's Center for the Advancement of Logic, its Philosophy, History, and Applications (C-ALPHA). Selected publications * "Consistent Fragments of ''Grundgesetze'' and the Existence of Non-Logical O ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
World War II
World War II or the Second World War, often abbreviated as WWII or WW2, was a world war that lasted from 1939 to 1945. It involved the vast majority of the world's countries—including all of the great powers—forming two opposing military alliances: the Allies and the Axis powers. World War II was a total war that directly involved more than 100 million personnel from more than 30 countries. The major participants in the war threw their entire economic, industrial, and scientific capabilities behind the war effort, blurring the distinction between civilian and military resources. Aircraft played a major role in the conflict, enabling the strategic bombing of population centres and deploying the only two nuclear weapons ever used in war. World War II was by far the deadliest conflict in human history; it resulted in 70 to 85 million fatalities, mostly among civilians. Tens of millions died due to genocides (including the Holocaust), starvation, ma ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Rudolf Carnap
Rudolf Carnap (; ; 18 May 1891 – 14 September 1970) was a German-language philosopher who was active in Europe before 1935 and in the United States thereafter. He was a major member of the Vienna Circle and an advocate of logical positivism. He is considered "one of the giants among twentieth-century philosophers." Biography Carnap's father had risen from being a poor ribbon-weaver to be the owner of a ribbon-making factory. His mother came from an academic family; her father was an educational reformer and her oldest brother was the archaeologist Wilhelm Dörpfeld. As a ten-year-old, Carnap accompanied Wilhelm Dörpfeld on an expedition to Greece. Carnap was raised in a profoundly religious Protestant family, but later became an atheist. He began his formal education at the Barmen Gymnasium and the Gymnasium in Jena. From 1910 to 1914, he attended the University of Jena, intending to write a thesis in physics. He also intently studied Immanuel Kant's '' Critique of Pure Re ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Gottlob Frege
Friedrich Ludwig Gottlob Frege (; ; 8 November 1848 – 26 July 1925) was a German philosopher, logician, and mathematician. He was a mathematics professor at the University of Jena, and is understood by many to be the father of analytic philosophy, concentrating on the philosophy of language, logic, and mathematics. Though he was largely ignored during his lifetime, Giuseppe Peano (1858–1932), Bertrand Russell (1872–1970), and, to some extent, Ludwig Wittgenstein (1889–1951) introduced his work to later generations of philosophers. Frege is widely considered to be the greatest logician since Aristotle, and one of the most profound philosophers of mathematics ever. His contributions include the development of modern logic in the ''Begriffsschrift'' and work in the foundations of mathematics. His book the ''Foundations of Arithmetic'' is the seminal text of the logicist project, and is cited by Michael Dummett as where to pinpoint the linguistic turn. His philosophical ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
On Computable Numbers, With An Application To The Entscheidungsproblem
Turing's proof is a proof by Alan Turing, first published in January 1937 with the title "On Computable Numbers, with an Application to the ". It was the second proof (after Church's theorem) of the negation of Hilbert's ; that is, the conjecture that some purely mathematical yes–no questions can never be answered by computation; more technically, that some decision problems are " undecidable" in the sense that there is no single algorithm that infallibly gives a correct "yes" or "no" answer to each instance of the problem. In Turing's own words: "what I shall prove is quite different from the well-known results of Gödel ... I shall now show that there is no general method which tells whether a given formula U is provable in K 'Principia Mathematica''">Principia_Mathematica.html" ;"title="'Principia Mathematica">'Principia Mathematica''. Turing followed this proof with two others. The second and third both rely on the first. All rely on his development of typewriter-like "comp ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Alan Turing
Alan Mathison Turing (; 23 June 1912 – 7 June 1954) was an English mathematician, computer scientist, logician, cryptanalyst, philosopher, and theoretical biologist. Turing was highly influential in the development of theoretical computer science, providing a formalisation of the concepts of algorithm and computation with the Turing machine, which can be considered a model of a general-purpose computer. He is widely considered to be the father of theoretical computer science and artificial intelligence. Born in Maida Vale, London, Turing was raised in southern England. He graduated at King's College, Cambridge, with a degree in mathematics. Whilst he was a fellow at Cambridge, he published a proof demonstrating that some purely mathematical yes–no questions can never be answered by computation and defined a Turing machine, and went on to prove that the halting problem for Turing machines is undecidable. In 1938, he obtained his PhD from the Department of Mathemati ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Theology
Theology is the systematic study of the nature of the divine and, more broadly, of religious belief. It is taught as an academic discipline, typically in universities and seminaries. It occupies itself with the unique content of analyzing the supernatural, but also deals with religious epistemology, asks and seeks to answer the question of revelation. Revelation pertains to the acceptance of God, gods, or deities, as not only transcendent or above the natural world, but also willing and able to interact with the natural world and, in particular, to reveal themselves to humankind. While theology has turned into a secular field , religious adherents still consider theology to be a discipline that helps them live and understand concepts such as life and love and that helps them lead lives of obedience to the deities they follow or worship. Theologians use various forms of analysis and argument ( experiential, philosophical, ethnographic, historical, and others) to help understa ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Protestant
Protestantism is a Christian denomination, branch of Christianity that follows the theological tenets of the Reformation, Protestant Reformation, a movement that began seeking to reform the Catholic Church from within in the 16th century against what its followers perceived to be growing Criticism of the Catholic Church, errors, abuses, and discrepancies within it. Protestantism emphasizes the Christian believer's justification by God in faith alone (') rather than by a combination of faith with good works as in Catholicism; the teaching that Salvation in Christianity, salvation comes by Grace in Christianity, divine grace or "unmerited favor" only ('); the Universal priesthood, priesthood of all faithful believers in the Church; and the ''sola scriptura'' ("scripture alone") that posits the Bible as the sole infallible source of authority for Christian faith and practice. Most Protestants, with the exception of Anglo-Papalism, reject the Catholic doctrine of papal supremacy, ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Philosopher
A philosopher is a person who practices or investigates philosophy. The term ''philosopher'' comes from the grc, φιλόσοφος, , translit=philosophos, meaning 'lover of wisdom'. The coining of the term has been attributed to the Greek thinker Pythagoras (6th century BCE).. In the Classics, classical sense, a philosopher was someone who lived according to a certain way of life, focusing upon resolving Meaning of life, existential questions about the human condition; it was not necessary that they discoursed upon Theory, theories or commented upon authors. Those who most arduously committed themselves to this lifestyle would have been considered ''philosophers''. In a modern sense, a philosopher is an intellectual who contributes to one or more branches of philosophy, such as aesthetics, ethics, epistemology, philosophy of science, logic, metaphysics, social theory, philosophy of religion, and political philosophy. A philosopher may also be someone who has worked in the hum ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |