Poretski, Platon Sergeevich

Platon Sergeevich Poretsky ( 3. lokakuuta  ( 15. ),  1846 , Elisavetgrad  - 9.  ( 22. ) elokuuta  1907 , Zhovedin kylä Gorodnyanskyn alueella , Tšernigovin maakunnassa ) - venäläinen tähtitieteilijä , matemaatikko . Venäjän ensimmäisten matemaattista logiikkaa koskevien teosten kirjoittaja , joka osallistui aktiivisesti tämän tieteenalan popularisoimiseen, ensimmäinen venäläinen tiedemies, joka luennoi matemaattisesta logiikasta . Työskenteli ongelmien propositionalgebra . Hänen työnsä (kanonisten muotojen looginen teoria, algoritmi seuraamusten löytämiseksi annetuista oletuksista ja hypoteesit annetuista seurauksista) vaikutti myöhempään työhön tällä alalla [1] . Vaikka hänen pääerikoisalansa oli tähtitiede, koska tähtitieteilijä Poretsky on vähän tunnettu, hänen "harrastuksensa" - matemaattisen logiikan opiskelu - toi hänelle suosion.

Elämäkerta

Platon Sergeevich syntyi 3. lokakuuta 1846 Elisavetgradin piirikaupungissa Khersonin maakunnassa, jossa hänen isänsä oli sotilaslääkärin palveluksessa. Pian hänen isänsä siirrettiin Lokhvitsaan Poltavan maakuntaan, missä Platon Sergeevich vietti nuoruutensa ja suoritti toisen asteen koulutuksensa. Valmistuttuaan Poltava Gymnasiumista hän tuli Kharkovin yliopiston fysiikan ja matematiikan tiedekuntaan, josta hän valmistui vuonna 1870. Jo yliopistossa Platon Sergeevich osoitti niin erinomaisia ​​kykyjä, että tähtitieteen professori I. I. Fedorenkon ehdotuksesta hänet jätettiin yliopistoon tähtitieteen laitoksen professorin stipendiaattiksi. Kolmen vuoden ajan, 1871-1874, Platon Sergeevich valmistautui läpäisemään maisterin tutkinnon ja harjoitteli tähtitieteellisiä havaintoja vanhassa yliopiston observatoriossa, joka sijaitsee tornissa, yliopistorakennuksen kulmassa. Hänen tuolloin tekemänsä havainnot määrittelivät tämän tornin maantieteelliset koordinaatit, ja ne julkaistiin Izvestiya Universitetassa vuodelta 1873. Läpäistyään maisterinkokeen vuonna 1873, Platon Sergeevich jätettiin stipendiaattiksi toiseksi vuodeksi ja vuonna 1874 Harkovin yliopisto lähetti hänet Pulkovon observatorioon valmistautumaan retkikuntaan Astrahaniin tarkkailemaan Venuksen kulkua.

Pulkovossa ollessaan Platon Sergeevich sen lisäksi, että hän valmistautui Venuksen havaintoihin, teki muita havaintoja Kharkovin observatorion 6 tuuman refraktorissa , joka oli suunniteltu tarkkailemaan Venuksen kulkua, ja teki pitkän sarjan havaintoja komeetta Kodzhiyasta, jotka julkaistiin myöhemmin lehdessä Astr.Nachr. » Astrahanin epäsuotuisa sää ei sallinut Venuksen kulkua tarkkailla, ja Platon Sergeevich, tehtyään maantieteellisen määrityksen havainnointiin valitusta paikasta, palasi Harkovaan.

Vuonna 1876 Platon Sergeevich valittiin tarkkailijatähtitieteilijäksi Kazanin yliopistoon . Tuolloin Kazanin vyöhykkeen tähtien meridiaanihavaintoja kansainvälisen tähtitieteellisen yhteiskunnan tarpeisiin suoritettiin intensiivisesti Kazanin observatoriossa , ja tämä professori M. A. Kovalskyn aiemmin suorittama työ siirtyi kokonaan Platon Sergeevich Poretskyn käsiin. Kolmen vuoden ajan (1876-1879) hän tarkkaili tarmokkaasti meridiaaniympyrää , ja vaikka vyöhykkeen havaintojen I ja II julkaisun jälkeen tuli selväksi tarve tehdä lisähavaintoja, Platon Sergeevich oli jo niin heikentynyt, että hän ei voinut enää suorittaa tätä työtä, ja 31. tammikuuta 1889 hän jäi eläkkeelle sairauden vuoksi. Ilmoitettujen meridiaanihavaintojen lisäksi Platon Sergeevich Poretsky teki monia muita havaintoja Kazanin observatoriossa, kuten Marsin , vuoden 1881 komeetan, havaintoja.

Mutta käytännöllisen tähtitieteilijän toiminta ei voinut tyydyttää Platon Sergeevichiä. Huonosta terveydestään huolimatta hän löysi aikaa puhtaasti tieteelliseen työhön ja opettamiseen ja omisti kaiken vapaa-aikansa sosiaaliseen toimintaan. Luonnontutkijayhdistyksen fysiikan ja matemaattisten tieteiden osastoa Kazanissa perustettaessa Platon Sergeevich omistautui osan etuille suurella tarmolla. Hän oli yksi sen aktiivisimmista jäsenistä elinikäisenä, hänen valvonnassaan julkaistiin osaston "pöytäkirja".

Vuonna 1884 kaksi osaa hänen pääteoksestaan ​​julkaistiin osan "Protokollat": "Matemaattisen logiikan perusteista" ja "Loogisten yhtälöiden ratkaisutavoista ja matemaattisen logiikan käänteismenetelmästä". Ei vain Venäjällä, missä tämä teos oli tuolloin ainoa laatuaan, se ja ylipäänsä tuon ajan tieteessä voidaan asettaa samalle tasolle Boolen , Schroederin ja Jevonsin tätä aihetta koskevien tutkielmien kanssa. , Poretsky täydentää ja kehittää ideoitaan. [2] Siinä Platon Sergeevich Poretsky tekee upean yrityksen rakentaa täydellinen ja täydellinen teoria kvalitatiivisista päätelmistä. Poretskin logiikan pääsuunta oli hänen teoriansa loogisten yhtäläisyyksien seurauksista ja syistä, jota hän opiskeli loogisten ilmaisujen kanonisten muotojen tulkinnan yhteydessä. N. I. Styazhkinin mukaan "Poretski yritti ratkaista luokkalaskennan ratkaistavuuden ongelman löytämällä yksinkertaisimman ja tehokkaimman mahdollisen ratkaisualgoritmin." Loogisessa teoriassaan Poretsky piti pääongelmana "seuraamusten johtamisongelman ratkaisemista tietystä premissiojärjestelmästä ja niiden lähtökohtien löytämistä, joiden seurauksena tietty looginen tasa-arvo voidaan saada". Hän näki pääeron logiikan ja algebran välillä siinä, että "edellinen tutkii 'laadullisia muotoja' ja jälkimmäinen 'kvantitatiivisia muotoja'". Kuitenkaan "näiden erojen", kirjoittaa Poretsky, "ei pitäisi hämärtää sitä, mikä on yhteistä näille molemmille tieteille. Joten matemaattisen logiikan menetelmä on ominaisuuksiensa mukaan samanlainen kuin algebran matemaattinen menetelmä.

Vuonna 1886, myös osion Pöytäkirjojen liitteissä, julkaistiin hänen esseensä: "Kysymystä eräiden käytännön tähtitieteen normaaleiden järjestelmien ratkaisemisesta sovellettaessa virheiden määrittämiseen meridionaaliympyrän jaotteluissa. Kazanin observatorio." Tämä essee esiteltiin tiedekunnassa pro gradu -tutkielmana , mutta tiedekunta tunnusti hänen työnsä niin erinomaiseksi, että puolustamisen jälkeen Platon Sergeevich sai heti tähtitieteen tohtorin tutkinnon. Samana vuonna Platon Sergeevich nimitettiin pallomaisen trigonometrian Privatdozentiksi , ja vuosina 1887 ja 1888 hän opetti tätä aihetta ja matemaattista logiikkaa . Hänen johdantoluentonsa "Historiallinen luonnos pallomaisen trigonometrian kehityksestä" julkaistiin "Protokollat" -osiossa. Vuonna 1887 Platon Sergeevich osallistui tutkimusmatkalle Vjatka-joelle tarkkaillakseen täydellistä auringonpimennystä Medjanakhin asutuksessa lähellä Vjatkan kaupunkia (nykyään Kirov ) . Hänen muista kirjoituksistaan, jotka on sijoitettu "Protokollat"-osioon, mainitsemisen arvoisia: laaja tutkimus alkulukuja; "Todennäköisyysteorian yleisen ongelman ratkaisu matemaattisen logiikan avulla", jossa sovelletaan esseessä "Loogisten yhtäläisyyksien ratkaisumenetelmistä" esitettyä teoriaa; "Vuoden päivien ja viikonpäivien välisestä yhteydestä" ja paljon muuta.

Kun Platon Sergeevich päätti lähteä Kazanista, fysiikan ja matemaattisten tieteiden osasto kiitti häntä kirjallisesti hänen hyödyllisestä työstään ja toi hänelle 6 osaa "protokollastaan" ylellisessä sidonnassa muistoksi . Kazanissa ollessaan Platon Sergeevich toimi useiden vuosien ajan Kazanin vaihtoluettelosanomalehden toimittajana, jossa vakavien artikkeleiden lisäksi sijoitettiin hänen humoristisia runojaan sekä hänen käännöksensä Berangerin runoista . Muistokirjoituksessa ja N. I. Styazhkinin kirjassa annetaan virheellisiä tietoja, että hän oli Kazan Telegraph -sanomalehden toimittaja. Itse asiassa se ei ole [3] .

Asuttuaan eläkkeelle jäätyään Zhovedin kylään Gorodnyanskyn piirissä Tšernihivin maakunnassa , Platon Sergeevich ei lopettanut loogisen tasa-arvon ratkaisun kehittämistä. Physico-Mathematical Societyn Izvestijassa julkaistiin useita suuria artikkeleita tästä aiheesta hänen elämänsä viimeisinä vuosina: "Sept lois fundamentales de la theorie des egalites logiques" (1898); "Quelques lois ulterieures" (1900-1901); "Theories des non egalites logiques" (1903). Kiinnostus tieteeseen jätti hänet vasta viimeisille päiville: hän kävi aktiivisesti kirjeenvaihtoa joidenkin venäläisten ja ulkomaisten tutkijoiden kanssa ja osallistui poissaolevana kansainvälisiin kongresseihin.

Hän kuoli kartanolla 9. elokuuta (muiden lähteiden mukaan 10. elokuuta [4] ) 1907 Zhovedin kylässä Tšernihivin maakunnassa pitkän ja vakavan sairauden jälkeen. Kylässä, jossa hän vietti viimeiset vuodet, hänen vaimonsa S. D. Poretskaya rakensi hänen mukaansa nimetyn sairaalan, joka myöhemmin siirrettiin Zemstvoon .

Sävellykset

• Matemaattisen logiikan perusperiaatteiden esitys mahdollisimman visuaalisessa ja helposti saatavilla olevassa muodossa , 1881
• Loogisten yhtälöiden teorian seitsemän peruslakia , 1898-1899
• Loogisten yhtälöiden ratkaisumenetelmistä ja käänteismenetelmästä , 1884
• Yleisen todennäköisyysongelman ratkaiseminen matemaattisen logiikan avulla Arkistoitu 5. maaliskuuta 2016, Wayback Machine , 1887
• Matemaattisen logiikan alalta , 1902
• Joitakin loogisten yhtäläisyyksien teorian lisälakeja , 1901-1902
• Loogisten epäyhtälöiden teoria , 1904
• Loogisten yhtäläisyyksien ja epätasa-arvojen yhtenäinen teoria , 1908

Muistiinpanot

1. ↑ [bse.sci-lib.com/article091586.html Poretski, Platon Sergeevich] - artikkeli Great Soviet Encyclopediasta
2. ↑ Poretski, Platon Sergeevich - artikkeli New Philosophical Encyclopediasta
3. ↑ V. A. Bazhanov. P.S. Poretsky. Matemaattisen logiikan tutkimuksen edelläkävijän elämä ja tieteellinen toiminta Venäjällä . Haettu 25. maaliskuuta 2012. Arkistoitu alkuperäisestä 10. heinäkuuta 2012. (määrätön)
4. ↑ Tiedote, 1909 , s. 145.

Kirjallisuus

• Sleshinsky I. Platon Sergeevich Poretskyn muistolle (muistokirjoitus)  // V.O.F.E.M. . - 1909. - Nro 487 . - S. 145-148 .
• Styazhkin NI Matemaattisen logiikan muodostuminen. M., 1967, s. 362-407.
• V. A. Bazhanov . Venäjän matemaattisen logiikan alan tutkimuksen edelläkävijän elämä ja tieteellinen toiminta P. S. Poretsky  // Luonnontieteen ja tekniikan historian kysymyksiä . - 2005. - Nro 4 . - S. 64-73 . Arkistoitu alkuperäisestä 15. helmikuuta 2012.
• V. A. Bazhanov. Logiikan historia Venäjällä ja Neuvostoliitossa. Yliopistofilosofian käsitteellinen konteksti . - M. : Canon +, 2007. - S. 147-161. — 336 s.  (linkki ei saatavilla)

Temaattiset sivustot	Koko venäläinen matemaattinen portaali Matematiikan historian arkisto MacTutor
Sanakirjat ja tietosanakirjat	Iso venäläinen maailman ympäri Liettuan universaali Britannica (verkossa)
Bibliografisissa luetteloissa	SUDOC : 088704637 VIAF : 206027505 WorldCat VIAF : 206027505