WikiSort.ru - Космос

Платон Сергеевич Порецкий
Дата рождения	3 (15) октября 1846
Место рождения	Елисаветград, Херсонская губерния, Российская империя
Дата смерти	9 (22) августа 1907 (60 лет)
Место смерти	Жоведь, Черниговская губерния, Российская империя[1]
Страна	Российская империя
Научная сфера	логика, математика, астрономия
Место работы	Казанский университет
Альма-матер	Харьковский университет
Известен как	автор первых в России трудов по математической логике

Платон Сергеевич Порецкий (3 (15) октября 1846, Елисаветград — 9 (22) августа 1907, село Жоведь, Городнянский уезд, Черниговская область) — русский астроном, математик. Автор первых в России трудов по математической логике, активно занимался популяризацией этой дисциплины, первый из русских учёных, кто читал лекции по математической логике. Занимался проблематикой алгебры высказываний. Его работы (логическая теория канонических форм, алгоритм нахождения следствий из данных посылок и гипотез из данных следствий) оказали влияние на последующие работы в данной области.^[2] Хотя основной его специальностью была астрономия, как астроном Порецкий малоизвестен, популярность ему принесло его «хобби» — занятия математической логикой.

Биография

Платон Сергеевич родился 3 октября 1846 года в уездном городе Елизаветграде Херсонской губернии, где отец состоял на службе военным врачом. Вскоре отец его был переведён в Лохвицу, Полтавской губернии, где Платон Сергеевич провёл свою юность и окончил среднее образование. После окончания Полтавской гимназии он поступил на физико-математический факультет Харьковского университета, который и окончил в 1870 году. Ещё в университете Платон Сергеевич проявлял настолько выдающиеся способности, что по предложению профессора астрономии И. И. Федоренко был оставлен при университете профессорским стипендиантом по кафедре астрономии. В течение трёх лет, 1871—1874 годы, Платон Сергеевич готовился к сдаче магистерского экзамена и практиковался в астрономических наблюдениях на старой университетской обсерватории, помещавшейся на башне, на углу университетского корпуса. Сделанные им в это время наблюдения послужили для определения географических координат этой башни и были напечатаны в «Известиях университета» за 1873 год. Выдержав в 1873 году магистерский экзамен, Платон Сергеевич был оставлен стипендиантом ещё на год и в 1874 году был командирован Харьковским университетом в Пулковскую обсерваторию для приготовления к экспедиции в Астрахань для наблюдения прохождения Венеры.

Находясь в Пулково, Платон Сергеевич, кроме подготовки к наблюдениям Венеры, производил и другие наблюдения на 6-дюймовом рефракторе Харьковской обсерватории, предназначенном для наблюдения прохождения Венеры, и сделал длинный ряд наблюдений кометы Коджия, которые были впоследствии напечатаны в журнале «Astr.Nachr.» Неблагоприятная погода в Астрахани не позволила наблюдать прохождение Венеры, и Платон Сергеевич, сделав географическое определение места, выбранного для наблюдений, возвратился в Харьков.

В 1876 году Платон Сергеевич был избран астрономом-наблюдателем Казанского университета. В это время в Казанской обсерватории усиленно производились меридианные наблюдения звёзд казанской зоны для международного астрономического общества, и эта работа, производившаяся до того профессором М. А. Ковальским, перешла всецело в руки Платона Сергеевича Порецкого. В течение трёх лет (1876—1879 годы) он энергично наблюдал на меридианном круге и, хотя, после выхода I и II тома наблюдений зоны выяснилась необходимость произвести дополнительные наблюдения, здоровье Платона Сергеевича было уже настолько подорвано, что он не мог уже закончить этот труд и 31 января 1889 года вышел в отставку по болезни. Кроме указанных меридианных наблюдений, Платоном Сергеевичем Порецким в Казанской обсерватории были сделаны и многие другие наблюдения, как, например, наблюдения планеты Марс, кометы 1881 года.

Но деятельность практического астронома не могла удовлетворить Платона Сергеевича. Несмотря на расстроенное здоровье, он находил время для чисто научных работ и преподавательской деятельности, а все свободное время отдавал деятельности общественной. По основании в Казани секции физико-математических наук при Обществе естествоиспытателей, Платон Сергеевич с большой энергией отдавался интересам секции. Он был одним из деятельнейших её пожизненных членов, под его наблюдением издавался «Протокол» секции.

В 1884 году в «Протоколах» секции были напечатаны два тома его капитального сочинения: «Об основах математической логики» и «О способах решения логических равенств и об обратном способе математической логики». Не только в России, где это сочинение являлось на то время единственным в своём роде, оно и вообще в науке того времени может быть поставлено на один уровень с трактатами об этом предмете Буля, Шрёдера и Джевонса, Порецкий дополняет и развивает их идеи.^[3] В нём Платон Сергеевич Порецкий делает замечательный опыт построения полной и законченной теории качественных умозаключений.

В 1886 году также в приложениях к «Протоколам» секции было напечатано его сочинение: «К вопросу о решении некоторых нормальных систем, встречающихся в практической астрономии, с применением к определению погрешностей делений меридионального круга Казанской обсерватории». Это сочинение было представлено на факультете, как магистерская диссертация, но факультет признал его труд насколько выдающимся, что после защиты Платон Сергеевич был удостоен сразу степени доктора астрономии. В том же году Платон Сергеевич был назначен приват-доцентом по сферической тригонометрии и в 1887 и 1888 годах читал этот предмет и математическую логику. Его вступительная лекция «Исторический очерк развития сферической тригонометрии» была напечатана в «Протоколах» секции. В 1887 году Платон Сергеевич участвовал в экспедиции на реку Вятку для наблюдения в слободе Медянахе, близ города Вятки (ныне Киров), полного солнечного затмения. Из других его статей, помещённых в «Протоколах» секции, заслуживают упоминания: обширные исследования о простых числах; «Решение общей задачи теории вероятностей при помощи математической логики», где применяется теория, изложенная в сочинении «О способах решения логических равенств»; «О связи между днями года и днями недели» и многое другое.

Когда Платон Сергеевич решил оставить Казань, то секция физико-математических наук письменно благодарила его за полезные труды и поднесла ему на память 6 томов своих «Протоколов» в роскошном переплёте. В бытность в Казани Платон Сергеевич в течение нескольких лет состоял редактором газеты «Казанский биржевой листок», в котором, кроме серьёзных статей, помещались его юмористические стихотворения, а также его переводы стихов Беранже. В некрологе и в книге Н. И. Стяжкина приводятся ошибочные данные о том, что он был редактором газеты «Казанский телеграф». На самом деле это не так.^[4]

Поселившись по выходу в отставку в селе Жоведь Городнянского уезда Черниговской губернии, Платон Сергеевич не переставал трудится над разработкой решения логических равенств. В «Известиях Физико-Математического Общества» в последние годы его жизни было помещено несколько больших статей по этому предмету: «Sept lois foundamentales de la theorie des egalites logiques» (1898); «Quelques lois ulterieures» (1900—1901); «Theories des non egalites logiques» (1903). Интерес к науке не оставлял его до последних дней: он вёл деятельную переписку с некоторыми русскими и иностранными учёными и принимал заочное участие в международных конгрессах.

Скончался у себя в имении 9 августа (по другим источникам 10 августа^[5]) 1907 года в селе Жоведь Черниговской губернии, после продолжительной и тяжёлой болезни. В селе, где он провёл последние свои годы, его женой С. Д. Порецкой сооружена больница его имени, которая в будущем была передана земству.

Сочинения

• О способах решения логических равенств и об обратном способе, 1884
• Решение общей задачи теории вероятностей при помощи математической логики, 1887
• Из области математической логики, 1902
• Теория логических неравенств, 1904
• Объединённая теория логических равенств и неравенства, 1908

Примечания

Литература

• Слешинский И. Памяти Платона Сергеевича Порецкого (некролог) // В.О.Ф.Э.М.. — 1909. — № 487. — С. 145—148.
• Стяжкин Н. И. Формирование математической логики. М., 1967, с. 362—407.
• В. А. Бажанов. Жизнь и научная деятельность пионера исследований в области математической логики в России П. С. Порецкого // Вопросы истории естествознания и техники. — 2005. — № 4. — С. 64-73.
• В. А. Бажанов. История логики в России и СССР. Концептуальный контекст университетской философии. — М.: Канон+, 2007. — С. 147—161. — 336 с.