|
Moses Schönfinkel
Moses Ilyich Schönfinkel (russian: Моисей Исаевич Шейнфинкель, translit=Moisei Isai'evich Sheinfinkel; 29 September 1888 – 1942) was a logician and mathematician, known for the invention of combinatory logic. Life Moses Schönfinkel was born in 1888 in Ekaterinoslav, Russian Empire (now Dnipro, Ukraine). Moses Schönfinkel was born to a Jewish family. His father was Ilya Girshevich Schönfinkel, a merchant of first guild, who was in а grocery store trade, and his mother, Maria “Masha” Gertsovna Schönfinkel (née Lurie) came from a prominent Lurie family. Moses had siblings named Deborah, Natan, Israel and Grigoriy. Schönfinkel attended the Novorossiysk University of Odessa, studying mathematics under Samuil Osipovich Shatunovskii (1859–1929), who worked in geometry and the foundations of mathematics. From 1914 to 1924, Schönfinkel was a member of David Hilbert's group at the University of Göttingen in Germany. On 7 December 1920 he deliver ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dnipro
Dnipro, previously called Dnipropetrovsk from 1926 until May 2016, is Ukraine's fourth-largest city, with about one million inhabitants. It is located in the eastern part of Ukraine, southeast of the Ukrainian capital Kyiv on the Dnieper River, after which its Ukrainian language name (Dnipro) it is named. Dnipro is the administrative centre of the Dnipropetrovsk Oblast. It hosts the administration of Dnipro urban hromada. The population of Dnipro is Archeological evidence suggests the site of the present city was settled by Cossack communities from at least 1524. The town, named Yekaterinoslav (''the glory of Catherine''), was established by decree of the Russian Empress Catherine the Great in 1787 as the administrative center of Novorossiya. From the end of the nineteenth century, the town attracted foreign capital and an international, multi-ethnic, workforce exploiting Kryvbas iron ore and Donbas coal. Renamed ''Dnipropetrovsk'' in 1926 after the Ukrainian Communis ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Combinatory Logic
Combinatory logic is a notation to eliminate the need for quantified variables in mathematical logic. It was introduced by Moses Schönfinkel and Haskell Curry, and has more recently been used in computer science as a theoretical model of computation and also as a basis for the design of functional programming languages. It is based on combinators, which were introduced by Schönfinkel in 1920 with the idea of providing an analogous way to build up functions—and to remove any mention of variables—particularly in predicate logic. A combinator is a higher-order function that uses only function application and earlier defined combinators to define a result from its arguments. In mathematics Combinatory logic was originally intended as a 'pre-logic' that would clarify the role of quantified variables in logic, essentially by eliminating them. Another way of eliminating quantified variables is Quine's predicate functor logic. While the expressive power of combinatory ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bound Variables
In mathematics, and in other disciplines involving formal languages, including mathematical logic and computer science, a free variable is a notation (symbol) that specifies places in an expression where substitution may take place and is not a parameter of this or any container expression. Some older books use the terms real variable and apparent variable for free variable and bound variable, respectively. The idea is related to a placeholder (a symbol that will later be replaced by some value), or a wildcard character that stands for an unspecified symbol. In computer programming, the term free variable refers to variables used in a function that are neither local variables nor parameters of that function. The term non-local variable is often a synonym in this context. A bound variable, in contrast, is a variable that has been ''bound'' to a specific value or range of values in the domain of discourse or universe. This may be achieved through the use of logical quantifi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Journal Of Symbolic Logic
The '' Journal of Symbolic Logic'' is a peer-reviewed mathematics journal published quarterly by Association for Symbolic Logic. It was established in 1936 and covers mathematical logic. The journal is indexed by ''Mathematical Reviews'', Zentralblatt MATH, and Scopus. Its 2009 MCQ was 0.28, and its 2009 impact factor The impact factor (IF) or journal impact factor (JIF) of an academic journal is a scientometric index calculated by Clarivate that reflects the yearly mean number of citations of articles published in the last two years in a given journal, as ... was 0.631. External links * Mathematics journals Publications established in 1936 Multilingual journals Quarterly journals Association for Symbolic Logic academic journals Logic journals Cambridge University Press academic journals {{math-journal-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Paul Bernays
Paul Isaac Bernays (17 October 1888 – 18 September 1977) was a Swiss mathematician who made significant contributions to mathematical logic, axiomatic set theory, and the philosophy of mathematics. He was an assistant and close collaborator of David Hilbert. Biography Bernays was born into a distinguished German-Jewish family of scholars and businessmen. His great-grandfather, Isaac ben Jacob Bernays, served as chief rabbi of Hamburg from 1821 to 1849. Bernays spent his childhood in Berlin, and attended the Köllner Gymnasium, 1895–1907. At the University of Berlin, he studied mathematics under Issai Schur, Edmund Landau, Ferdinand Georg Frobenius, and Friedrich Schottky; philosophy under Alois Riehl, Carl Stumpf and Ernst Cassirer; and physics under Max Planck. At the University of Göttingen, he studied mathematics under David Hilbert, Edmund Landau, Hermann Weyl, and Felix Klein; physics under Voigt and Max Born; and philosophy under Leonard Nelson. In 1912, the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Entscheidungsproblem
In mathematics and computer science, the ' (, ) is a challenge posed by David Hilbert and Wilhelm Ackermann in 1928. The problem asks for an algorithm that considers, as input, a statement and answers "Yes" or "No" according to whether the statement is ''universally valid'', i.e., valid in every structure satisfying the axioms. Completeness theorem By the completeness theorem of first-order logic, a statement is universally valid if and only if it can be deduced from the axioms, so the ' can also be viewed as asking for an algorithm to decide whether a given statement is provable from the axioms using the rules of logic. In 1936, Alonzo Church and Alan Turing published independent papers showing that a general solution to the ' is impossible, assuming that the intuitive notion of " effectively calculable" is captured by the functions computable by a Turing machine (or equivalently, by those expressible in the lambda calculus). This assumption is now known as the Church–Turin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Heinrich Behmann
Heinrich Behmann (10 January 1891, in Bremen-Aumund – 3 February 1970, in Bremen-Aumund) was a German mathematician. He performed research in the field of set theory and predicate logic. Behmann studied mathematics in Tübingen, Leipzig and Göttingen. During World War I, he was wounded and received the Iron Cross 2nd Class. David Hilbert supervised the preparation of his doctoral thesis, ''Die Antinomie der transfiniten Zahl und ihre Auflösung durch die Theorie von Russell und Whitehead''. In 1922 Behmann proved that the monadic predicate calculus 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 The Nazi Party, officially the National Socialist German Workers' Party (german: Nationalsozialistische Deutsche Arbeiterpartei or NSDAP), was a far-right political party in Germany active between 1920 and 1945 that created and supported t .... External links Biography(i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Elsevier
Elsevier () is a Dutch academic publishing company specializing in scientific, technical, and medical content. Its products include journals such as '' The Lancet'', ''Cell'', the ScienceDirect collection of electronic journals, '' Trends'', the '' Current Opinion'' series, the online citation database Scopus, the SciVal tool for measuring research performance, the ClinicalKey search engine for clinicians, and the ClinicalPath evidence-based cancer care service. Elsevier's products and services also include digital tools for data management, instruction, research analytics and assessment. Elsevier is part of the RELX Group (known until 2015 as Reed Elsevier), a publicly traded company. According to RELX reports, in 2021 Elsevier published more than 600,000 articles annually in over 2,700 journals; as of 2018 its archives contained over 17 million documents and 40,000 e-books, with over one billion annual downloads. Researchers have criticized Elsevier for its high profit m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Germany
Germany,, officially the Federal Republic of Germany, is a country in Central Europe. It is the second most populous country in Europe after Russia, and the most populous member state of the European Union. Germany is situated between the Baltic and North seas to the north, and the Alps to the south; it covers an area of , with a population of almost 84 million within its 16 constituent states. Germany borders Denmark to the north, Poland and the Czech Republic to the east, Austria and Switzerland to the south, and France, Luxembourg, Belgium, and the Netherlands to the west. The nation's capital and most populous city is Berlin and its financial centre is Frankfurt; the largest urban area is the Ruhr. Various Germanic tribes have inhabited the northern parts of modern Germany since classical antiquity. A region named Germania was documented before AD 100. In 962, the Kingdom of Germany formed the bulk of the Holy Roman Empire. During the 16th ce ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Foundations Of Mathematics
Foundations of mathematics is the study of the philosophical and logical and/or algorithmic basis of mathematics, or, in a broader sense, the mathematical investigation of what underlies the philosophical theories concerning the nature of mathematics. In this latter sense, the distinction between foundations of mathematics and philosophy of mathematics turns out to be quite vague. Foundations of mathematics can be conceived as the study of the basic mathematical concepts (set, function, geometrical figure, number, etc.) and how they form hierarchies of more complex structures and concepts, especially the fundamentally important structures that form the language of mathematics (formulas, theories and their models giving a meaning to formulas, definitions, proofs, algorithms, etc.) also called metamathematical concepts, with an eye to the philosophical aspects and the unity of mathematics. The search for foundations of mathematics is a central question of the philosophy of mathem ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geometry
Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is called a ''geometer''. Until the 19th century, geometry was almost exclusively devoted to Euclidean geometry, which includes the notions of point, line, plane, distance, angle, surface, and curve, as fundamental concepts. During the 19th century several discoveries enlarged dramatically the scope of geometry. One of the oldest such discoveries is Carl Friedrich Gauss' ("remarkable theorem") that asserts roughly that the Gaussian curvature of a surface is independent from any specific embedding in a Euclidean space. This implies that surfaces can be studied ''intrinsically'', that is, as stand-alone spaces, and has been expanded into the theory of manifolds and Riemannian geometry. Later in the 19th century, it appeared that geome ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Samuil Osipovich Shatunovskii
Samuil Osipovich Shatunovsky (russian: Самуил Осипович Шатуновский; 25 March 1859 – 27 March 1929) was a Russian mathematician. He was born in Velyka Znamianka, Ukraine in a poor Jewish family as the 9th child. He completed secondary education in Kherson, Ukraine; then studied for a year in Rostov, Russia and moved to Saint Petersburg seeking university degree. There he studied in several technical universities. Engineering however did not attract Shatunovsky and he dedicated himself to mathematics, voluntarily attending lectures by Chebyshev. Shatunovsky could not complete any university program due to lack of funds. He later attempted to obtain a university degree in Switzerland, but failed for the same reason. After returning from Switzerland, he lived in small Russian towns, earning by private lessons. In the meantime, he wrote his first mathematical papers and sent some of them to Odessa University. Their quality was acknowledged; Shatunovsky was adm ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.jpg "Click for more on -> Dnipro")
