Platón Poretsky

Platón Poretsky

Platon Sergeevich Poretsky ( ‹Ver Tfd› ruso : Платон Серге́евич Порецкий ; 3 de octubre de 1846 en Elisavetgrad , Imperio ruso – 9 de agosto de 1907 en Gorodnyansky Uyezd , gobernación de Chernígov , Imperio ruso) fue un destacado astrónomo , matemático y lógico imperial ruso .

Graduado de la Universidad de Jarkov , trabajó en Astracán y Pulkovo en San Petersburgo .

Más tarde, como astrónomo en la Universidad de Kazán , siguiendo el consejo de su colega mayor, el profesor de matemáticas AV Vasiliev en la Universidad de Kazán (padre de Nicolai A. Vasiliev ), de aprender las obras de George Boole , Poretsky desarrolló el "cálculo lógico" y a través de "ecuaciones lógicas" específicas lo aplicó a la teoría de la probabilidad .De esta manera, amplió y aumentó los trabajos de los lógicos y matemáticos George Boole, William Stanley Jevons y Ernst Schröder (conocido como el método de Boole–Jevons–Schröder–Poretsky). ^[1] Descubrió la ley de formas de Poretsky ^[2] y dio el primer tratamiento general del razonamiento booleano antecedente y consecuente, ^{[3] [4]} sentando las bases para el trabajo de Archie Blake sobre la forma canónica de Blake . ^{[ dudoso – discutir ]}

Referencias

1. Brusentsov, Nikolay Petrovich; Vladimirova, Julia Sergeevna (octubre de 1998). "Solución de ecuaciones booleanas". Matemáticas computacionales y modelado . 9 (4): 287–295. doi :10.1007/BF02409862. S2CID  122112834.(Traducido de "Metody Matematicheskogo Modelirovaniya", 1998, págs. 59–68.)
2. Poretsky, Platon Sergeevich (1884). "O sposobach reschenija lopgischeskich rawenstw i ob obrathom spocobe matematischeskoi logiki"О способах решения логических равенств и об об обратном способе[Sobre los métodos de solución de igualdades lógicas y el método inverso de la lógica matemática. Un ensayo sobre la construcción de una teoría completa y accesible de la deducción sobre formas cualitativas]. Recopilación de informes de reuniones de la Sección de Ciencias Físicas y Matemáticas de la Sociedad de Naturalistas de la Universidad de Kazán (en ruso) (2).(NB. Esta publicación también se conoce como "Sobre métodos de solución de igualdades lógicas y sobre el método inverso de la lógica matemática").
3. Poretsky, Platon Sergeevich (1898). "Sept lois fundamentales de la théorie des égalités logiques à deux termes". Bulletin de la Société Physico-Mathématique de Kasan (en francés). 2 (8): 33–103, 129–181, 183–216.
4. Brown, Frank Markham [en Wikidata] (2012) [2003, 1990]. "Capítulo 3: La forma canónica de Blake". Razonamiento booleano: la lógica de las ecuaciones booleanas (reedición de la 2.ª ed.). Mineola, Nueva York: Dover Publications, Inc. pág. 77. ISBN 978-0-486-42785-0.[1]

Lectura adicional

• Styazhkin, Nicholai Ivanovich. Historia de la lógica matemática desde Leibniz hasta Peano . Cambridge, Mass./ Londres, MIT Press, 1969.
• Bazhanov, Valentin A. Nuevos materiales de archivo sobre PS Poretsky. En: Modern Logic, 1992, vol. 3, n.º 1, págs. 80-81.
• Bazhanov, Valentin A. Vida y obra académica del pionero de la investigación en lógica matemática en Rusia, P. S. Poretsky. En: Voprosy Istorii Estestvoznania i Tekhniki, 2005, N.º 4, págs. 64–73 (en ruso).
• Bazhanov, Valentin A. Historia de la lógica en Rusia y la URSS . Moscú, Kanon+, 2007 (en ruso). ISBN 5-88373-032-9 

Enlaces externos

• Platon Poretsky en el archivo de Historia de las Matemáticas de MacTutor
• SL Katrechko, Platon Sergeevich Poretski