RUS  ENG
Полная версия
ЖУРНАЛЫ // Информатика и автоматизация // Архив

Тр. СПИИРАН, 2015, выпуск 43, страницы 5–26 (Mi trspy837)

Теоретическая и прикладная математика

Предисловие и вступительная статья к переизданию работы П.С. Порецкого «Решение общей задачи теории вероятностей при помощи математической логики»

И. А. Рябининa, А. В. Струковb

a Военно-морская академия им. Н. Г. Кузнецова
b АО Специализированная инжиниринговая компания «Севзапмонтажавтоматика» (СПИК СЗМА)

Аннотация: Предисловие и вступительная статья представляют переиздание работы Платона Сергеевича Порецкого, которая была записана как лекция 25 октября 1886 г. В предисловии дана краткая историческая справка о работах П.С. Порецкого в области математической логики и ее применимости к другим областям науки, в том числе и к теории вероятностей. Вступительная статья имеет основной целью показать, как в конце XIX века было сформировано начало логико-вероятностного анализа (ЛВА), суть которого состоит в корректном переходе от логического равенства между событиями к алгебраическому равенству между их вероятностями. Показано, что дальнейшее развитие ЛВА было вызвано практической потребностью в 60-х годах прошлого столетия в оценке надежности цифровых схем, а также надежности и безопасности структурно сложных систем. Обсуждается сложный математический и философский вопрос о сущности принципиально разных понятий – вероятностной логики (ВЛ) и логики вероятностей (ЛВ).

Ключевые слова: математическая логика; теория вероятностей; логико-вероятностный анализ; ортогональная дизъюнктивная нормальная форма (ОДНФ), функции алгебры логики (ФАЛ).

УДК: 510.66

DOI: 10.15622/sp.43.1



© МИАН, 2024