|
Valery Ivanovich Glivenko
Valery Ivanovich Glivenko (russian: Вале́рий Ива́нович Гливе́нко, uk, Валерій Іванович Гливенко; 2 January 1897 (Gregorian calendar) / 21 December 1896 (Julian calendar) in Kiev – 15 February 1940 in Moscow) was a Soviet mathematician. He worked in foundations of mathematics, real analysis, probability theory, and mathematical statistics. He taught at Moscow Industrial Pedagogical Institute until his death at age 43. Most of Glivenko's work was published in French. See also * Glivenko's double-negation translation * Glivenko's theorem (probability theory) *Glivenko–Cantelli theorem In the theory of probability, the Glivenko–Cantelli theorem (sometimes referred to as the Fundamental Theorem of Statistics), named after Valery Ivanovich Glivenko and Francesco Paolo Cantelli, determines the asymptotic behaviour of the empiric ... * Glivenko–Stone theorem Notes Works * * * * * * * * External links * Photograp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kyiv
Kyiv, also spelled Kiev, is the capital and most populous city of Ukraine. It is in north-central Ukraine along the Dnieper, Dnieper River. As of 1 January 2021, its population was 2,962,180, making Kyiv the List of European cities by population within city limits, seventh-most populous city in Europe. Kyiv is an important industrial, scientific, educational, and cultural center in Eastern Europe. It is home to many High tech, high-tech industries, higher education institutions, and historical landmarks. The city has an extensive system of Transport in Kyiv, public transport and infrastructure, including the Kyiv Metro. The city's name is said to derive from the name of Kyi, one of its four legendary founders. During History of Kyiv, its history, Kyiv, one of the oldest cities in Eastern Europe, passed through several stages of prominence and obscurity. The city probably existed as a commercial center as early as the 5th century. A Slavs, Slavic settlement on the great trade ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Double-negation Translation
In proof theory, a discipline within mathematical logic, double-negation translation, sometimes called negative translation, is a general approach for embedding classical logic into intuitionistic logic, typically by translating formulas to formulas which are classically equivalent but intuitionistically inequivalent. Particular instances of double-negation translation include Glivenko's translation for propositional logic, and the Gödel–Gentzen translation and Kuroda's translation for first-order logic. Propositional logic The easiest double-negation translation to describe comes from Glivenko's theorem, proved by Valery Glivenko in 1929. It maps each classical formula φ to its double negation ¬¬φ. Glivenko's theorem states: :If φ is a propositional formula, then φ is a classical tautology if and only if ¬¬φ is an intuitionistic tautology. Glivenko's theorem implies the more general statement: :If ''T'' is a set of propositional formulas and φ a propositional formu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematical Analysts
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Probability Theorists
Probability is the branch of mathematics concerning numerical descriptions of how likely an event is to occur, or how likely it is that a proposition is true. The probability of an event is a number between 0 and 1, where, roughly speaking, 0 indicates impossibility of the event and 1 indicates certainty."Kendall's Advanced Theory of Statistics, Volume 1: Distribution Theory", Alan Stuart and Keith Ord, 6th Ed, (2009), .William Feller, ''An Introduction to Probability Theory and Its Applications'', (Vol 1), 3rd Ed, (1968), Wiley, . The higher the probability of an event, the more likely it is that the event will occur. A simple example is the tossing of a fair (unbiased) coin. Since the coin is fair, the two outcomes ("heads" and "tails") are both equally probable; the probability of "heads" equals the probability of "tails"; and since no other outcomes are possible, the probability of either "heads" or "tails" is 1/2 (which could also be written as 0.5 or 50%). These conce ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ukrainian Mathematicians
This a list of the best known Ukrainian mathematicians. This list includes some Polish, pre-revolutionary Russian and Soviet mathematicians who lived or worked in Ukraine. __NOTOC__ {{compact ToC, side=yes, top=yes, num=yes A * Akhiezer, Naum Ilyich (1901–1980) B * Bernstein, Sergei Natanovich (1880–1968) * Borok, Valentina Mikhailovna (1931–2004) * Berlyand, Leonid Viktorovich (b. 1957) D * Dorohovtsev, Anatoliy Yakovych (1935–2004) * Drinfeld, Volodymyr Gershonovych (b. 1954) E * Eremenko, Oleksandr Emmanuilovich (b. 1954) G * Geronimus, Yakov Lazarevich (1898–1984) * Glushkov, Victor Mihailovich (1923–1982) * Goldberg, Anatolii Asirovich (1930–2008) * Grave, Dmytro Olexandrovych (1863–1939) K * Kadets, Mikhail Iosiphovich (1923–2011) * Korolyuk, Volodymyr Semenovych (1925–2020) * Kovalenko, Ihor Mykolayovych (b. 1935) * Kondratiev, Yuri (b. 1953) * Koshmanenko, Volodymyr Dmytrovych (b. 1943) * Kravchuk, Myhailo Pylypovych (1 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Soviet Mathematicians
The Soviet Union,. officially the Union of Soviet Socialist Republics. (USSR),. was a transcontinental country that spanned much of Eurasia from 1922 to 1991. A flagship communist state, it was nominally a federal union of fifteen national republics; in practice, both its government and its economy were highly centralized until its final years. It was a one-party state governed by the Communist Party of the Soviet Union, with the city of Moscow serving as its capital as well as that of its largest and most populous republic: the Russian SFSR. Other major cities included Leningrad (Russian SFSR), Kiev (Ukrainian SSR), Minsk (Byelorussian SSR), Tashkent (Uzbek SSR), Alma-Ata (Kazakh SSR), and Novosibirsk (Russian SFSR). It was the largest country in the world, covering over and spanning eleven time zones. The country's roots lay in the October Revolution of 1917, when the Bolsheviks, under the leadership of Vladimir Lenin, overthrew the Russian Provisional Government tha ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Soviet Logicians
The Soviet Union,. officially the Union of Soviet Socialist Republics. (USSR),. was a transcontinental country that spanned much of Eurasia from 1922 to 1991. A flagship communist state, it was nominally a federal union of fifteen national republics; in practice, both its government and its economy were highly centralized until its final years. It was a one-party state governed by the Communist Party of the Soviet Union, with the city of Moscow serving as its capital as well as that of its largest and most populous republic: the Russian SFSR. Other major cities included Leningrad (Russian SFSR), Kiev (Ukrainian SSR), Minsk ( Byelorussian SSR), Tashkent (Uzbek SSR), Alma-Ata (Kazakh SSR), and Novosibirsk (Russian SFSR). It was the largest country in the world, covering over and spanning eleven time zones. The country's roots lay in the October Revolution of 1917, when the Bolsheviks, under the leadership of Vladimir Lenin, overthrew the Russian Provisional Government ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1940 Deaths
Year 194 ( CXCIV) was a common year starting on Tuesday (link will display the full calendar) of the Julian calendar. At the time, it was known as the Year of the Consulship of Septimius and Septimius (or, less frequently, year 947 ''Ab urbe condita''). The denomination 194 for this year has been used since the early medieval period, when the Anno Domini calendar era became the prevalent method in Europe for naming years. Events By place Roman Empire * Emperor Septimius Severus and Decimus Clodius Septimius Albinus Caesar become Roman Consuls. * Battle of Issus: Septimius Severus marches with his army (12 legions) to Cilicia, and defeats Pescennius Niger, Roman governor of Syria. Pescennius retreats to Antioch, and is executed by Severus' troops. * Septimius Severus besieges Byzantium (194–196); the city walls suffer extensive damage. Asia * Battle of Yan Province: Warlords Cao Cao and Lü Bu fight for control over Yan Province; the battle lasts for over 100 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1896 Births
Events January–March * January 2 – The Jameson Raid comes to an end, as Jameson surrenders to the Boers. * January 4 – Utah is admitted as the 45th U.S. state. * January 5 – An Austrian newspaper reports that Wilhelm Röntgen has discovered a type of radiation (later known as X-rays). * January 6 – Cecil Rhodes is forced to resign as Prime Minister of the Cape of Good Hope, for his involvement in the Jameson Raid. * January 7 – American culinary expert Fannie Farmer publishes her first cookbook. * January 12 – H. L. Smith takes the first X-ray photograph. * January 17 – Fourth Anglo-Ashanti War: British redcoats enter the Ashanti capital, Kumasi, and Asantehene Agyeman Prempeh I is deposed. * January 18 – The X-ray machine is exhibited for the first time. * January 28 – Walter Arnold, of East Peckham, Kent, England, is fined 1 shilling for speeding at (exceeding the contemporary speed limit of , the first spee ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematical Logicians
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.jpg "Click for more on -> Kyiv")
.svg "Click for more on -> Probability Theorists")
.jpg "Click for more on -> 1896 Births")
.jpg "Click for more on -> Mathematical Logicians")