Платон Порецкий

Платон Сергеевич Порецкий 3 и , ( октября 1846 Елисаветград , Российская империя — 9 августа 1907, уезд , Черниговская губерния , Российская империя) — выдающийся российский императорский астроном , математик Городнянский логик .

Окончил Харьковский университет , работал в Астрахани и Пулково в Петербурге .

Позже, будучи астрономом Казанского университета , Порецкий, следуя совету своего старшего коллеги, профессора математики А. В. Васильева в Казанском университете (отца Николая А. Васильева ) изучить труды Джорджа Буля , Порецкий разработал «логическое исчисление» и посредством конкретных « логические уравнения» применил его к теории вероятностей . Таким образом, он расширил и дополнил работы логиков и математиков Джорджа Буля, Уильяма Стэнли Джевонса и Эрнста Шредера (известный как метод Буля-Джевонса-Шредера-Порецкого). ^[1] Он открыл закон форм Порецкого. ^[2] и дал первую общую трактовку предшествующих и последующих булевых рассуждений: ^[3]^[4] заложив основу для Арчи Блейка работы над канонической формой Блейка . ^{[ сомнительно – обсудить ]}

Ссылки

^ Brusentsov, Nikolay Petrovich; Vladimirova, Julia Sergeevna (October 1998). "Solution of Boolean equations". Computational Mathematics and Modeling . 9 (4): 287–295. doi : 10.1007/BF02409862 . S2CID 122112834 . (Translated from "Metody Matematicheskogo Modelirovaniya", 1998, pp. 59–68.)
^ Poretsky, Platon Sergeevich (1884). "O sposobach reschenija lopgischeskich rawenstw i ob obrathom spocobe matematischeskoi logiki" О способах решения логических равенств и об обратном способе [О методах решения логических равенств и обратном методе математической логики. Очерк построения полной и доступной теории дедукции на качественных формах. Сборник отчетов заседаний секции физико-математических наук Общества естествоиспытателей Казанского университета (на русском языке) (2). (Примечание. Эту публикацию также называют «О методах решения логических равенств и об обратном методе математической логики».)
^ Порецкий, Платон Сергеевич (1898). «Семь фундаментальных законов теории двучленных логических равенств». Вестник Казанского физико-математического общества (на французском языке). 2 (8): 33–103, 129–181, 183–216.
^ Браун, Фрэнк Маркхэм [в Викиданных] (2012) [2003, 1990]. «Глава 3: Каноническая форма Блейка». Булево рассуждение - Логика булевых уравнений (переиздание 2-го изд.). Минеола, Нью-Йорк: Dover Publications, Inc., с. 77. ИСБН 978-0-486-42785-0 . [1]

Дальнейшее чтение

Стяжкин Николай Иванович. История математической логики от Лейбница до Пеано . Кембридж, Массачусетс/Лондон, MIT Press, 1969.
Бажанов Валентин Алексеевич Новые архивные материалы о П. С. Порецком. В: Современная логика, 1992, вып. Т. 3. № 1. С. 80–81.
Bazhanov, Valentin A. Life and Academic Work of Mathematical Logic Research Pioneer in Russia P. S. Poretsky . In: Voprosy Istorii Estestvoznania i Tekhniki, 2005, N 4. pp. 64–73 (in Russian).
Бажанов Валентин Алексеевич История логики в России и СССР . Москва, Канон+ , 2007 (на русском языке). ISBN 5-88373-032-9

Внешние ссылки

Платон Порецкий в архиве истории математики MacTutor
S. L. Katrechko, Platon Sergeevich Poretskij

Эта российская биографическая статья незавершена . Вы можете помочь Википедии, расширив ее .

Эта статья о русском математике незавершена . Вы можете помочь Википедии, расширив ее .

[Brusentsov-Vladimirova_1998-1] Brusentsov, Nikolay Petrovich; Vladimirova, Julia Sergeevna (October 1998). "Solution of Boolean equations". Computational Mathematics and Modeling . 9 (4): 287–295. doi : 10.1007/BF02409862 . S2CID 122112834 . (Translated from "Metody Matematicheskogo Modelirovaniya", 1998, pp. 59–68.)

[Poretsky_1884-2] Poretsky, Platon Sergeevich (1884). "O sposobach reschenija lopgischeskich rawenstw i ob obrathom spocobe matematischeskoi logiki" О способах решения логических равенств и об обратном способе [О методах решения логических равенств и обратном методе математической логики. Очерк построения полной и доступной теории дедукции на качественных формах. Сборник отчетов заседаний секции физико-математических наук Общества естествоиспытателей Казанского университета (на русском языке) (2). (Примечание. Эту публикацию также называют «О методах решения логических равенств и об обратном методе математической логики».)

[Poretsky_1898-3] Порецкий, Платон Сергеевич (1898). «Семь фундаментальных законов теории двучленных логических равенств». Вестник Казанского физико-математического общества (на французском языке). 2 (8): 33–103, 129–181, 183–216.

[Brown_2012-4] Браун, Фрэнк Маркхэм [в Викиданных] (2012) [2003, 1990]. «Глава 3: Каноническая форма Блейка». Булево рассуждение - Логика булевых уравнений (переиздание 2-го изд.). Минеола, Нью-Йорк: Dover Publications, Inc., с. 77. ИСБН 978-0-486-42785-0 . [1]

[1]

[2]

[3]

[4]

Базы данных авторитетного контроля
Международный	ВИАФ
академики	zbMATH
Другой	ИдРеф