Шейнфинкель, Моисей Эльевич: различия между версиями

'''Моисей (Моше) Исаевич (Ильич) Шейнфинкель''' (4 сентября 1889, [[Днепропетровск|Екатеринослав]] (ныне [[Днепропетровск]], [[Украина]]) — 1942, [[Москва]]) — русский [[логик]] и [[математик]], известный как изобретатель [[комбинаторная логика|комбинаторной логики]].

 

Шейнфинкель учился в [[Новороссийский университет|Новороссийском университете]] в [[Одесса|Одессе]], изучая математику под руководством [[Самуил Осипович Шатуновский|Самуила Осиповича Шатуновского]] (1859—1929), работавшего в области [[геометрия|геометрии]] и [[Основания математики|оснований математики]]. С 1914 по 1924 стажировался в [[Гёттингенский университет|Гёттингенском университете]] под руководством [[Гильберт, Давид|Давида Гильберта]].<ref name="CardoneHindley">{{Citation

| first1 = Felice | last1 = Cardone

Покинув Гёттинген, Шейнфинкель вернулся в Москву. В 1927 году он был признан психически больным и помещён в психиатрическую лечебницу.<ref name="Kline"> {{Citation | first=G. L. | last=Kline | title=Review of Foundations of mathematics and mathematical logic by S. A. Yanovskaya | journal=Journal of symbolic Logic | volume=16 | pages=46–48 | year=1951 | doi=10.2307/2268665}}</ref><ref name="Archives" /> Его последующая жизнь прошла в нищете, и он умер в Москве, где-то в 1942 году. Его бумаги были пущены соседями на растопку.<ref name="Kline" />

 

Шейнфинкелем разработана формальная система, позволяющая избегать использования связанных переменных. Его система была по существу эквивалентна комбинаторной логике, основанной на комбинаторах '''B''', '''C''', '''I''', '''K''' и '''S'''. Шейнфинкелю удалось показать, что система может быть сокращена лишь до '''K''' и '''S''', и изложить доказательство того, что такой вариант системы так же полон, как и [[логика предикатов]]<ref name="Archives" />.

 

Его работа также показала, что функции двух или более аргументов может быть заменена функцией принимающий лишь один аргумент. Механизм такой замены упрощает работу как в терминах комбинаторной логики, так и [[лямбда-исчисление|лямбда-исчисления]] и позднее назван [[каррирование]]м, в честь [[Хаскелл Карри|Хаскелла Карри]].

 

* 1924. «Über die Bausteine der mathematischen Logik», ''Mathematische Annalen'' '''92''', pp. 305—316. Stefan Bauer-Mengelberg перевёл эту статью как «On the building blocks of mathematical logic» в [[Хейенорт, Жан ван|Jean van Heijenoort]], 1967. ''A Source Book in Mathematical Logic, 1879—1931''. Harvard Univ. Press: 355-66.

* 1929. (with [[Бернайс, Пауль|Paul Bernays]]) "Zum Entscheidungsproblem der mathematischen Logik, " ''Mathematische Annalen 99'': 342-72.