Wang Hao (academic)
Hao Wang (; 20 May 1921 – 13 May 1995) was a Chinese-American logician, philosopher, mathematician, and commentator on Kurt Gödel. Biography Born in Jinan, Shandong, in the Republic of China (today in the People's Republic of China), Wang received his early education in China. He obtained a BSc degree in mathematics from the National Southwestern Associated University in 1943 and an M.A. in Philosophy from Tsinghua University in 1945, where his teachers included Feng Youlan and Jin Yuelin, after which he moved to the United States for further graduate studies. He studied logic under W.V. Quine at Harvard University, culminating in a Ph.D. in 1948. He was appointed to an assistant professorship at Harvard the same year. During the early 1950s, Wang studied with Paul Bernays in Zürich. In 1956, he was appointed Reader in the Philosophy of Mathematics at the University of Oxford. In 1959, Wang wrote on an IBM 704 computer a program that in only 9 minutes mechanically pr ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Wang (surname)
Wang () is the pinyin romanization of Chinese, romanization of the common Chinese surnames (''Wáng'') and (''Wāng''). It is currently the list of common Chinese surnames, most common surname in mainland China, as well as the most common surname in the world, with more than 107 million worldwide. [Public Security Bureau Statistics: 'Wang' Found China's #1 'Big Family', Includes 92.88m People]." 24 Apr 2007. Accessed 27 Mar 2012. Wáng () was listed as 8th on the famous Song Dynasty list of the ''Hundred Family Surnames.'' Wāng () was 104th of the ''Hundred Family Surnames''; it is currently the list of common Chinese surnames, 58th-most-common surname in mainland China. Wang is also a surname in several European countries. Romanizations is also romanized as Wong (surname), Wong in Hong Kong, ...[...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Joyce Friedman
Joyce Barbara Friedman (1928 – November 28, 2018) was an American mathematician, operations researcher, computer scientist, and computational linguist who worked as a professor at the University of Michigan and Boston University and served as president of the Association for Computational Linguistics. Early life and education Friedman was born in 1928. She was a Durant Scholar at Wellesley College, from which she graduated in 1949, and earned a master's degree at Radcliffe College in 1952. In the same year she moved from the Logistics Research Project at George Washington University to the US Department of Defense, later working at a succession of defense contractors: ACF Industries (where she worked with Sheldon Akers on production scheduling), Tech. Operations, Inc., and the Mitre Corporation. Returning to graduate study at Harvard University, her interests shifted from operations research to automated reasoning. She completed her Ph.D. in 1965, supervised by Hao Wang, with ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
IBM 704
The IBM 704 is a large digital mainframe computer introduced by IBM in 1954. It was the first mass-produced computer with hardware for floating-point arithmetic. The IBM 704 ''Manual of operation'' states: The type 704 Electronic Data-Processing Machine is a large-scale, high-speed electronic calculator controlled by an internally stored program of the single address type. The 704 at that time was thus regarded as "pretty much the only computer that could handle complex math". The 704 was a significant improvement over the earlier IBM 701 in terms of architecture and implementation. Like the 701, the 704 uses vacuum-tube logic circuitry, but increased the instruction size from 18-bit to 36-bit, the same as the memory's word size. Changes from the 701 include the use of magnetic-core memory instead of Williams tubes, floating-point arithmetic instructions, 15-bit addressing and the addition of three index registers. To support these new features, the instructions we ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Zürich
Zürich () is the list of cities in Switzerland, largest city in Switzerland and the capital of the canton of Zürich. It is located in north-central Switzerland, at the northwestern tip of Lake Zürich. As of January 2020, the municipality has 434,335 inhabitants, the Urban agglomeration, urban area 1.315 million (2009), and the Zürich metropolitan area 1.83 million (2011). Zürich is a hub for railways, roads, and air traffic. Both Zurich Airport and Zürich Hauptbahnhof, Zürich's main railway station are the largest and busiest in the country. Permanently settled for over 2,000 years, Zürich was founded by the Roman Empire, Romans, who called it '. However, early settlements have been found dating back more than 6,400 years (although this only indicates human presence in the area and not the presence of a town that early). During the Middle Ages, Zürich gained the independent and privileged status of imperial immediacy and, in 1519, became a primary centre of the Protestant ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Paul Bernays
Paul Isaac Bernays (17 October 1888 – 18 September 1977) was a Swiss mathematician who made significant contributions to mathematical logic, axiomatic set theory, and the philosophy of mathematics. He was an assistant and close collaborator of David Hilbert. Biography Bernays was born into a distinguished German-Jewish family of scholars and businessmen. His great-grandfather, Isaac ben Jacob Bernays, served as chief rabbi of Hamburg from 1821 to 1849. Bernays spent his childhood in Berlin, and attended the Köllner Gymnasium, 1895–1907. At the University of Berlin, he studied mathematics under Issai Schur, Edmund Landau, Ferdinand Georg Frobenius, and Friedrich Schottky; philosophy under Alois Riehl, Carl Stumpf and Ernst Cassirer; and physics under Max Planck. At the University of Göttingen, he studied mathematics under David Hilbert, Edmund Landau, Hermann Weyl, and Felix Klein; physics under Voigt and Max Born; and philosophy under Leonard Nelson. In 1912, the Unive ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Jin Yuelin
Jin Yuelin or Chin Yueh-Lin (; 14 July 1895 – 19 October 1984) was a Chinese philosopher best known for three works, one each on logic, metaphysics, and epistemology. He was also a commentator on Bertrand Russell. Biography Jin was born in Changsha, Hunan and attended Tsinghua University from 1911 until 1914. He obtained a Ph.D. in Political Science from Columbia University in 1920. In 1926, Jin founded the Department of Philosophy at Tsinghua University. Jin was an active participant in the May 4th movement as a young, intellectual revolutionary. He helped to incorporate the scientific method into philosophy. Hao Wang was one of his students. He died in Beijing. Philosophical context: Eastern vs. Western thought Among the first to introduce certain basics of modern logic into China, Jin also founded a new philosophical system combining elements from Western and Chinese philosophical traditions (especially the concept of Tao). Not much work on Jin's philosophy has been done ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Feng Youlan
Feng Youlan (; 4 December 1895 – 26 November 1990) was a Chinese philosopher, historian, and writer who was instrumental for reintroducing the study of Chinese philosophy in the modern era. The name he published under in English was 'Fung Yu-lan,' for which see, for example, the Bodde translation of ''A History of Chinese Philosophy.'' This earlier spelling also occurs in philosophical discussions, see for example the work of Wing-tsit Chan. Early life, education and career Feng Youlan was born on 4 December 1895 in Tanghe County, Nanyang, Henan, China, to a middle-class family. His younger sister was Feng Yuanjun, who would become a famous Chinese writer. He studied philosophy in the China Public School in Shanghai, between 1912 and 1915, a preparatory school for college, then studied in Chunghua University, Wuhan (later merged into Central China Normal University) and Peking University between 1915 and 1918, where he was able to study Western philosophy and logic as well ... [...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]   |
|
People's Republic Of China
China, officially the People's Republic of China (PRC), is a country in East Asia. It is the world's most populous country, with a population exceeding 1.4 billion, slightly ahead of India. China spans the equivalent of five time zones and borders fourteen countries by land, the most of any country in the world, tied with Russia. Covering an area of approximately , it is the world's third largest country by total land area. The country consists of 22 provinces, five autonomous regions, four municipalities, and two Special Administrative Regions (Hong Kong and Macau). The national capital is Beijing, and the most populous city and financial center is Shanghai. Modern Chinese trace their origins to a cradle of civilization in the fertile basin of the Yellow River in the North China Plain. The semi-legendary Xia dynasty in the 21st century BCE and the well-attested Shang and Zhou dynasties developed a bureaucratic political system to serve hereditary monarchies, or dyna ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Kurt Gödel
Kurt Friedrich Gödel ( , ; April 28, 1906 – January 14, 1978) was a logician, mathematician, and philosopher. Considered along with Aristotle and Gottlob Frege to be one of the most significant logicians in history, Gödel had an immense effect upon scientific and philosophical thinking in the 20th century, a time when others such as Bertrand Russell,For instance, in their "Principia Mathematica' (''Stanford Encyclopedia of Philosophy'' edition). Alfred North Whitehead, and David Hilbert were using logic and set theory to investigate the foundations of mathematics, building on earlier work by the likes of Richard Dedekind, Georg Cantor and Frege. Gödel published his first incompleteness theorem in 1931 when he was 25 years old, one year after finishing his doctorate at the University of Vienna. The first incompleteness theorem states that for any ω-consistent recursive axiomatic system powerful enough to describe the arithmetic of the natural numbers (for example P ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Mathematician
A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, structure, space, models, and change. History One of the earliest known mathematicians were Thales of Miletus (c. 624–c.546 BC); he has been hailed as the first true mathematician and the first known individual to whom a mathematical discovery has been attributed. He is credited with the first use of deductive reasoning applied to geometry, by deriving four corollaries to Thales' Theorem. The number of known mathematicians grew when Pythagoras of Samos (c. 582–c. 507 BC) established the Pythagorean School, whose doctrine it was that mathematics ruled the universe and whose motto was "All is number". It was the Pythagoreans who coined the term "mathematics", and with whom the study of mathematics for its own sake begins. The first woman mathematician recorded by history was Hypati ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Philosopher
A philosopher is a person who practices or investigates philosophy. The term ''philosopher'' comes from the grc, φιλόσοφος, , translit=philosophos, meaning 'lover of wisdom'. The coining of the term has been attributed to the Greek thinker Pythagoras (6th century BCE).. In the Classics, classical sense, a philosopher was someone who lived according to a certain way of life, focusing upon resolving Meaning of life, existential questions about the human condition; it was not necessary that they discoursed upon Theory, theories or commented upon authors. Those who most arduously committed themselves to this lifestyle would have been considered ''philosophers''. In a modern sense, a philosopher is an intellectual who contributes to one or more branches of philosophy, such as aesthetics, ethics, epistemology, philosophy of science, logic, metaphysics, social theory, philosophy of religion, and political philosophy. A philosopher may also be someone who has worked in the hum ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |