Más tarde, como astrónomo en la universidad de Kazán, siguiendo el consejo de su colega mayor, el profesor de Matemáticas A.V Vasiliev en la Universidad Federal de Kazan (padre de Nicolai A. Vasiliev). Para aprender los trabajos de George Boole, Poretsky desarrolló "cálculo lógico" y a través de las "ecuaciones lógicas concretas" lo aplicó a la teoría de probabilidad. Así, estudió y amplió las obras de los matemáticos George Boole, William Stanley Jevons y Ernst Schröder. Descubrió la ley de las formas Poretsky y dio el primer tratamiento general al razonamiento Booleano, tanto antecedente y consecuente, sentando las bases para las obras de Archie Blake sobre la Forma canónica de Blake.[1]
Notas
↑Platón Poretsky, "Siete leyes fundamentales de la teoría de las igualdades lógicas", ''Boletín de la Sociedad Físico-Matemática de Kasan'', '''2:8'':33–103, 129–181, 183 –216, 1898, citado en Frank Markham Brown, ''Boolean Reasoning: The Logic of Boolean Equations'', 2ª edición, 2003, p. 77
Referencias
Styazhkin, N.I. Historia de Lógica Matemática de Leibniz a Peano. Cambridge, Masa./ Londres, MIT Prensa, 1969.
Bazhanov, V.A. Materiales Archivísticos nuevos, Respecto de P.S. Poretsky. En: Lógica Moderna, 1992, vol. 3. N 1. pp. 80@–81.
