Glebsky, Juri Vasilievich

Juri Vasilievich Glebsky
Syntymäaika 1927( 1927 )
Kuolinpäivämäärä 1. elokuuta 1977( 1977-08-01 )
Maa  Neuvostoliitto
Tieteellinen ala matematiikka, matemaattinen logiikka
tieteellinen neuvonantaja A. G. Sigalov
Opiskelijat V. N. Shevchenko ; A. A. Markov

Glebsky Juri Vasilyevich (1927 - 01.8.1977) - Neuvostoliiton matemaatikko . 0-1-lain kirjoittaja matemaattisessa logiikassa: koska maailmankaikkeuden voima pyrkii äärettömyyteen, minkä tahansa lauseen tyydyttävyyden osuus, joka ei sisällä nollapaikan predikaatteja , on yleensä 0 tai 1. Yu. V. Glebskyn todistus viittaa asymptoottisen totuuden algoritminen ratkaistavuus ensimmäisen asteen logiikassa. MI Liogon'kiy tutki väitöskirjassaan toteutettavuuden ehdollisen osuuden käsitettä. V. A. Talanov ja V. V. Knyazev laajensivat (0-1)-lain tiettyihin äärettömien kaavojen luokkiin ja moniarvoiseen logiikkaan.

Merkittäviä opiskelijoita

Valeri Nikolajevitš Shevchenko (s. 1940) on venäläinen matemaatikko, fysiikan ja matemaattisten tieteiden tohtori, MLVA VMK UNN:n osaston johtaja.

Alexander Aleksandrovich Markov (1937-1994) on tunnustettu koodausteorian asiantuntija, monografian "Introduction to Coding Theory" (M.: Nauka, 1982) kirjoittaja.

Pääteokset

Linkit