|
Liu Lu
Liu Lu (; born 2 April 1989) is a professor of mathematics at Central South University in Changsha, Hunan, where he is China's youngest full university Professor. As a 22-year-old undergraduate student Lu proved that Ramsey theorem for infinite graphs (the case n = 2) with 2-coloring does not imply WKL0 over RCA0, solving an open problem left by English logician David Seetapun in the 1990s (). For this he was instantly promoted to full professor in the department where he was studying, and awarded a prize of 1 million renminbi The renminbi (; symbol: ¥; ISO code: CNY; abbreviation: RMB) is the official currency of the People's Republic of China and one of the world's most traded currencies, ranking as the fifth most traded currency in the world as of April 2022. .... Some established professors were critical of his appointment voicing concern that he was too young, had no teaching experience and that the appointment was mostly designed to get media attention to Liu's u ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dalian
Dalian () is a major sub-provincial port city in Liaoning province, People's Republic of China, and is Liaoning's second largest city (after the provincial capital Shenyang) and the third-most populous city of Northeast China. Located on the southern tip of Liaodong peninsula, it is the southernmost city in both Liaoning and the entire Northeast. Dalian borders the prefectural cities of Yingkou and Anshan to the north and Dandong to the northeast, and also shares maritime boundaries with Qinhuangdao and Huludao across the Liaodong Bay to west and northwest, Yantai and Weihai on the Shandong peninsula across the Bohai Strait to the south, and North Korea across the Korea Bay to the east. As of the 2020 census, its total population was 7,450,785 inhabitants whom 5,106,719 lived in the built-up (or metro) area made of 6 out of 7 urban districts, Pulandian District not being conurbated yet. Today a financial, shipping, and logistics center for East Asia, Dalian has a signific ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Liaoning
Liaoning () is a coastal province in Northeast China that is the smallest, southernmost, and most populous province in the region. With its capital at Shenyang, it is located on the northern shore of the Yellow Sea, and is the northernmost coastal province of the People's Republic of China. Historically a gateway between China proper and Manchuria, the modern Liaoning province was established in 1907 as Fengtian or Fengtien province and was renamed Liaoning in 1929. It was also known at that time as Mukden Province for the Manchu name of ''Shengjing'', the former name of Shenyang. Under the Japanese-puppet Manchukuo regime, the province reverted to its 1907 name, but the name Liaoning was restored for a brief time in 1945 and then again in 1954. Liaoning borders the Yellow Sea ( Korea Bay) and Bohai Sea in the south, North Korea's North Pyongan and Chagang provinces in the southeast, Jilin to the northeast, Hebei to the southwest, and Inner Mongolia to the northwest. The ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Central South University
Central South University (CSU; ) is a national public university in Changsha, Hunan, China. The university is sponsored by the Ministry of Education of the People's Republic of China, China Ministry of Education. It is a Chinese state Double First Class University Plan, Double First Class University. Hunan Medical University, Changsha Railway College, and Central South University of Technology merged to establish Central South University in April 2000. History CSU was established by approval of the State Council of the People's Republic of China, State Council on April 29, 2000 by merging three separate universities: Hunan Medical University (HMU), Changsha Railway University (CRU) and Central South University of Technology (CSUT). HMU, formerly under the administration of the Ministry of Health, dates back to 1914 when Xiangya Medical College was founded through the joint efforts of Hunan Yuqun Society and the Yale-China Association. CRU, one of the universities under the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
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] |
Changsha
Changsha (; ; ; Changshanese pronunciation: (), Standard Mandarin pronunciation: ) is the capital and the largest city of Hunan Province of China. Changsha is the 17th most populous city in China with a population of over 10 million, and the third-most populous city in Central China, located in the lower reaches of Xiang River in northeastern Hunan. Changsha is also called Xingcheng (星城, 'Star City') and was once named Linxiang (临湘）, Tanzhou (潭州), Qingyang (青阳) in ancient times. It is also known as Shanshuizhoucheng (山水洲城), with the Xiang River flowing through it, containing Mount Yuelu and Orange Isle. The city forms a part of the Greater Changsha Metropolitan Region along with Zhuzhou and Xiangtan, also known as Changzhutan City Cluster. Greater Changsha was named as one of the 13 emerging mega-cities in China in 2012 by the Economist Intelligence Unit. It is also a National Comprehensive Transportation Hub, and one of the first National Fa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hunan
Hunan (, ; ) is a landlocked province of the People's Republic of China, part of the South Central China region. Located in the middle reaches of the Yangtze watershed, it borders the province-level divisions of Hubei to the north, Jiangxi to the east, Guangdong and Guangxi to the south, Guizhou to the west and Chongqing to the northwest. Its capital and largest city is Changsha, which also abuts the Xiang River. Hengyang, Zhuzhou, and Yueyang are among its most populous urban cities. With a population of just over 66 million residing in an area of approximately , it is China's 7th most populous province, the fourth most populous among landlocked provinces, the second most populous in South Central China after Guangdong and the most populous province in Central China. It is the largest province in South-Central China and the fourth largest among landlocked provinces and the 10th most extensive province by area. Hunan's nominal GDP was US$ 724 billion (CNY 4.6 trillion) a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ramsey's Theorem
In combinatorics, Ramsey's theorem, in one of its graph-theoretic forms, states that one will find monochromatic cliques in any edge labelling (with colours) of a sufficiently large complete graph. To demonstrate the theorem for two colours (say, blue and red), let and be any two positive integers. Ramsey's theorem states that there exists a least positive integer for which every blue-red edge colouring of the complete graph on vertices contains a blue clique on vertices or a red clique on vertices. (Here signifies an integer that depends on both and .) Ramsey's theorem is a foundational result in combinatorics. The first version of this result was proved by F. P. Ramsey. This initiated the combinatorial theory now called Ramsey theory, that seeks regularity amid disorder: general conditions for the existence of substructures with regular properties. In this application it is a question of the existence of ''monochromatic subsets'', that is, subsets of connected edges of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Reverse Mathematics
Reverse mathematics is a program in mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics. Its defining method can briefly be described as "going backwards from the theorems to the axioms", in contrast to the ordinary mathematical practice of deriving theorems from axioms. It can be conceptualized as sculpting out necessary conditions from sufficient ones. The reverse mathematics program was foreshadowed by results in set theory such as the classical theorem that the axiom of choice and Zorn's lemma are equivalent over ZF set theory. The goal of reverse mathematics, however, is to study possible axioms of ordinary theorems of mathematics rather than possible axioms for set theory. Reverse mathematics is usually carried out using subsystems of second-order arithmetic,Simpson, Stephen G. (2009), Subsystems of second-order arithmetic, Perspectives in Logic (2nd ed.), Cambridge University Press, doi:10.1017/CBO9780511581007, ISBN 978 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
David Seetapun
David Seetapun is an English logician and former investment banker. Academic Work During the fall of 1990, David Seetapun was said to have "used a very interesting 0′′′- priority argument to prove that every r.e. degree 0 < a < 0′ is locally noncappable, namely (∀a) 0 < a < 0′ (∃c) a < c (∀b) b < c ∩b = 0 => b = 0. Seetapun received a PhD in logic from in 1991, the topic was "Contributions to recursion theory". He went on to a post ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Renminbi
The renminbi (; symbol: ¥; ISO code: CNY; abbreviation: RMB) is the official currency of the People's Republic of China and one of the world's most traded currencies, ranking as the fifth most traded currency in the world as of April 2022. The yuan ( or ) is the basic unit of the renminbi, but the word is also used to refer to the Chinese currency generally, especially in international contexts. One yuan is divided into 10 jiao (), and the jiao is further subdivided into 10 fen (). The renminbi is issued by the People's Bank of China, the monetary authority of China. Valuation Until 2005, the value of the renminbi was pegged to the US dollar. As China pursued its transition from central planning to a market economy and increased its participation in foreign trade, the renminbi was devalued to increase the competitiveness of Chinese industry. It has previously been claimed that the renminbi's official exchange rate was undervalued by as much as 37.5% against its purchas ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1989 Births
File:1989 Events Collage.png, From left, clockwise: The Cypress structure collapses as a result of the 1989 Loma Prieta earthquake, killing motorists below; The proposal document for the World Wide Web is submitted; The Exxon Valdez oil tanker runs aground in Prince William Sound, Alaska, causing a large oil spill; The Fall of the Berlin Wall begins the downfall of Communism in Eastern Europe, and heralds German reunification; The United States invades Panama to depose Manuel Noriega; The Singing Revolution led to the independence of the Baltic states of Estonia, Latvia, and Lithuania from the Soviet Union; The stands of Hillsborough Stadium in Sheffield, Yorkshire, where the Hillsborough disaster occurred; Students demonstrate in Tiananmen Square, Beijing; many are killed by forces of the Chinese Communist Party., 300x300px, thumb rect 0 0 200 200 1989 Loma Prieta earthquake rect 200 0 400 200 World Wide Web rect 400 0 600 200 Exxon Valdez oil spill rect 0 200 300 400 1 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Living People
Related categories * :Year of birth missing (living people) / :Year of birth unknown * :Date of birth missing (living people) / :Date of birth unknown * :Place of birth missing (living people) / :Place of birth unknown * :Year of death missing / :Year of death unknown * :Date of death missing / :Date of death unknown * :Place of death missing / :Place of death unknown * :Missing middle or first names See also * :Dead people * :Template:L, which generates this category or death years, and birth year and sort keys. : {{DEFAULTSORT:Living people 21st-century people People by status ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
