Мойсей Шейнфінкель – відомий дослідник, математик, один із найталановитіших учених у сфері логіки родом із Дніпропетровщини. Розробив спрощені методи для вивчення алгоритмів і застосування формул, які згодом почали успішно впроваджувати науковці у сфері фізики та комп’ютерних технологій. Про життя і праці вченого з Дніпра розповімо докладніше. Далі на dneprovskiye.info.
Дитинство майбутнього вченого
Талановитий учений народився у вересні 1889 року у Дніпрі, тоді місто мало назву Катеринослава. Батько хлопчика був відомим купцем так званої першої гільдії. У 1894 році разом зі ще одним впливовим городянином і партнером він відкрив торговельний дім, що отримав назву із зазначенням власників – “Лур’є і Шейнфінкель”, торгували чоловіки бакалією.
Уже в школі хлопчик виявляв інтерес до математики. Батьки бачили в сина здібності до точних наук і підтримували його прагнення.
Закінчивши школу, майбутній логік вступив на навчання до Новоросійського університету, тоді він працював в Одесі, вирішивши продовжувати вивчати курс математики.
Закінчивши навчання, у 1924 році виходець із Дніпра вступив на стажування до університету в Геттінгені, де десять років працював під керівництвом ще одного видатного вченого – німецького математика Давида Гільберта.
Перші дослідження
Ще навчаючись в університеті, у 1920 році математик розповів про свої дослідження з логіки і представив колегам власну нову концепцію, над якою працював у той період.
За чотири роки доповідь ученого опублікували, щоправда, в редакції Генріха Бемана. Як виявилося, надалі саме ця робота стала основою для досліджень Черча і Каррі, які також були видатними вченими та дослідниками в галузі математики.
У 1920-х роках молодий науковець вирішив покинути Геттінген і переїхати жити до Москви. Через обставини, які склалися в іншій країні, вчений не зміг займатися власними дослідженнями з колишніми темпами.
У 1927 році у талановитого логіка виявили психічне захворювання, через що чоловіка згодом помістили до лікарні для психічно хворих людей. Даних про те, на що саме хворів видатний математик, і чому його вирішили лікувати в лікарні, немає.
Подальше життя видатного математика пройшло у злиднях, а помер він у Москві. У джерелах вказується тільки рік смерті – 1942, точної дати вчені встановити не змогли. Роботи Шейнфінкеля, які він писав, зрештою використовували сусіди для розпалювання.
Наукові роботи логіка
У 1929 році побачила світ праця логіка, яку підготував до друку ще один математик Пауль Бернайс. У ній виходець із Дніпра запропонував поліпшені методи застосування формул під час вивчення та розрахунку предикатів. Логік тоді розробив і презентував колегам систему аксіом, де можна було виводити всі тотожно істинні імплікативні формули, а пізніше вона почала застосовуватися у кількох сферах.
За життя видатний логік зміг розробити спеціальну систему, де можна було за потреби не використовувати пов’язані змінні. По суті вона була еквівалентна методам з логіки, де використовують показники B, C, I, K і S.
Учений зміг показати, що систему не обов’язково використовувати в повному обсязі, а можна скоротити лише до показників K і S, і результат у підсумку буде таким самим точним.
Крім того, його праця показала, що функція з двома або більше аргументами може бути замінена такою самою, але тільки з одним.
Механізм прогресивної заміни дав змогу спростити роботу як у галузі вивчення комбінаторної логіки, так і математичних числень, а пізніше, вже після смерті вченого, він отримав назву каррінгу, на честь математика Гаскелла Каррі, який продовжив дослідження вченого з Дніпра.
Дослідники, вивчивши роботи логіка, визнали його одним із найвидатніших і найталановитіших математиків.
Роботи талановитого вихідця з Дніпра мали значний вплив і на розвиток інформатики.
На основі його робіт розробили та почали успішно застосовувати кілька методів тестування і розроблення програм, що дають змогу перевірити та довести їхню придатність для різних цілей із дивовижною точністю. Такі методи почали широко використовувати у сфері інформатики, для розробки комп’ютерних систем і точних апаратів.
Крім того, саме Шейнфінкель вважається батьком “теорії верифікації”, хоч він і не встиг опублікувати всі свої роботи за життя. Математик вплинув на розвиток теоретичних досліджень у галузі комп’ютерних наук, його роботи допомогли вченим надалі значно просунутися в розумінні основних і важливих аспектів під час вивчення роботи різноманітних алгоритмів, які є важливими в процесі побудови безпечних і надійних систем.
Роботи вихідця з Дніпра з логіки допомогли вченим переглянути та заново вивчити теорії доведення теорем. Вчений показав, що використовуючи більш точні та перевірені методи, можна отримати правильні та точні результати, без приблизних значень.
Математики та науковці використовують методи та ідеї, розроблені вченим, особливо під час розв’язання складних теорем.
Методи та ідеї логіка також почали застосовувати у фізиці для розробки методів, які допомагають із пошуком точних доказів навіть для складних теорем.