Порецкий Платон Сергеевич [15.10.1846-22.08.1907]

Порецкий Платон Сергеевич [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.

А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я
Оглавление | Все источники



Поддержите культуру
ЯндексЯндекс. ДеньгиХочу такую же кнопку

Google
 
Web azdesign.ru az-libr.ru


Дата последнего изменения:
Wednesday, 23-Oct-2013 09:01:48 UTC