- РУС
- ТАТ
Математик, астроном, логик
3 октября 1846 г., город Елизаветград, ныне Кировоград – 9 августа 1907 г., село Жоведь, ныне Черниговской области Украинской Республики.
Окончил Харьковский университет (1870).
В 1876–1889 гг. работал в Казанском университете: астроном-наблюдатель, приват-доцент (с 1886 г.).
Труды по проблемам алгебры логики, понимаемой им как «исчисление логических равенств».
Комбинаторно-логические результаты Порецкого в этой области оказали влияние на дальнейшее развитие математической логики (например, на работы американского логика ХХ в. А.Блейка).
Порецкий – первый в России ученый, читавший лекции по математической логике и ее приложениям к теории вероятностей.
О способах решения логических равенств и об обратном способе математической логики // Собрание протоколов заседаний секции физико-математических наук Общества естествоиспытателей при Казанском Императорском университете. 1884. Том 2.
Решение общей задачи теории вероятностей при помощи математической логики // Собрание протоколов заседаний секции физико-математических наук Общества естествоиспытателей при Казанском Императорском университете. 1887. Том 5.
Вы используете устаревшую версию браузера.
Для корректного отображения сайта обновите браузер.