Schönfinkel
Encyclopedia
Schönfinkel:
  • Moses (Ilyich) Schönfinkel
    Moses Schönfinkel
    Moses 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 class
      Bernays–Schönfinkel class
      The 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önfinkelisation
      Currying
      In 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önfinkelization
      Currying
      In 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...

  • Miron Konstantinovich Vladimirov, born Sheynfinkel' (ru)
The source of this article is wikipedia, the free encyclopedia.  The text of this article is licensed under the GFDL.
 
x
OK