Platon Poretsky

From Wikipedia, the free encyclopedia

Platon Poretsky

Platon Sergeevich Poretsky (Russian: Платон Серге́евич Порецкий; 3 October 1846 in Elisavetgrad, Russian Empire – 9 August 1907 in Gorodnyansky Uyezd, Chernigov Governorate, Russian Empire) was a noted Russian Imperial astronomer, mathematician, and logician.

Graduated from Kharkov University, he worked in Astrakhan and Pulkovo in St. Petersburg.

Later, as an astronomer at Kazan University, following the advice of his older colleague Professor of Mathematics A. V. Vasiliev at Kazan University (father of Nicolai A. Vasiliev) to learn the works of George Boole, Poretsky developed "logical calculus" and through specific "logical equations" applied it to the theory of probability. Thus, he extended and augmented the works of logicians and mathematicians George Boole, William Stanley Jevons and Ernst Schröder (known as Boole–Jevons–Schröder–Poretsky method).[1] He discovered Poretsky's law of forms[2] and gave the first general treatment of antecedent and consequent Boolean reasoning,[3][4] laying the groundwork for Archie Blake's work on the Blake canonical form.[dubious ]

References[edit]

  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.)
  2. ^ Poretsky, Platon Sergeevich (1884). "O sposobach reschenija lopgischeskich rawenstw i ob obrathom spocobe matematischeskoi logiki" О способах решения логических равенств и об обратном способе [On methods of solving logical equalities and the inverse method of mathematical logic. An essay in construction of a complete and accessible theory of deduction on qualitative forms]. Collected Reports of Meetings of Physical and Mathematical Sciences Section of Naturalists' Society of Kazan University (in Russian) (2). (NB. This publication is also referred to as "On methods of solution of logical equalities and on inverse method of mathematical logic".)
  3. ^ Poretsky, Platon Sergeevich (1898). "Sept lois fondamentales de la théorie des égalités logiques à deux termes". Bulletin de la Société Physico-Mathématique de Kasan (in French). 2 (8): 33–103, 129–181, 183–216.
  4. ^ Brown, Frank Markham [at Wikidata] (2012) [2003, 1990]. "Chapter 3: The Blake Canonical Form". Boolean Reasoning - The Logic of Boolean Equations (reissue of 2nd ed.). Mineola, New York: Dover Publications, Inc. p. 77. ISBN 978-0-486-42785-0. [1]

Further reading[edit]

External links[edit]