|
Schönfinkel
Schönfinkel ( ''Sheynfinkel'', ''Šejnfinkeľ''): * Moses (Ilyich) Schönfinkel, born ''Moisei (Moshe) Isai'evich Sheinfinkel'' (1889, Ekaterinoslav - 1942, Moscow) ** The Bernays–Schönfinkel class (also ''Bernays–Schönfinkel-Ramsey class'') ** Schönfinkelisation (or Schönfinkelization) * Miron Konstantinovich Vladimirov, born Sheynfinkel' (; 1879, Kherson - 1925) (ru) * Vera Konstantinovna Schönfinkel ; (ru) {{DEFAULTSORT:Schonfinkel Surnames of Jewish origin German-language surnames ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Moses Schönfinkel
Moses Ilyich Schönfinkel (; 29 September 1888 – ) was a logician and mathematician, known for the invention of combinatory logic. Life Moses Schönfinkel was born on in Ekaterinoslav, Russian Empire (now Dnipro, Ukraine). He 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 delivered a talk entitled ''Elemente der Logik'' ("Elements of Logic") to the group where he outlined the concept of combinatory ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Currying
In mathematics and computer science, currying is the technique of translating a function that takes multiple arguments into a sequence of families of functions, each taking a single argument. In the prototypical example, one begins with a function f:(X\times Y)\to Z that takes two arguments, one from X and one from Y, and produces objects in Z. The curried form of this function treats the first argument as a parameter, so as to create a family of functions f_x :Y\to Z. The family is arranged so that for each object x in X, there is exactly one function f_x. In this example, \mbox itself becomes a function that takes f as an argument, and returns a function that maps each x to f_x. The proper notation for expressing this is verbose. The function f belongs to the set of functions (X\times Y)\to Z. Meanwhile, f_x belongs to the set of functions Y\to Z. Thus, something that maps x to f_x will be of the type X\to \to Z With this notation, \mbox is a function that takes objects from ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bernays–Schönfinkel Class
The Bernays–Schönfinkel class (also known as Bernays–Schönfinkel–Ramsey class) of formulas, named after Paul Bernays, Moses Schönfinkel and Frank P. Ramsey, is a fragment of first-order logic formulas where satisfiability is decidable. It is the set of sentences that, when written in prenex normal form, have an \exists^*\forall^* quantifier prefix and do not contain any function symbols. Ramsey proved that, if \phi is a formula in the Bernays–Schönfinkel class with one free variable, then either \ is finite, or \ is finite. This class of logic formulas is also sometimes referred as effectively propositional (EPR) since it can be effectively translated into propositional logic formulas by a process of grounding or instantiation. The satisfiability problem for this class is NEXPTIME In computational complexity theory, the complexity class NEXPTIME (sometimes called NEXP) is the set of decision problems that can be solved by a non-deterministic Turing machine using ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Miron Vladimirov
Miron or Mirón may refer to: * Miron (name) Miron () is a given name. In the countries with the dominant Christian Orthodox church the given name ''Miron'' was a local variant of the Greek name Myron (given name), Myron. In French-speaking countries ''Miron'' is a surname of unrelated origin ... * Miron (surname) * El Mirón, a municipality in Ávila, Castile and León, Spain * El Mirón Cave, in the upper Asón River valley, Cantabria, Spain * 17049 Miron, 1 minor planet See also * Miron Costin (other) * Collado del Mirón, a municipality in Ávila, Castile and León, Spain {{Disambiguation ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Vera Konstantinovna Schönfinkel
Vera may refer to: Names *Vera (surname), a surname (including a list of people with the name) *Vera (given name), a given name (including a list of people and fictional characters with the name) **Vera (), archbishop of the archdiocese of Tarragona Places Spain *Vera, Almería, a municipality in the province of Almería, Andalusia * Vera de Bidasoa, a municipality in the autonomous community of Navarra *La Vera La Vera is a comarca (county, but with no administrative role) in Extremadura, western Spain. The largest town is Jaraíz de la Vera Jaraíz de la Vera () is a municipality located in the province of Cáceres, Extremadura, Spain. According to t ..., a comarca in the province of Cáceres, Extremadura United States * Vera, Illinois, an unincorporated community * Vera, Kansas, a ghost town * Vera, Missouri, an unincorporated community * Vera, Oklahoma, a town * Vera, Texas, an unincorporated community * Vera, Virginia, an unincorporated community *Veradale, Washingto ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Surnames Of Jewish Origin
In many societies, a surname, family name, or last name is the mostly hereditary portion of one's personal name that indicates one's family. It is typically combined with a given name to form the full name of a person, although several given names and surnames are possible in the full name. In modern times most surnames are hereditary, although in most countries a person has a right to change their name. Depending on culture, the surname may be placed either at the start of a person's name, or at the end. The number of surnames given to an individual also varies: in most cases it is just one, but in Portuguese-speaking countries and many Spanish-speaking countries, two surnames (one inherited from the mother and another from the father) are used for legal purposes. Depending on culture, not all members of a family unit are required to have identical surnames. In some countries, surnames are modified depending on gender and family membership status of a person. Compound sur ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
