Моисей Шейнфинкель — человек, придумавший язык, на котором разговаривают компьютеры

В истории математики есть имена, которые долгое время оставались в тени, хотя их идеи изменили сам способ нашего мышления. Одним из таких гениев был Моисей Эльевич Шейнфинкель (Moses Schenfinkel) — русский и советский логик и математик, родившийся 4 сентября 1889 года в Екатеринославе (ныне Днепр, Украина). Его судьба трагична и загадочна, а наследие — фундаментально для современной информатики.

В 1920 году на заседании Московского математического общества Шейнфинкель представил доклад под названием «?ber die Bausteine der mathematischen Logik» — «О строительных блоках математической логики». В этой работе он предложил новую концепцию — комбинаторную логику, систему, которая позволяла описывать логику и математику без переменных.

Звучит абстрактно? На самом деле, это как создание алфавита для компьютеров ещё до того, как компьютеры существовали. Идея Шейнфинка заключалась в том, что все логические выражения можно свести к комбинациям всего нескольких базовых элементов — комбинаторов. Этот подход позже вдохновил Алонзо Чёрча при создании ?-исчисления и повлиял на разработку современных языков программирования и теории функциональных вычислений.

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

Сегодня имя Моисея Шейнфинка известно в кругах логиков и программистов. Его идеи лежат в основе функционального программирования и всех современных вычислительных систем. Можно сказать, что каждый раз, когда мы пишем код на Python, JavaScript или Haskell, мы в каком-то смысле говорим на языке, который начал строить Шейнфинкель более ста лет назад.

Как думаете, в каких ещё областях человеческой мысли можно обнаружить идеи, опередившие своё время на десятилетия, а то и века?

Источник: vk.com

Комментарии: