Moses Schönfinkel
From Wiki @ Karl Jones dot com
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