Головна

   Велика Радянська Енциклопедія



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

   
 

Порицький Платон Сергійович [3 (15) .10.1846, Єлизаветград, нині Кіровоград, - 9 (22) .8.1907, село Жовідь, нині Чернігівської області], російський математик, астроном, логік. У 1870 закінчив фізико-математичний факультет Харківського університету. У 1876-89 працював в Казанському університеті (спочатку астрономом-спостерігачем, з 1886 на посаді приват-доцента). Найбільш значний внесок П. в математичну логіку , визначається ним як "логіка по предмету, математика за методами"; він був першим російським ученим, що читала лекції з математичної логіці і її додатків до теорії ймовірностей. П. займався переважно проблемами алгебри логіки , розуміється ним (у розвиток ідей Дж. Буля , У. С. Джевонса і Е. Шредера) як "обчислення логічних рівностей". Комбінаторно-логічні результати П. в цій області, зокрема його теорія т. н. канонічних форм (узагальнююча класичну теорію "нормальних форм" в логіці висловлювань), вплинули на подальший розвиток математичної логіки (наприклад, на роботи американського логіка 20 в. А. Блейка).


Соч.: Про способи вирішення логічних рівностей і про зворотне способі математичної логіки, в кн.: Збори протоколів засідань секції фізико-математичних наук товариства дослідників природи при Казанському університеті, т. 2, Каз., 1884; Рішення загальної задачі теорії ймовірностей за допомогою математичної логіки, там же, т. 5, Каз., 1887.2

Літ.: Blake A., Canonical expressions in Boolean algebra, Chi., 1938; Стяжкин Н. І., Формування математичної логіки, М., 1967, гл. 9, ї2.





Виберіть першу букву в назві статті:

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

Повний політерний каталог статей


 

Алфавітний каталог статей

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