Schönfinkel
Encyclopedia
Schönfinkel:
- Moses (Ilyich) SchönfinkelMoses SchönfinkelMoses Ilyich Schönfinkel, also known as Moisei Isai'evich Sheinfinkel , was a Russian logician and mathematician, known for the invention of combinatory logic.- Life :Schönfinkel attended the Novorossiysk University of Odessa, studying mathematics under Samuil Osipovich...
, born Moisei (Moshe) Isai'evich Sheinfinkel (1889, Ekaterinoslav - 1942, Moscow)- The Bernays–Schönfinkel classBernays–Schönfinkel classThe Bernays–Schönfinkel class of formulas, named after Paul Bernays and Moses Schönfinkel The Bernays–Schönfinkel class (also known as Bernays–Schönfinkel-Ramsey class) of formulas, named after Paul Bernays and Moses Schönfinkel The Bernays–Schönfinkel class (also known as...
(also Bernays–Schönfinkel-Ramsey class) - SchönfinkelisationCurryingIn mathematics and computer science, currying is the technique of transforming a function that takes multiple arguments in such a way that it can be called as a chain of functions each with a single argument...
- SchönfinkelizationCurryingIn mathematics and computer science, currying is the technique of transforming a function that takes multiple arguments in such a way that it can be called as a chain of functions each with a single argument...
- The Bernays–Schönfinkel class
- Miron Konstantinovich Vladimirov, born Sheynfinkel' (ru)