User:24RA42/sandbox

Moses Schönfinkel
Мојсије Илич Шонфинкел такође познат као Moisei Isai'evich Sheinfinkel'  (Руски -Моисей Исаевич Шейнфинкель 4 септембар 1889-1942) био је руски логичар и математичар,познат је по  логици комбинсторике.

Живот
Schönfinkel је похађао Novorossiysk универзитет у Одеси, проучавао је математику са  Самуил Осипович Шатуновскии (1859–1929), који је радио на геометрији и основама математике. Од 1914. године до 1924. године Шонфинкел, је био члан групе Давида Хилберта  на Универзитету у Гетингену. Дана 7. децембра 1920. године он је одржао говор у групи где је predstavio koncept kombinatorne logike. Хајнрих Бехман, члан Хилберт групе, касније je ревидирао текст и објавио га 1924. Године 1929., Шонфинкел је имао још један лист који је објавио, о посебним случајевима проблема одлучивања   који је припремио Паул Бернаис. Након што је напустио Гетинген, Шонфинкел се вратио у Москву. Од 1927. је пријављено да је ментално болестан и да је u санаторијуму. Остатак свог живота је провео у сиромаштву, a preminuo je у Москви 1942. Његове радове су спалиле његове комшије ради грејања.

Рад
Шонфинкел је развијо  формални систем који избегава употребу повезаних варијабли. Његов систем је у суштини еквивалент комбинаторној логици заснованој на комбинацији Б, Ц, И, К, С. Шонфинкел је био у стању да покаже да се систем може свести само на К и С  и представио је доказ да верзија овог система има исту моћ као предикатска логика. Његов рад је такође показаo да се функције са два или више аргумента могу заменити са функцијама једног аргумента. Овај механизам замене олакшава рад у комбинаторној логици и ламбда рачуна и тај механизам  касније се назива curring,по  Haskell-u Curry-u..Док Кари приписује овај концепт Сонфинкелу, он је већ био у употреби од стране Фрегела