|
Schönfinkel
Schönfinkel ( yi, שײנפֿינק(ע)ל ''Sheynfinkel'', russian: Шейнфинкель ''Š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 ** Schönfinkelization * Miron Konstantinovich Vladimirov, born Sheynfinkel' (russian: Мирон Константинович Владимиров; 1879, Kherson - 1925) (ru) * Vera Konstantinovna Schönfinkel russian: Вера Константиновна Шейнфинкель; (ru) {{DEFAULTSORT:Schonfinkel Jewish surnames German-language surnames ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 delivered ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Currying
In mathematics and computer science, currying is the technique of translating the evaluation of a function that takes multiple arguments into evaluating a sequence of functions, each with a single argument. For example, currying a function f that takes three arguments creates a nested unary function g, so that the code :\textx=f(a,b,c) gives x the same value as the code : \begin \texth = g(a) \\ \texti = h(b) \\ \textx = i(c), \end or called in sequence, :\textx = g(a)(b)(c). In a more mathematical language, a function that takes two arguments, one from X and one from Y, and produces outputs in Z, by currying is translated into a function that takes a single argument from X and produces as outputs ''functions'' from Y to Z. This is a natural one-to-one correspondence between these two types of functions, so that the sets together with functions between them form a Cartesian closed category. The currying of a function with more than two arguments can then be defined by induction. Cur ... [...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. 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-complete. See also *Prenex normal form A formula of the predicate calculus is in prenex normal form (PNF) if it is written as a string of quantifiers and bound variables, called the prefix, followed by a quantifier-free part, called the matrix. Together with the normal forms in prop ... Notes References * * Predicate lo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Miron Vladimirov
Miron or Mirón may refer to: * Miron (name) * 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) Miron Costin may refer to: * Miron Costin, 17th century Moldavian chronicler or two villages in Romania named after him: * Miron Costin, a village in Vlăsinești Commune, Botoşani County * Miron Costin, a village in Trifeşti Commune, Ne ... * 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, 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, Washington, originally known as Vera, CDP Elsewhere *Vera, Santa Fe, a city in the province of Santa Fe, Argentina *Vera Department, an administrative subdivision (departamento) of the province of Santa Fe * Vera, Mato Grosso, Brazil, a municipality *Cape Vera, Nun ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jewish Surnames
Jewish surnames are family names used by Jews and those of Jewish origin. Jewish surnames are thought to be of comparatively recent origin; the first known Jewish family names date to the Middle Ages, in the 10th and 11th centuries CE. Jews have some of the largest varieties of surnames among any ethnic group, owing to the geographically diverse Jewish diaspora, as well as cultural assimilation and the recent trend toward Hebraization of surnames. Some traditional surnames relate to Jewish history or roles within the religion, such as Cohen ("priest"), Levi, Shulman ("synagogue-man"), Sofer ("scribe"), or Kantor ("cantor"), while many others relate to a secular occupation or place names. The majority of Jewish surnames used today developed in the past three hundred years. History Historically, Jews used Hebrew patronymic names. In the Jewish patronymic system the first name is followed by either ''ben-'' or ''bat-'' ("son of" and "daughter of," respectively), and then the f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |