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