На этом шаге мы приведем краткие биографические сведения о двух математиках, чьи работы были положены в основу этого языка.
Шейнфинкель Моисей Исаевич (04.09.1887(1889?), Екатеринослав - 1.09.1942, Москва) - советский математик, предшественник комбинаторной логики, отличался оригинальностью выдвигаемых им идей. Изучал математику в г.Одессе в Новороссийском университете. Его руководителем был С.О.Шатуновский - известный российский математик, много внимания уделявший вопросам геометрии и её оснований. В 1914 М.Шейнфинкель приезжает в Гёттинген к Д.Гильберту. Известность пришла к М.Шейнфинкелю благодаря докладу, который он сделал 7 декабря 1920 перед Математическим обществом Гёттингена. Д.Гильберт рекомендовал доклад к публикации, которая и была осуществлена четырьмя годами позже в математическом журнале "Mathematische Annalen". Помощь в подготовке публикации оказал Г.Беман.
В Гёттингене М.Шейнфинкель тесно общался с П.Бернайсом, который был его ровесником. В 1929 ими была подготовлена совместная публикация, посвящённая проблеме разрешимости для одного частного класса формул исчисления предикатов. К тому времени М.Шейнфинкель уже вернулся в СССР. Последние годы жизни он провёл в Москве, где страдал от нищеты, лечился от психического расстройства и умер в 1942 в госпитале. Ни точная дата смерти, ни место погребения неизвестны. Во время войны, чтобы хоть как-нибудь согреться, бывшие соседи М.Шейнфинкеля сожгли все его рукописи в печи.
При всей ясности изложения результаты М.Шейнфинкеля были настолько необычны, что требовали глубокого осмысления. Он всего лишь заложил первый камень в исследования по комбинаторной логике, но не успел оформить их в законченную систему. Её современным видом и самим термином мы обязаны Хаскеллу Бруксу Карри, который самостоятельно переоткрыл комбинаторную логику и вдохнул в неё жизнь.
Карри Хаскелл Брукс (12.09.1900-01.09.1982) - американский математик, логик и философ. Им разработаны основы комбинаторной логики (пользующейся системой исходных функций, называемых комбинаторами), которая, в свою очередь, явилась стимулом становления парадигм аппликативного и функционального программирования. Существенно повлиял на развитие математической логики (логики Чёрча-Карри). Программа его исследований способствовала становлению конструктивного подхода к анализу оснований математики. Способствовал формированию направлений структурализм и формализм в метаматематике.
В честь Х.Карри были названы языки программирования Haskell и Curry (создан на основе языка Haskell).
Основными трудами являются:
- Curry H.B., Feys R. Combinatory Logic. - Vol. I, North-Holland Co., Amsterdam, 1958.
- Curry H.B., Hindley R., Seldin J.P. Combinatory Logic. - Vol. II. Studies in Logic 65, North-Holland Co., Amsterdam, 1972.
- Карри Х.Б. Основания математической логики. - М.: Мир, 1969. - 568 с.
В [3] выполнено детальное изучение основных понятий математической логики. Представлена общая теория формальных систем и исчислений. Обсуждены общие методологические вопросы, последовательно описаны исчисления, содержащие импликацию, отрицание и кванторы. Рассмотрены вопросы теории модальностей.
На следующем шаге мы приведем задачи для самостоятельного решения.
