Difference between revisions of "Moses Schönfinkel"
From Wiki @ Karl Jones dot com
Karl Jones (Talk | contribs) (Created page with "Moses Ilyich Schönfinkel, also known as Moisei Isai'evich Sheinfinkel' (Russian: Моисей Исаевич Шейнфинкель; 4 September 1889 – 1942), was a Russian...") |
Karl Jones (Talk | contribs) (→See also) |
||
| Line 5: | Line 5: | ||
* [[Bernays–Schönfinkel class]] | * [[Bernays–Schönfinkel class]] | ||
* [[Combinatory logic]] | * [[Combinatory logic]] | ||
| + | * [[Currying]] | ||
* [[Decision problem]] | * [[Decision problem]] | ||
* [[Free and bound variables]] | * [[Free and bound variables]] | ||
Revision as of 15:30, 16 May 2016
Moses Ilyich Schönfinkel, also known as Moisei Isai'evich Sheinfinkel' (Russian: Моисей Исаевич Шейнфинкель; 4 September 1889 – 1942), was a Russian logician and mathematician, known for the invention of combinatory logic.
See also
- Bernays–Schönfinkel class
- Combinatory logic
- Currying
- Decision problem
- Free and bound variables
- Predicate logic
External links
- Moses Schönfinkel @ Wikipedia
