Выдержка из работы:
Введение
Ученые России и СССР внесли значительный вклад в развитие математической логики - как классических, так и неклассических ее разделов. Стоит вспомнить, например, имена А.Н. Колмогорова, И.И. Жегалкина, М.И. Шейнфинкеля, В.И. Шестакова, П.С. Новикова, А.И. Мальцева, Ю. В. Матиясевича и др. - если говорить об ее классических разделах, Н.А. Васильева, И.Е. Орлова, В.И. Гливенко, А.А. Маркова, Д.А. Бочвара, и др. - если иметь в виду ее неклассические разделы. Конечно, разделение логиков на «классиков» и «неклассиков» достаточно условно. Так, А.Н. Колмогоров оставил выдающиеся результаты и в классических, и в неклассических разделах современной логики.
Но кто же в когорте российских (советских) логиков был первым? Кто в России явился первооткрывателем этого - принципиального для судеб развития современной математики - направления?
..............................................................
Биография и краткий обзор работ
Отец П.С. Порецкого С.М. Порецкий родился в 1815 г. на Украине, в Лохвице. Он служил военным лекарем и, в частности, участвовал в обороне Севастополя. Дед П.С. Порецкого был дьяком.
П.С. Порецкий родился 3 октября 1846 года в Елисаветграде Херсонской губернии. После окончания Полтавской гимназии поступил на физико-математический факультет Харьковского университета, который закончил в 1870 году со степенью кандидата и после сдачи магистерского экзамена, по предложению профессора астрономии И.И. Федоренко, был оставлен при кафедре профессорским стипендиатом (1871 - 1874 гг.). Затем работал на обсерваториях в Астрахани, Пулково, и, наконец, с мая 1876 года Казани .
25 мая 1886 г. П.С. Порецкий на физико-математическом факультете Казанского университета защищает диссертацию на степень магистра астрономии на тему «К вопросу о решении некоторых нормальных систем, встречающихся в сферической астрономии, с применением к определению погрешностей деления меридианного круга Казанской обсерватории». Д.И. Дубяго в своем отзыве очень высоко оценивал диссертацию. Участники дискуссии также отмечали ее высочайший уровень и совет факультета «ввиду выдающихся достоинств» работы ходатайствовал о присуждении ему степени доктора астрономии . В этой работе Порецкий анализировал проблему понижения числа уравнений и неизвестных в системах циклических уравнений и предлагал методы вычисления ошибок деления Казанского меридианного круга. ............................................................
Заключение
Заметная роль в развитии алгебры логики на рубеже XIX — XX вв. принадлежит русскому логику и математику, профессору Казанского университета Платону Сергеевичу Порецкому (1846— 1907).
Работы П. С. Порецкого существенно обобщают и развивают достижения Буля, Джевонса и Шредера. Известный французский ученый Л. Кутюра, книга которого «Алгебра логики» вышла в свет в 1904 г., считал методы П. С. Порецкого кульминационным пунктом в развитии алгебры логики в тот период. ...................................................................
Список используемой литературы
1. Бажанов В.А. Профессор А.В. Васильев. Ученый, организатор науки, общественный деятель // Историко-математические исследования, 2002. Вып. 7 (42), -С. 120-148.
2. Джевонс С. Основы науки. СПб, 1881.
3. Дубяго Д.И. П.С. Порецкий (некролог) // Известия физико-математического общества при имп. Казанском университе, вторая серия, Т. 16, № 1, 1908. - С. 3-7 (отдельный оттиск).
4. Дубяго Д.И. Памяти Платона Сергеевича Порецкого (некролог). Предисловие И. Слешинского. Одесса, 1909‡.
............................................................