Platón Poretsky

Platón Poretsky

Platon Sergeevich Poretsky ( 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 en 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 los trabajos de George Boole , Poretsky desarrolló el "cálculo lógico" y mediante métodos específicos. ecuaciones lógicas" lo aplicó a la teoría de la probabilidad .Así, amplió y aumentó los trabajos de los lógicos y matemáticos George Boole, William Stanley Jevons y Ernst Schröder (conocido como método de Boole-Jevons-Schröder-Poretsky). ^[1] Descubrió la ley de las 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ática Computacional 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 resolución de igualdades lógicas y el método inverso de la lógica matemática. Un ensayo en la construcción de una teoría de deducción sobre formas cualitativas completa y accesible. Informes recopilados 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 denomina "Sobre métodos de solución de igualdades lógicas y método inverso de 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. 77.ISBN​ 978-0-486-42785-0.[1]

Otras lecturas

• 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: Lógica moderna, 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 PS 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 MacTutor de Historia de las Matemáticas
• SL Katrechko, Platon Sergeevich Poretskij