Шейнфінкель Мойсей Ейлєвич
 Шейнфінкель[2][3] Мойсей Ейлєвич (Ілліч, Ісаєвич) (нім. Moses Schönfinkel; нар. 4 вересня 1889, Катеринослав, Російська імперія — пом. 1942, Москва, СРСР) — український та радянський логік та математик єврейського походження, відомий як винахідник комбінаторної логіки. ЖиттєписМойсей Шейнфінкель народився в Катеринославі в сім'ї купця першої гільдії Іллі Гіршевича Шейнфінкеля, який 22 лютого 1894 року разом з іншим катеринославським купцем Ароном Герцевічем Лур'є заснував торговий будинок «Лур'є та Шейнфінкель», який займався бакалійною торгівлею.[4][5][6] Навчався в Новоросійському університеті в Одесі, вивчаючи математику під керівництвом Самуїла Йосиповича Шатуновського (1859—1929), який працював в області геометрії та основ математики. З 1914 по 1924 роки стажувався в Геттінгенському університеті під керівництвом Давида Гільберта.[7] 7 грудня 1920 року, виступаючи перед колегами, виклав концепцію комбінаторної логіки. Його доповідь, опублікована у 1924 році в обробці Генріха Бемана, започаткувала дослідження Каррі і Черча в області основ математики.[8] У 1929 році була опублікована ще одна робота Шейнфінкель, підготовлена до друку Паулем Бернайсом. У ній Шейнфінкель запропонував варіант вирішення проблеми розв'язання для деяких окремих випадків формул вузького числення предикатів, вперше вказав систему аксіом, достатню для виведення всіх тотожно істинних імплікативних формул, відому як клас Бернайса — Шейнфінкеля.[9] Покинувши Геттінген, Шейнфінкель повернувся в Москву. У 1927 році він був визнаний психічно хворим та поміщений в психіатричну лікарню.[8][10] Його подальше життя пройшло в злиднях, помер він у Москві, приблизно в 1942 році. Його папери були пущені сусідами на розпалювання вогню.[10] ПрацяШейнфінкелем розроблена формальна система, що дозволяє уникати використання пов'язаних змінних. Його система була по суті еквівалентна комбінаторній логіці, заснованої на комбінаторах B, C, I, K та S. Шейнфінкелю вдалося показати, що система може бути скорочена лише до K і S, та викласти доказ того, що такий варіант системи так само повний, як і логіка предикатів.[8]. Його робота також показала, що функції двох або більше аргументів можуть бути замінені функцією яка приймає лише один аргумент. Механізм такої заміни спрощує роботу, як в термінах комбінаторної логіки, так і у лямбда-численні, і пізніше був названий каррінгом, в честь Гаскелла Каррі. Публікації
Примітки
Література та джерела
|
||||||||||||||||||||||||
.svg){kind=small}
Portal di Ensiklopedia Dunia
