Порецкий Платон Сергеевич
[15.10.1846-22.08.1907]
|
Другие персоны с фамилией Порецкий
Другие персоны с именем Платон Кто родился в этот день 15.10 Кто родился в этот год 1846 |
- логик, астроном и математик, один из основоположников методов математической логики.
Род. в Елизаветграде Херсонской губ.
Окончил Харьковский университет (1870) со степенью кандидата физико-математических наук.
С 1876 - астроном-наблюдатель Казанского университета,
в 1887-1888 - преподаватель, затем приват-доцент.
Именно здесь им был прочитан впервые в России курс лекций по математической логике. Получил важные результаты в области алгебры логики. Порецкий создал алгоритм, позволяющий эффективно находить для заданных предложений все определенного вида следствия, гипотезы и эквивалентные формы. Построил логическую теорию, содержащую элементы комбинированного исчисления высказываний и классов.
Скончался Порецкий в с.Жоведь Черниговской губ.
Литература и другие источники информации