Люди Дніпра: Мойсей Шейнфінкель – винахідник комбінаторної логіки

Цього року виповнюється 135 років від дня народження катеринославського вченого, про якого нині мало хто знає.

Тим часом ім'я народженого в Катеринославі Мойсея Шейнфінкеля у світовій науці чудово відоме. Він справедливо вважається винахідником принципів комбінаторної логіки, яка стала однією з основ сучасної математики.

Що таке комбінаторна логіка? Комбінаторна логіка - напрямок математичної логіки, що займається фундаментальними (тобто такими, що не потребують пояснення і не аналізуються) поняттями та методами формальних логічних систем або обчислень. У дискретній математиці комбінаторна логіка тісно пов'язана з лямбда-обчисленням, оскільки визначає обчислювальні процеси. Незабаром виявилося, що обидві ці системи можна розглядати як мови програмування.

До теперішнього часу обидві ці мови не тільки стали основою для всієї маси досліджень в галузі інформатики, але й широко використовуються в теорії програмування. Зростання обчислювальної потужності комп'ютерів призвело до автоматизації значної частини теоретичного (логічного і математичного) знання, а комбінаторна логіка разом із лямбда-числением визнаються основою міркувань у термінах об'єктів.

Про життя нашого видатного, але майже забутого вченого нагадав Павло Лисянський:

«Винахідник комбінаторної логіки.

Мойсей Шейнфінкель (1889 – 1942) з'явився на світ у Катеринославі в сім'ї купця першої гільдії Іллі Гіршевича Шейнфінкеля, який займався бакалійною торгівлею та разом зі своїм партнером заснував торговий дім «Лур'є та Шейнфінкель».

Як і батько, хлопчик мав відмінні математичні здібності, але пішов не в торгівлю, а в науку — Мойсей вступив до Новоросійського університету в Одесі і почав вивчати математику.

Як і багато інших представників науки того часу, Шейнфінкель вирушив удосконалювати свої знання до Німеччини — з 1914 по 1924 роки він стажувався в Геттінгенському університеті під керівництвом знаменитого німецького математика Давида Гільберта. Студентом він був не просто здібним, а по-справжньому геніальним.

7 грудня 1920 Шейнфінкель у виступі перед іншими математиками виклав концепцію комбінаторної логіки, і доповідь на цю тему, опублікована через 4 роки, була покладена в основу досліджень у галузі фундаментальних підстав обчислювальної математики.

Вчений продовжував свою роботу, роблячи все більше і більше відкриттів у своїй сфері, але його психічне здоров'я при цьому з кожним роком ставало дедалі гіршим.

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

Останні роки життя Шейнфінкеля були трагічними — він жив у злиднях, і умов для роботи практично не було. Він помер у Москві у важкому 1942 році, але день його смерті, на жаль, нікому не відомий.

Цілком можливо, що Шейнфінкель зробив ще більше відкриттів, але після смерті вченого сусіди пустили його робочі папери на розпал…».

Більше про його наукові праці можна прочитати тут