Poretsky, Platon Sergejevič

Platon Sergejevič Poretskij
Datum narození 3. (15. října) 1846
Místo narození
Datum úmrtí 9. (22.) srpna 1907 (ve věku 60 let)
Místo smrti Vesnice Zhoved , Gorodnyansky uyezd , Chernihiv Governorate
Země ruské impérium
Vědecká sféra logika , matematika , astronomie
Místo výkonu práce Kazaňská univerzita
Alma mater Charkovská univerzita
Známý jako autor prvních prací v Rusku o matematické logice

Platon Sergeevich Poretsky ( 3. října  ( 15. ),  1846 , Elisavetgrad  - 9. srpna  ( 22 ),  1907 , vesnice Zhoved , Gorodnyansky okres , provincie Černigov ) - ruský astronom , matematik . Autor prvních prací v Rusku o matematické logice , aktivně se zapojil do popularizace této disciplíny, první ruský vědec, který přednášel matematickou logiku . Pracoval na problémech výrokové algebry . Jeho práce (logická teorie kanonických forem, algoritmus pro hledání důsledků z daných premis a hypotézy z daných důsledků) ovlivnily další práci v této oblasti [1] . Přestože jeho hlavní specializací byla astronomie, jak je astronom Poretsky málo známý, jeho "koníček" - studium matematické logiky - mu přinesl popularitu.

Životopis

Platon Sergejevič se narodil 3. října 1846 v okresním městě Elisavetgrad v provincii Cherson, kde byl jeho otec ve službách vojenského lékaře. Brzy byl jeho otec převelen do Lokhvitsa , provincie Poltava, kde Platon Sergejevič strávil mládí a dokončil své středoškolské vzdělání. Po absolvování poltavského gymnázia nastoupil na Fyzikálně-matematickou fakultu Charkovské univerzity, kterou absolvoval v roce 1870. Platon Sergejevič již na univerzitě prokázal tak vynikající schopnosti, že na návrh profesora astronomie I. I. Fedorenka byl ponechán na univerzitě jako profesorský stipendista na katedře astronomie. Po tři roky, 1871-1874, se Platon Sergejevič připravoval ke složení magisterské zkoušky a praktikoval astronomická pozorování na staré univerzitní observatoři, umístěné na věži na rohu budovy univerzity. Pozorování, která v té době provedl, sloužila k určení zeměpisných souřadnic této věže a byla publikována v Izvestiya Universiteta pro rok 1873. Po složení mistrovské zkoušky v roce 1873 byl Platon Sergejevič ponechán na další rok jako stipendista a v roce 1874 byl Charkovskou univerzitou poslán na Pulkovskou observatoř , aby se připravil na expedici do Astrachaně za pozorováním průchodu Venuše.

Platon Sergejevič v Pulkově kromě přípravy na pozorování Venuše prováděl další pozorování na 6palcovém refraktoru Charkovské observatoře, určeném k pozorování průchodu Venuše, a provedl dlouhou sérii pozorování komety Kodzhiya, které byly následně publikovány v časopise Astr.Nachr. » Nepříznivé počasí v Astrachani neumožnilo pozorování průchodu Venuše a Platon Sergejevič se po geografickém určení místa vybraného pro pozorování vrátil do Charkova.

V roce 1876 byl Platon Sergejevič zvolen astronomem pozorovatelem na Kazaňské univerzitě . V té době se na Kazaňské observatoři intenzivně prováděla pozorování poledníků hvězd kazaňské zóny pro mezinárodní astronomickou společnost a tato práce, dříve prováděná profesorem M. A. Kovalským , přešla zcela do rukou Platona Sergejeviče Poretského. Po tři roky (1876-1879) energicky pozoroval na poledníkové kružnici , a přestože po zveřejnění I. a II. svazku pozorování zóny byla jasná potřeba provést další pozorování, zdraví Platona Sergejeviče bylo již tak podlomeno, že tuto práci již nemohl dokončit a 31. ledna 1889 odešel pro nemoc do důchodu. Kromě uvedených pozorování poledníků provedl Platon Sergejevič Poretskij mnoho dalších pozorování na observatoři v Kazani, například pozorování planety Mars , komety z roku 1881.

Ale činnost praktického astronoma nemohla uspokojit Platona Sergejeviče. Přes svůj špatný zdravotní stav si našel čas na čistě vědeckou práci a výuku a veškerý volný čas věnoval společenským aktivitám. Na založení sekce fyzikálních a matematických věd ve Společnosti přírodovědců v Kazani se Platon Sergejevič s velkou energií věnoval zájmům sekce. Doživotně patřil k jejím nejaktivnějším členům, pod jeho dohledem vyšel „Protokol“ oddílu.

V roce 1884 vyšly v sekci „Protokoly“ dva svazky jeho hlavního díla: „O základech matematické logiky“ a „O způsobech řešení logických rovnic a o inverzní metodě matematické logiky“. Nejen v Rusku, kde byla tato práce v té době jediná svého druhu, lze ji a obecně v tehdejší vědě postavit na stejnou úroveň s pojednáními na toto téma od Boolea , Schroedera a Jevonse . , Poretsky doplňuje a rozvíjí jejich nápady. [2] Platon Sergejevič Poretskij v něm učinil skvělý pokus o vybudování úplné a úplné teorie kvalitativních závěrů. Hlavním směrem v Poretského logice byla jeho teorie důsledků a příčin logických rovnosti, kterou studoval v souvislosti s výkladem kanonických forem pro logické výrazy. Podle N. I. Styazhkina se „Poretsky pokusil vyřešit problém řešitelnosti v třídním počtu tím, že našel nejjednodušší a nejúčinnější algoritmus řešení“. Poretsky ve své logické teorii považoval za hlavní problém „řešení problému vyvozování důsledků z daného systému premis a nalezení těch premis, z nichž lze jako důsledek získat danou logickou rovnost“. Hlavní rozdíl mezi logikou a algebrou viděl v tom, že „první studuje ‚kvalitativní formy‘ a druhá ‚kvantitativní formy‘“. „Tyto rozdíly,“ píše Poretsky, „by však neměly zastírat to, co je oběma těmto vědám společné. Metoda matematické logiky je tedy podle svých charakteristik podobná matematické metodě algebry.

V roce 1886, rovněž v přílohách „Protokolů“ oddílu, byla publikována jeho esej: „O otázce řešení některých normálních systémů, se kterými se setkáváme v praktické astronomii, s aplikací při určování chyb v dělení poledníkové kružnice Kazaňská observatoř." Tato esej byla na fakultě prezentována jako diplomová práce , ale fakulta uznala jeho práci za natolik vynikající, že po obhajobě byl Platon Sergejevič okamžitě oceněn titulem doktora astronomie. Ve stejném roce byl Platon Sergejevič jmenován Privatdozentem ve sférické trigonometrii a v letech 1887 a 1888 vyučoval tento předmět a matematickou logiku . Jeho úvodní přednáška „Historický nástin vývoje sférické trigonometrie“ byla publikována v sekci „Protokoly“. V roce 1887 se Platon Sergejevič zúčastnil expedice k řece Vjatka, aby pozoroval úplné zatmění Slunce v osadě Medyanakh poblíž města Vjatka (nyní Kirov ) . Z jeho dalších prací, umístěných v sekci "Protokoly", stojí za zmínku: rozsáhlý výzkum prvočísel; „Řešení obecného problému teorie pravděpodobnosti pomocí matematické logiky“, kde je aplikována teorie uvedená v eseji „O metodách řešení logických rovnosti“; „O spojení dnů v roce a dnů v týdnu“ a mnoho dalšího.

Když se Platon Sergejevič rozhodl opustit Kazaň, sekce fyzikálních a matematických věd mu písemně poděkovala za užitečnou práci a přinesla mu na památku 6 svazků svých „Protokolů“ v luxusní vazbě . Když byl Platon Sergejevič v Kazani, byl několik let redaktorem kazaňských výměnných listů, do kterých byly kromě seriózních článků umístěny i jeho humorné básně a také jeho překlady Berangerových básní . V nekrologu a v knize N. I. Styazkina jsou uvedeny chybné údaje, že byl redaktorem novin Kazan Telegraph . Ve skutečnosti tomu tak není [3] .

Platon Sergejevič se po odchodu do důchodu usadil ve vesnici Zhoved , okres Gorodnyansky , provincie Černihiv , nepřestal pracovat na vývoji řešení logických rovnosti. V Izvestija Fyzikálně-matematické společnosti bylo v posledních letech jeho života publikováno několik velkých článků na toto téma: „Sept lois fundamentales de la theorie des egalites logiques“ (1898); "Quelques lois ulterieures" (1900-1901); "Theories des non egalites logiques" (1903). Zájem o vědu ho neopustil až do posledních dnů: vedl aktivní korespondenci s některými ruskými a zahraničními vědci a v nepřítomnosti se účastnil mezinárodních kongresů.

Zemřel na svém panství 9. srpna (podle jiných zdrojů 10. srpna [4] ), 1907 ve vesnici Zhoved, provincie Černihiv, po dlouhé těžké nemoci. Ve vesnici, kde strávil své poslední roky, postavila jeho manželka S. D. Poretskaya nemocnici pojmenovanou po něm, která byla v budoucnu převedena do Zemstva .

Skladby

Poznámky

  1. [bse.sci-lib.com/article091586.html Poretsky, Platon Sergeevich] - článek z Velké sovětské encyklopedie
  2. Poretsky, Platon Sergeevich - článek z Nové filozofické encyklopedie
  3. V. A. Bazhanov. P. S. Poretsky. Život a vědecká činnost průkopníka výzkumu v oblasti matematické logiky v Rusku . Získáno 25. března 2012. Archivováno z originálu 10. července 2012.
  4. Bulletin, 1909 , str. 145.

Literatura