Про знаменитості
Платон Сергійович Порецький: біографія
-
російський логік, математик, астроном
Біографія
У 1870 році закінчив фізико-математичний факультет Харківського університету, працював у Пулково і Астрахані. У 1876-89 роки - в Казанському університеті, спершу астрономом-спостерігачем, з 1886 року доктор астрономії і приват-доцент. В період роботи в університеті вивчає праці Джорджа Буля та інших логіків. Надалі він перший російський математик, який читає лекції з математичної логіки і займається популяризацією дисципліни, автор перших у Росії праць з математичної логіки.
Займається проблематикою алгебри логіки, розвиває і доповнює ідеї Буля, Джевонса, Шредера. Його роботи (логічна теорія канонічних форм, алгоритм знаходження наслідків з даних посилок і гіпотез з даних наслідків) вплинули на подальші роботи в галузі математичної логіки.
Твори
- Теорія логічних нерівностей, 1904
- З області математичної логіки, 1902
- Рішення загальної задачі теорії ймовірностей за допомогою математичної логіки, 1887
- Об'єднана теорія логічних рівностей і нерівності, 1908
- Про способи вирішення логічних рівностей і про зворотне способі, 1884
