|
Gennady Makanin
Gennady (or Gennadii or Gennadiy) Semenovich Makanin (1938–2017) was a Russian mathematician, awarded the 2010 I. M. Vinogradov Prize for a series of papers on the problem of algorithmically recognizing the solvability of arbitrary equations in free groups and semigroups. Education and career At Moscow State University he received his undergraduate degree and in 1967 his Russian Candidate of Sciences degree (PhD). His dissertation К проблеме тождества в конечно-определённых группах и полугруппах (On the identity problem in finitely-presented groups and semigroups) was supervised by Andrey Markov Jr. and Sergei Adian. Makanin spent his career (since 1966) working at the Steklov Institute of Mathematics (since 2013 as a freelance employee). From the Steklov Institute of Mathematics he received in 1977 his Russian Doctor of Sciences degree (similar to habilitation) with dissertation Проблема разрешимости ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Steklov Institute Of Mathematics
Steklov Institute of Mathematics or Steklov Mathematical Institute () is a premier research institute based in Moscow, specialized in mathematics, and a part of the Russian Academy of Sciences. The institute is named after Vladimir Andreevich Steklov, who in 1919 founded the Institute of Physics and Mathematics in Saint Petersburg, Leningrad. In 1934, this institute was split into separate parts for physics and mathematics, and the mathematical part became the Steklov Institute. At the same time, it was moved to Moscow. The first director of the Steklov Institute was Ivan Matveyevich Vinogradov. From 19611964, the institute's director was the notable mathematician Sergei Chernikov. The old building of the Institute in Leningrad became its Department in Leningrad. Today, that department has become a separate institute, called the ''St. Petersburg Department of Steklov Mathematical Institute of the Russian Academy of Sciences'' or PDMI RAS, located in Saint Petersburg, Russia. The n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hilbert's Tenth Problem
Hilbert's tenth problem is the tenth on the list of mathematical problems that the German mathematician David Hilbert posed in 1900. It is the challenge to provide a general algorithm that, for any given Diophantine equation (a polynomial equation with integer coefficients and a finite number of unknowns), can decide whether the equation has a solution with all unknowns taking integer values. For example, the Diophantine equation 3x^2-2xy-y^2z-7=0 has an integer solution: x=1,\ y=2,\ z=-2. By contrast, the Diophantine equation x^2+y^2+1=0 has no such solution. Hilbert's tenth problem has been solved, and it has a negative answer: such a general algorithm cannot exist. This is the result of combined work of Martin Davis, Yuri Matiyasevich, Hilary Putnam and Julia Robinson that spans 21 years, with Matiyasevich completing the theorem in 1970. The theorem is now known as Matiyasevich's theorem or the MRDP theorem (an initialism for the surnames of the four principal contributors ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Soviet Mathematicians
This list of Russian mathematicians includes the famous mathematicians from the Russian Empire, the Soviet Union and the Russian Federation. Alphabetical list __NOTOC__ A *Georgy Adelson-Velsky, inventor of AVL tree algorithm, developer of Kaissa, the first world computer chess champion *Sergei Adian, known for his work in group theory, especially on the Burnside problem *Aleksandr Danilovich Aleksandrov, Aleksandr Aleksandrov, developer of CAT(k) space and Alexandrov's uniqueness theorem in geometry *Pavel Alexandrov, author of the Alexandroff compactification and the Alexandrov topology *Dmitri Anosov, developed Anosov diffeomorphism *Vladimir Arnold, an author of the Kolmogorov–Arnold–Moser theorem in dynamical systems, solved Hilbert's 13th problem, raised the ADE classification and Arnold's rouble problems B *Alexander Beilinson, influential mathematician in representation theory, algebraic geometry and mathematical physics *Sergey Bernstein, developed the Bernstein p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
21st-century Russian Philosophers
File:1st century collage.png, From top left, clockwise: Jesus is crucified by Roman authorities in Judaea (17th century painting). Four different men (Galba, Otho, Vitellius, and Vespasian) claim the title of Emperor within the span of a year; The Great Fire of Rome (18th-century painting) sees the destruction of two-thirds of the city, precipitating the empire's first persecution against Christians, who are blamed for the disaster; The Roman Colosseum is built and holds its inaugural games; Roman forces besiege Jerusalem during the First Jewish–Roman War (19th-century painting); The Trưng sisters lead a rebellion against the Chinese Han dynasty (anachronistic depiction); Boudica, queen of the British Iceni leads a rebellion against Rome (19th-century statue); Knife-shaped coin of the Xin dynasty., 335px rect 30 30 737 1077 Crucifixion of Jesus rect 767 30 1815 1077 Year of the Four Emperors rect 1846 30 3223 1077 Great Fire of Rome rect 30 1108 1106 2155 Boudican revolt ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Russian Logicians
Russian(s) may refer to: *Russians (), an ethnic group of the East Slavic peoples, primarily living in Russia and neighboring countries *A citizen of Russia *Russian language, the most widely spoken of the Slavic languages *''The Russians'', a book by Hedrick Smith *Russian (comics), fictional Marvel Comics supervillain from ''The Punisher'' series *Russian (solitaire), a card game * "Russians" (song), from the album ''The Dream of the Blue Turtles'' by Sting *"Russian", from the album ''Tubular Bells 2003'' by Mike Oldfield *"Russian", from the album '' '' by Caravan Palace *Nik Russian, the perpetrator of a con committed in 2002 See also * *Russia (other) *Rus (other) *Rossiysky (other) *Russian River (other) *Rushen (other) Rushen may refer to: Places * Rushen, formally Kirk Christ Rushen, a historic parish of the Isle of Man ** Rushen (constituency), a House of Keys constituency of which the parish forms part ** Rushen (sheading ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Soviet Logicians
The Union of Soviet Socialist Republics. (USSR), commonly known as the Soviet Union, was a transcontinental country that spanned much of Eurasia from 1922 until it dissolved in 1991. During its existence, it was the largest country by area, extending across eleven time zones and sharing borders with twelve countries, and the third-most populous country. An overall successor to the Russian Empire, it was nominally organized as a federal union of national republics, the largest and most populous of which was the Russian SFSR. In practice, its government and economy were highly centralized. As a one-party state governed by the Communist Party of the Soviet Union (CPSU), it was a flagship communist state. Its capital and largest city was Moscow. The Soviet Union's roots lay in the October Revolution of 1917. The new government, led by Vladimir Lenin, established the Russian SFSR, the world's first constitutionally communist state. The revolution was not accepted by all wi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematical Logicians
Mathematics is a field of study that discovers and organizes methods, theories and theorems that are developed and proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of abstract objects that consist of either abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to prove properties of objects, a ''proof'' consisting of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstractio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
2017 Deaths
This is a list of lists of deaths of notable people, organized by year. New deaths articles are added to their respective month (e.g., Deaths in ) and then linked below. 2025 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 1989 1988 1987 1986 Earlier years ''Deaths in years earlier than this can usually be found in the main articles of the years.'' See also * Lists of deaths by day * Deaths by year (category) {{DEFAULTSORT:deaths by year ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1938 Births
Events January * January 1 – state-owned enterprise, State-owned railway networks are created by merger, in France (SNCF) and the Netherlands (Nederlandse Spoorwegen – NS). * January 20 – King Farouk of Egypt marries Safinaz Zulficar, who becomes Farida of Egypt, Queen Farida, in Cairo. * January 27 – The Honeymoon Bridge (Niagara Falls), Honeymoon Bridge at Niagara Falls, New York, collapses as a result of an ice jam. February * February 4 ** Adolf Hitler abolishes the War Ministry and creates the Oberkommando der Wehrmacht (High Command of the Armed Forces), giving him direct control of the German military. In addition, he dismisses political and military leaders considered unsympathetic to his philosophy or policies. General Werner von Fritsch is forced to resign as Commander of Chief of the German Army following accusations of homosexuality, and replaced by General Walther von Brauchitsch. Foreign Minister Baron Konstantin von Neurath is dismi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Yuri Matiyasevich
Yuri Vladimirovich Matiyasevich (; born 2 March 1947 in Leningrad Saint Petersburg, formerly known as Petrograd and later Leningrad, is the List of cities and towns in Russia by population, second-largest city in Russia after Moscow. It is situated on the Neva, River Neva, at the head of the Gulf of Finland ...) is a Russian mathematician and computer scientist. He is best known for his negative solution of Hilbert's tenth problem (Matiyasevich's theorem), which was presented in his doctoral thesis at LOMI (the Leningrad Department of the Steklov Institute of Mathematics). Biography Early years and education Yuri Matiyasevich was born in Leningrad on March 2, 1947. The first few classes he studied at school No. 255 with Sofia G. Generson, thanks to whom he became interested in mathematics. In 1961 he began to participate in all-Russian olympiads. From 1962 to 1963 he studied at Leningrad Saint Petersburg Lyceum 239, physical and mathematical school No. 239. Also from ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
