Биография Порецкий Платон Сергеевич
(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.
биография генерала авдеева алексея
Биография Порецкий Платон Сергеевич
Биография Порецкий Платон Сергеевич