Про знаменитості

Біографія

Мойсей Ісаєвич Шейнфінкель: біографія

-

російський логік і математик, відомий як винахідник комбінаторної логіки

Життя

Шейнфінкель навчався в Новоросійському університеті в Одесі, вивчаючи математику під керівництвом Самуїла Осиповича Шатуновського (1859-1929), який працював в галузі геометрії і підстав математики. З 1914 по 1924 стажувався в Геттінгенському університеті під керівництвом Давида Гільберта. 7 грудня 1920 він, виступаючи перед колегами, виклав концепцію комбінаторної логіки. Його доповідь, опублікований в 1924 (в обробці Бема), поклав початок дослідженням Каррі і Черча в області підстав математики. У 1929, Шейнфінкель запропонував варіант вирішення проблеми дозволу для деяких окремих випадків формул вузького числення предикатів; вперше вказав систему аксіом, достатню для виведення всіх тотожно істинних импликативную (містять єдину зв'язку «о») формул.

Покинувши Геттінген, Шейнфінкель повернувся в Москву. У 1927 році він був визнаний психічно хворим і поміщений в психіатричну лікарню. Його подальше життя пройшла в злиднях, і він помер у Москві, де то в 1942 році. Його папери були пущені сусідами на підпал.

Праці

Шейнфінкелем розроблена формальна система, що дозволяє уникати використання пов'язаних змінних. Його система була по суті еквівалентна комбінаторної логіки, заснованої на комбінатораB,C,I,KтаS. Шейнфінкелю вдалося показати, що система може бути скорочена лише доKтаS, і викласти доказ того, що такий варіант системи так само сповнений, як і логіка предикатів.

Його робота також показала, що функції двох або більше аргументів може бути замінена функцією приймає лише один аргумент. Механізм такої заміни спрощує роботу як в термінах комбінаторної логіки, так і лямбда-числення і пізніше названий каррірованіем, на честь Хаскелл Каррі.

Публікації

1929. (With Paul Bernays) "Zum Entscheidungsproblem der mathematischen Logik,"Mathematische Annalen 99: 342-72.
1924. "?ber die Bausteine ??der mathematischen Logik",Mathematische Annalen92, 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.