Порецкий Платон Сергеевич

(15.10.1846—22.8.1907) — русский астроном и математик.

Род. в Елизаветграде (ныне Кировоград).

Окончил Харьков. ун-т (1870) и был оставлен профессорским стипендиатом на кафедре астрономии.

В 1876 избран астрономом-наблюдателем Казанского ун-та. В 1889 по состоянию здоровья вышел в отставку.

Работая астрономом-наблюдателем, одноврем. занимался проблемами матем. логики, а также пед. и общественной деятельностью.

Его важнейшие работы: "Об основах математической логики" и "О способах решения логических равенств и об обратном способе математической логики" (1884). Всесторонне обобщил и развил дальше достижения Дж. Буля, У. С. Джевонса и Ф. Э. Шредера в области алгебр. логики.

Первым в России читал в Казанском ун-те лекции по матем. логике.

Порецкий, Платон Сергеевич [03(15)10.1846—09(22).08.1907] — логик, астроном и математик, один из основоположников методов математической логики.

Род. в Елизаветграде Херсонской губ. Окончил Харьковский ун-т (1870) со степенью канд. физ.-матем. наук. С 1876 — астроном-наблюдатель Казанского ун-та, в 1887—1888 — преп., затем приват-доц. Именно здесь им был прочитан впервые в России курс лекций по матем. логике.

Получил важные результаты в обл. алгебры логики.

П. создал алгоритм, позволяющий эффективно находить для заданных предложений все определ. вида следствия, гипотезы и эквивалентные формы. Построил логич. теорию, содержащую элементы комбинированного исчисления высказываний и классов.

Скончался П. в с. Жоведь Черниговской губ. Соч.: Изложение основных начал "Математической логики" в возможно более наглядной и общедоступной форме. Казань, 1881; О способах решения логических равенств и об обратном способе математической логики.

Казань, 1884; Решение общей задачи теории вероятностей при помощи математической логики // Собрание протоколов заседаний секции физико-математических наук об-ва естествоиспытателей при Казанском ун-те. 1887. Т.5; Sept lois fondamentales de la theorie des egalites logiques // Известия физико-математического об-ва при Казанском ун-те. 1898. Т.8. № 2; Некоторые дополнительные законы теории логических равенств // Известия Казанского физико-математического общества. 1901. Т.Х; Из области математической логики.

М., 1902; Теория логических неравенств.

Казань, 1904; Объединенная теория логических равенств и неравенства.

Казань, 1908.