|
Dmitry Mirimanoff
Dmitry Semionovitch Mirimanoff (russian: Дми́трий Семёнович Мирима́нов; 13 September 1861, Pereslavl-Zalessky, Russia – 5 January 1945, Geneva, Switzerland) became a doctor of mathematical sciences in 1900, in Geneva, and taught at the universities of Geneva and Lausanne. Mirimanoff made notable contributions to axiomatic set theory and to number theory (relating specifically to Fermat's Last Theorem, on which he corresponded with Albert Einstein before the First World WarJean A. Mirimanoff. Private correspondence with Anton Lokhmotov. (2009)). In 1917, he introduced, though not as explicitly as John von Neumann later, the cumulative hierarchy of sets and the notion of von Neumann ordinals; although he introduced a notion of regular (and well-founded set) he did not consider regularity as an axiom, but also explored what is now called non-well-founded set theory and had an emergent idea of what is now called bisimulation. Mirimanoff became a m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dmitri Mirimanoff
Dmitri (russian: Дми́трий); Church Slavic form: Dimitry or Dimitri (); ancient Russian forms: D'mitriy or Dmitr ( or ) is a male given name common in Orthodox Christian culture, the Russian version of Greek Demetrios (Δημήτριος ''Dēmētrios'' ). The meaning of the name is "devoted to, dedicated to, or follower of Demeter" (Δημήτηρ, ''Dēmētēr''), "mother-earth", the Greek goddess of agriculture. Short forms of the name from the 13th–14th centuries are Mit, Mitya, Mityay, Mit'ka or Miten'ka (, or ); from the 20th century (originated from the Church Slavic form) are Dima, Dimka, Dimochka, Dimulya, Dimusha etc. (, etc.) St. Dimitri's Day The feast of the martyr Saint Demetrius of Thessalonica is celebrated on Saturday before November 8 ld Style October 26 The name day (именины): October 26 (November 8 on the Julian Calendar) See also: Eastern Orthodox liturgical calendar. The Saturday before October 26/November 8 is called Demetrius Saturd ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bisimulation
In theoretical computer science a bisimulation is a binary relation between state transition systems, associating systems that behave in the same way in that one system simulates the other and vice versa. Intuitively two systems are bisimilar if they, assuming we view them as playing a ''game'' according to some rules, match each other's moves. In this sense, each of the systems cannot be distinguished from the other by an observer. Formal definition Given a labelled state transition system (S, \Lambda, →), where S is a set of states, \Lambda is a set of labels and → is a set of labelled transitions (i.e., a subset of S \times \Lambda \times S), a bisimulation is a binary relation R \subseteq S \times S, such that both R and its converse R^T are simulations. From this follows that the symmetric closure of a bisimulation is a bisimulation, and that each symmetric simulation is a bisimulation. Thus some authors define bisimulation as a symmetric simulation. Equivalentl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
The Art Of Computer Programming
''The Art of Computer Programming'' (''TAOCP'') is a comprehensive monograph written by the computer scientist Donald Knuth presenting programming algorithms and their analysis. Volumes 1–5 are intended to represent the central core of computer programming for sequential machines. When Knuth began the project in 1962, he originally conceived of it as a single book with twelve chapters. The first three volumes of what was then expected to be a seven-volume set were published in 1968, 1969, and 1973. Work began in earnest on Volume 4 in 1973, but was suspended in 1977 for work on typesetting prompted by the second edition of Volume 2. Writing of the final copy of Volume 4A began in longhand in 2001, and the first online pre-fascicle, 2A, appeared later in 2001. The first published installment of Volume 4 appeared in paperback as Fascicle 2 in 2005. The hardback Volume 4A, combining Volume 4, Fascicles 0–4, was published in 2011. Volume 4, Fascicle 6 ("Satisfiability") was rel ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Donald Knuth
Donald Ervin Knuth ( ; born January 10, 1938) is an American computer scientist, mathematician, and professor emeritus at Stanford University. He is the 1974 recipient of the ACM Turing Award, informally considered the Nobel Prize of computer science. Knuth has been called the "father of the analysis of algorithms". He is the author of the multi-volume work ''The Art of Computer Programming'' and contributed to the development of the rigorous analysis of the computational complexity of algorithms and systematized formal mathematical techniques for it. In the process, he also popularized the asymptotic notation. In addition to fundamental contributions in several branches of theoretical computer science, Knuth is the creator of the TeX computer typesetting system, the related METAFONT font definition language and rendering system, and the Computer Modern family of typefaces. As a writer and scholar, Knuth created the WEB and CWEB computer programming systems designed to encou ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Désiré André
Désiré André (André Antoine Désiré) (March 29, 1840, Lyon – September 12, 1917, Paris) was a French mathematician, best known for his work on Catalan numbers and alternating permutations. Biography He is the son of Auguste Antoine Désiré André, shoemaker in Lyon, and his wife Antoinette Magdalene Jar. He entered the École Normale Supérieure in 1860 and passed the Agrégation in Mathematics in 1863. He defended his doctoral thesis on 25 March 1877. He was a student of Charles Hermite (1822–1901) and Joseph Bertrand (1822–1900). Starting as a teacher at the Lycée de Troyes, he went on to Collège Sainte-Barbe, then to the University of Dijon and finally became professor of mathematics at Collège Stanislas de Paris from 1885 to 1900. He was a laureate of the Ministère de l'Instruction Publique, member of the Circolo Matematico di Palermo and the Commission Internationale Permanente de Bibliographie Mathématique. He was made a Knight of the Legion of Hono ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bertrand's Ballot Theorem
In combinatorics, Bertrand's ballot problem is the question: "In an election where candidate A receives ''p'' votes and candidate B receives ''q'' votes with ''p'' > ''q'', what is the probability that A will be strictly ahead of B throughout the count?" The answer is :\frac. The result was first published by W. A. Whitworth in 1878, but is named after Joseph Louis François Bertrand who rediscovered it in 1887. In Bertrand's original paper, he sketches a proof based on a general formula for the number of favourable sequences using a recursion relation. He remarks that it seems probable that such a simple result could be proved by a more direct method. Such a proof was given by Désiré André, based on the observation that the unfavourable sequences can be divided into two equally probable cases, one of which (the case where B receives the first vote) is easily computed; he proves the equality by an explicit bijection. A variation of his method is popularly known as ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Russian Revolution (1917)
The Russian Revolution was a period of political and social revolution that took place in the former Russian Empire which began during the First World War. This period saw Russia abolish its monarchy and adopt a socialist form of government following two successive revolutions and a bloody civil war. The Russian Revolution can also be seen as the precursor for the other European revolutions that occurred during or in the aftermath of WWI, such as the German Revolution of 1918. The Russian Revolution was inaugurated with the February Revolution in 1917. This first revolt focused in and around the then-capital Petrograd (now Saint Petersburg). After major military losses during the war, the Russian Army had begun to mutiny. Army leaders and high ranking officials were convinced that if Tsar Nicholas II abdicated, the domestic unrest would subside. Nicholas agreed and stepped down, ushering in a new government led by the Russian Duma (parliament) which became the Russian Provi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Saint Petersburg
Saint Petersburg ( rus, links=no, Санкт-Петербург, a=Ru-Sankt Peterburg Leningrad Petrograd Piter.ogg, r=Sankt-Peterburg, p=ˈsankt pʲɪtʲɪrˈburk), formerly known as Petrograd (1914–1924) and later Leningrad (1924–1991), is the second-largest city in Russia. It is situated on the Neva River, at the head of the Gulf of Finland on the Baltic Sea, with a population of roughly 5.4 million residents. Saint Petersburg is the fourth-most populous city in Europe after Istanbul, Moscow and London, the most populous city on the Baltic Sea, and the world's northernmost city of more than 1 million residents. As Russia's Imperial capital, and a historically strategic port, it is governed as a federal city. The city was founded by Tsar Peter the Great on 27 May 1703 on the site of a captured Swedish fortress, and was named after apostle Saint Peter. In Russia, Saint Petersburg is historically and culturally associated with t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Moscow
Moscow ( , US chiefly ; rus, links=no, Москва, r=Moskva, p=mɐskˈva, a=Москва.ogg) is the capital and largest city of Russia. The city stands on the Moskva River in Central Russia, with a population estimated at 13.0 million residents within the city limits, over 17 million residents in the urban area, and over 21.5 million residents in the metropolitan area. The city covers an area of , while the urban area covers , and the metropolitan area covers over . Moscow is among the world's largest cities; being the most populous city entirely in Europe, the largest urban and metropolitan area in Europe, and the largest city by land area on the European continent. First documented in 1147, Moscow grew to become a prosperous and powerful city that served as the capital of the Grand Duchy that bears its name. When the Grand Duchy of Moscow evolved into the Tsardom of Russia, Moscow remained the political and economic center for most of the Tsardom's history. When th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Russia
Russia (, , ), or the Russian Federation, is a List of transcontinental countries, transcontinental country spanning Eastern Europe and North Asia, Northern Asia. It is the List of countries and dependencies by area, largest country in the world, with its internationally recognised territory covering , and encompassing one-eighth of Earth's inhabitable landmass. Russia extends across Time in Russia, eleven time zones and shares Borders of Russia, land boundaries with fourteen countries, more than List of countries and territories by land borders, any other country but China. It is the List of countries and dependencies by population, world's ninth-most populous country and List of European countries by population, Europe's most populous country, with a population of 146 million people. The country's capital and List of cities and towns in Russia by population, largest city is Moscow, the List of European cities by population within city limits, largest city entirely within E ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lomonosov, Russia
Lomonosov (russian: Ломоно́сов; before 1948: Oranienbaum, ) is a administrative divisions of Saint Petersburg, municipal town in Petrodvortsovy District of the federal cities of Russia, federal city of Saint Petersburg, Russia, located on the southern coast of the Gulf of Finland, west of Saint Petersburg proper. Population: Lomonosov is the site of the 18th-century royal Oranienbaum, Russia, Oranienbaum park and palace complex, notable as being the only palace in the vicinity of Saint Petersburg that was not captured by Nazi Germany during World War II. History Oranienbaum was granted town status in 1710, and was initially applied to the Oranienbaum, Russia, Oranienbaum palace complex, built between 1710 and 1725 opposite Kronstadt, in the neighbourhood of the royal residence Peterhof Palace, by the architects Giovanni Mario Fontana and Gottfried Johann Schadel, and was intended for Alexander Danilovich Menshikov, Alexander Menshikov, a close associate of Peter t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Russian Orthodox Church
, native_name_lang = ru , image = Moscow July 2011-7a.jpg , imagewidth = , alt = , caption = Cathedral of Christ the Saviour in Moscow, Russia , abbreviation = ROC , type = , main_classification = Eastern Orthodox , orientation = Russian Orthodoxy , scripture = Elizabeth Bible ( Church Slavonic) Synodal Bible (Russian) , theology = Eastern Orthodox theology , polity = Episcopal , governance = Holy Synod of the Russian Orthodox Church , structure = Communion , leader_title = , leader_name = , leader_title1 = Primate , leader_name1 = Patriarch Kirill of Moscow , leader_title2 = , leader_name2 = , leader_title3 = Bishops , leader_name3 = 382 (2019) , fellowships_type = Clergy , fellowships = 40,514 full-time clerics, including 35,677 presbyters and 4,837 de ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
