|
Albert Muchnik
Albert Abramovich Muchnik (2 January 1934 – 14 February 2019) was a Russian mathematician who worked in the field of foundations and mathematical logic. He received his Ph.D. from Moscow State Pedagogical Institute in 1959 under the advisorship of Pyotr Novikov. Muchnik's most significant contribution was on the subject of relative computability. He and Richard Friedberg independently introduced the priority method which gave an affirmative answer to Post's problem regarding the existence of recursively enumerable Turing degrees between 0 and 0' . This result, now known as the Friedberg–Muchnik theorem, opened study of the Turing degrees of the recursively enumerable sets which turned out to possess a very complicated and non-trivial structure. Muchnik also made significant contributions to Medvedev's theory of mass problems, introducing a generalisation of Turing degrees, called "Muchnik degrees", in 1963. Muchnik also elaborated Kolmogorov's proposal of viewing intui ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
American Mathematical Society
The American Mathematical Society (AMS) is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, and serves the national and international community through its publications, meetings, advocacy and other programs. The society is one of the four parts of the Joint Policy Board for Mathematics and a member of the Conference Board of the Mathematical Sciences. History The AMS was founded in 1888 as the New York Mathematical Society, the brainchild of Thomas Fiske, who was impressed by the London Mathematical Society on a visit to England. John Howard Van Amringe was the first president and Fiske became secretary. The society soon decided to publish a journal, but ran into some resistance, due to concerns about competing with the American Journal of Mathematics. The result was the '' Bulletin of the American Mathematical Society'', with Fiske as editor-in-chief. The de facto journal, as intended, was influential i ... [...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] |
2019 Deaths
This is a list of deaths of notable people, organised by year. New deaths articles are added to their respective month (e.g., Deaths in ) and then linked here. 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 See also * Lists of deaths by day * Deaths by year {{DEFAULTSORT:deaths by year ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1934 Births
Events January–February * January 1 – The International Telecommunication Union, a specialist agency of the League of Nations, is established. * January 15 – The 8.0 Nepal–Bihar earthquake strikes Nepal and Bihar with a maximum Mercalli intensity of XI (''Extreme''), killing an estimated 6,000–10,700 people. * January 26 – A 10-year German–Polish declaration of non-aggression is signed by Nazi Germany and the Second Polish Republic. * January 30 ** In Nazi Germany, the political power of federal states such as Prussia is substantially abolished, by the "Law on the Reconstruction of the Reich" (''Gesetz über den Neuaufbau des Reiches''). ** Franklin D. Roosevelt, President of the United States, signs the Gold Reserve Act: all gold held in the Federal Reserve is to be surrendered to the United States Department of the Treasury; immediately following, the President raises the statutory gold price from US$20.67 per ounce to $35. * February 6 – F ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Keldysh Institute Of Applied Mathematics
The Keldysh Institute of Applied Mathematics (russian: Институт прикладной математики им. М.В.Келдыша) is a research institute specializing in computational mathematics. It was established to solve computational tasks related to government programs of nuclear and fusion energy, space research and missile technology. The Institute is a part of the Department of Mathematical Sciences of the Russian Academy of Sciences. The main direction of activity of the institute is the use of computer technology to solve complex scientific and technical issues of practical importance. Since 2016, development of mathematical and computational methods for biological research, as well as a direct solution to the problems of computational biology with the use of such methods, has also been included in the circle of scientific activities of the institute. Scientific activity Nuclear physics Prominent theoretical physicist Yakov Borisovich Zel'dovich headed on ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Doklady Akademii Nauk SSSR
The ''Proceedings of the USSR Academy of Sciences'' (russian: Доклады Академии Наук СССР, ''Doklady Akademii Nauk SSSR'' (''DAN SSSR''), french: Comptes Rendus de l'Académie des Sciences de l'URSS) was a Soviet journal that was dedicated to publishing original, academic research papers in physics, mathematics, chemistry, geology, and biology. It was first published in 1933 and ended in 1992 with volume 322, issue 3. Today, it is continued by ''Doklady Akademii Nauk'' (russian: Доклады Академии Наук), which began publication in 1992. The journal is also known as the ''Proceedings of the Russian Academy of Sciences (RAS)''. ''Doklady'' has had a complicated publication and translation history. A number of translation journals exist which publish selected articles from the original by subject section; these are listed below. History The Russian Academy of Sciences dates from 1724, with a continuous series of variously named publications dat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Uspekhi Matematicheskikh Nauk
''Uspekhi Matematicheskikh Nauk'' (russian: Успехи математических наук) is a Russian mathematical journal, published by the Russian Academy of Sciences and Moscow Mathematical Society and translated into English as ''Russian Mathematical Surveys''. ''Uspekhi Matematicheskikh Nauk'' was founded in 1936, with Lazar Lyusternik as its editor-in-chief. Initially, it appeared irregularly, with issues devoted to specific topics within mathematics together with non-research articles about the work of different mathematical institutes in Russia and abroad. Its third issue, in 1937, was devoted to attacks on Nikolai Luzin, but in an anniversary issue 24 years later this politicization of the journal was downplayed. After a hiatus for World War II, the journal began publishing on a regular schedule in 1946. Its translation, ''Russian Mathematical Surveys'', began in 1960 and since 1997 has been published jointly by the London Mathematical Society, Turpion Ltd, and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Intuitionism
In the philosophy of mathematics, intuitionism, or neointuitionism (opposed to preintuitionism), is an approach where mathematics is considered to be purely the result of the constructive mental activity of humans rather than the discovery of fundamental principles claimed to exist in an objective reality. That is, logic and mathematics are not considered analytic activities wherein deep properties of objective reality are revealed and applied, but are instead considered the application of internally consistent methods used to realize more complex mental constructs, regardless of their possible independent existence in an objective reality. Truth and proof The fundamental distinguishing characteristic of intuitionism is its interpretation of what it means for a mathematical statement to be true. In Brouwer's original intuitionism, the truth of a mathematical statement is a subjective claim: a mathematical statement corresponds to a mental construction, and a mathematician ca ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Intuitionism
In the philosophy of mathematics, intuitionism, or neointuitionism (opposed to preintuitionism), is an approach where mathematics is considered to be purely the result of the constructive mental activity of humans rather than the discovery of fundamental principles claimed to exist in an objective reality. That is, logic and mathematics are not considered analytic activities wherein deep properties of objective reality are revealed and applied, but are instead considered the application of internally consistent methods used to realize more complex mental constructs, regardless of their possible independent existence in an objective reality. Truth and proof The fundamental distinguishing characteristic of intuitionism is its interpretation of what it means for a mathematical statement to be true. In Brouwer's original intuitionism, the truth of a mathematical statement is a subjective claim: a mathematical statement corresponds to a mental construction, and a mathematician ca ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kolmogorov
Andrey Nikolaevich Kolmogorov ( rus, Андре́й Никола́евич Колмого́ров, p=ɐnˈdrʲej nʲɪkɐˈlajɪvʲɪtɕ kəlmɐˈɡorəf, a=Ru-Andrey Nikolaevich Kolmogorov.ogg, 25 April 1903 – 20 October 1987) was a Soviet mathematician who contributed to the mathematics of probability theory, topology, intuitionistic logic, turbulence, classical mechanics, algorithmic information theory and computational complexity. Biography Early life Andrey Kolmogorov was born in Tambov, about 500 kilometers south-southeast of Moscow, in 1903. His unmarried mother, Maria Y. Kolmogorova, died giving birth to him. Andrey was raised by two of his aunts in Tunoshna (near Yaroslavl) at the estate of his grandfather, a well-to-do nobleman. Little is known about Andrey's father. He was supposedly named Nikolai Matveevich Kataev and had been an agronomist. Kataev had been exiled from St. Petersburg to the Yaroslavl province after his participation in the revolutionary mov ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Siberian Mathematical Journal
The ''Siberian Mathematical Journal'' (abbreviated as Sib. Math. J.) is a cover-to-cover English translation of the Russian peer-reviewed mathematics journal ''Sibirskii Matematicheskii Zhurnal'', a publication of the Sobolev Institute of Mathematics of the Siberian Division of the Russian Academy of Sciences ( Novosibirsk). ''Sibirskii Matematicheskii Zhurnal'' was established in 1960 and the ''Siberian Mathematical Journal'' was launched in 1966. It is published by Springer Science+Business Media. The journal publishes research papers in all branches of mathematics, including functional analysis, differential equations, algebra and logic, geometry and topology, probability theory and mathematical statistics, ill-posed problems of mathematical physics, computational methods of linear algebra Linear algebra is the branch of mathematics concerning linear equations such as: :a_1x_1+\cdots +a_nx_n=b, linear maps such as: :(x_1, \ldots, x_n) \mapsto a_1x_1+\cdots +a_nx_n, a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
