|
Grigori Mints
Grigori Mints (June 7, 1939 – May 29, 2014) was a Russian philosopher and mathematician who worked in mathematical logic. He was born in Leningrad, in the Soviet Union (now St. Petersburg, Russia), and received his Ph.D. in 1965 from the Leningrad State University under Nikolai Aleksandrovich Shanin with a thesis entitled "On Predicate and Operator Variants for Building Theories of Constructive Mathematics". In 1990 he received his D.Sc. from Leningrad State University with a thesis entitled "Proof Transformations and Synthesis of Programs". He was a Stanford University professor. Since 1991, Grigori "Grisha" Mints was a professor of philosophy and, by courtesy, of mathematics and of computer science at Stanford University. Before joining Stanford, Mints held research positions at the Steklov Mathematical Institute, Leningrad University, and the Estonian Academy of Sciences. Considered one of the most distinguished logicians in the world, Mints was passionate about the applicati ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Leningrad
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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Steklov Mathematical Institute
Steklov Institute of Mathematics or Steklov Mathematical Institute (russian: Математический институт имени В.А.Стеклова) 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 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 Institute of Mathematics of Russian Academy ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Historians Of Mathematics
The history of mathematics deals with the origin of discoveries in mathematics and the mathematical methods and notation of the past. Before the modern age and the worldwide spread of knowledge, written examples of new mathematical developments have come to light only in a few locales. From 3000 BC the Mesopotamian states of Sumer, Akkad and Assyria, followed closely by Ancient Egypt and the Levantine state of Ebla began using arithmetic, algebra and geometry for purposes of taxation, commerce, trade and also in the patterns in nature, the field of astronomy and to record time and formulate calendars. The earliest mathematical texts available are from Mesopotamia and Egypt – ''Plimpton 322'' ( Babylonian c. 2000 – 1900 BC), the '' Rhind Mathematical Papyrus'' (Egyptian c. 1800 BC) and the ''Moscow Mathematical Papyrus'' (Egyptian c. 1890 BC). All of these texts mention the so-called Pythagorean triples, so, by inference, the Pythagorean theorem seems to be the most ancient a ... [...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] |
21st-century Russian Philosophers
The 1st century was the century spanning AD 1 ( I) through AD 100 ( C) according to the Julian calendar. It is often written as the or to distinguish it from the 1st century BC (or BCE) which preceded it. The 1st century is considered part of the Classical era, epoch, or historical period. The 1st century also saw the appearance of Christianity. During this period, Europe, North Africa and the Near East fell under increasing domination by the Roman Empire, which continued expanding, most notably conquering Britain under the emperor Claudius (AD 43). The reforms introduced by Augustus during his long reign stabilized the empire after the turmoil of the previous century's civil wars. Later in the century the Julio-Claudian dynasty, which had been founded by Augustus, came to an end with the suicide of Nero in AD 68. There followed the famous Year of Four Emperors, a brief period of civil war and instability, which was finally brought to an end by Vespasian, ninth Roman emperor, a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Russian Logicians
Russian(s) refers to anything related to Russia, including: *Russians (, ''russkiye''), an ethnic group of the East Slavic peoples, primarily living in Russia and neighboring countries *Rossiyane (), Russian language term for all citizens and people of Russia, regardless of ethnicity *Russophone, Russian-speaking person (, ''russkogovoryashchy'', ''russkoyazychny'') *Russian language, the most widely spoken of the Slavic languages *Russian alphabet *Russian cuisine *Russian culture *Russian studies Russian may also refer to: *Russian dressing *''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 *The South African name for a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
21st-century Russian Mathematicians
The 1st century was the century spanning AD 1 ( I) through AD 100 ( C) according to the Julian calendar. It is often written as the or to distinguish it from the 1st century BC (or BCE) which preceded it. The 1st century is considered part of the Classical era, epoch, or historical period. The 1st century also saw the appearance of Christianity. During this period, Europe, North Africa and the Near East fell under increasing domination by the Roman Empire, which continued expanding, most notably conquering Britain under the emperor Claudius (AD 43). The reforms introduced by Augustus during his long reign stabilized the empire after the turmoil of the previous century's civil wars. Later in the century the Julio-Claudian dynasty, which had been founded by Augustus, came to an end with the suicide of Nero in AD 68. There followed the famous Year of Four Emperors, a brief period of civil war and instability, which was finally brought to an end by Vespasian, ninth Roman emperor, a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
2014 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 The following pages, corresponding to the Gregorian calendar, list the historical events, births, deaths, and holidays and observances of the specified day of the year: Footnotes See also * Leap year * List of calendars * List of non-standard ... * Deaths by year {{DEFAULTSORT:deaths by year ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1939 Births
This year also marks the start of the Second World War, the largest and deadliest conflict in human history. Events Below, the events of World War II have the "WWII" prefix. January * January 1 ** Third Reich *** Jews are forbidden to work with Germans. *** The Youth Protection Act was passed on April 30, 1938 and the Working Hours Regulations came into effect. *** The Jews name change decree has gone into effect. ** The rest of the world *** In Spain, it becomes a duty of all young women under 25 to complete compulsory work service for one year. *** First edition of the Vienna New Year's Concert. *** The company of technology and manufacturing scientific instruments Hewlett-Packard, was founded in a garage in Palo Alto, California, by William (Bill) Hewlett and David Packard. This garage is now considered the birthplace of Silicon Valley. *** Sydney, in Australia, records temperature of 45 ˚C, the highest record for the city. *** Philipp Etter took over as Swi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
WoLLIC
WoLLIC, the Workshop on Logic, Language, Information and Computation is an academic conference in the field of pure and applied logic and theoretical computer science. WoLLIC has been organised annually since 1994, typically in June or July; the conference is scientifically sponsored by the Association for Logic, Language and Information, the Association for Symbolic Logic, the European Association for Theoretical Computer Science and the European Association for Computer Science Logic. Ranking According tComputer Science Conference Ranking 2010 the conference is ranked "B" among over 1900 international conferences across the world. It is also ranked "B" oThe CORE Conference Ranking Exercise - CORE Portal (2021) It is currently ranked 9th (Last 5 years), Field-Rating 1, Algorithms & Theory, aMicrosoft Academic Search - Conferences OGoogle Scholar the conference gets a score of 11 as its h5-index, and a score of 16 as its h5-median. History * 1994: Recife, Brazil * 1995: Recife ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
American Academy Of Arts And Sciences
The American Academy of Arts and Sciences (abbreviation: AAA&S) is one of the oldest learned societies in the United States. It was founded in 1780 during the American Revolution by John Adams, John Hancock, James Bowdoin, Andrew Oliver, and other Founding Fathers of the United States. It is headquartered in Cambridge, Massachusetts. Membership in the academy is achieved through a thorough petition, review, and election process. The academy's quarterly journal, ''Dædalus'', is published by MIT Press on behalf of the academy. The academy also conducts multidisciplinary public policy research. History The Academy was established by the Massachusetts legislature on May 4, 1780, charted in order "to cultivate every art and science which may tend to advance the interest, honor, dignity, and happiness of a free, independent, and virtuous people." The sixty-two incorporating fellows represented varying interests and high standing in the political, professional, and commercial secto ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.jpg "Click for more on -> 1939 Births")