42 relations: Alfred North Whitehead, Aperiodic tiling, Automated theorem proving, Bertrand Russell, Chih-Kung Jen, China, Computer science, Feng Youlan, Gordon McKay, Harvard University, IBM 704, International Joint Conference on Artificial Intelligence, Jin Yuelin, Jinan, Kurt Gödel, Logic, Ludwig Wittgenstein, Mathematical logic, Mathematician, Mathematics, National Southwestern Associated University, New York (state), New York City, Paul Bernays, Philosopher, Philosophy, Principia Mathematica, Professor, Republic of China (1912–1949), Robert Berger (mathematician), Rockefeller University, Shandong, Shimon Even, Stephen Cook, Tsinghua University, Turing machine, University of Oxford, Wang (surname), Wang B-machine, Wang tile, Willard Van Orman Quine, Zürich.
Alfred North Whitehead
Alfred North Whitehead (15 February 1861 – 30 December 1947) was an English mathematician and philosopher.
New!!: Hao Wang (academic) and Alfred North Whitehead · See more »
Aperiodic tiling
An aperiodic tiling is a non-periodic tiling with the additional property that it does not contain arbitrarily large periodic patches.
New!!: Hao Wang (academic) and Aperiodic tiling · See more »
Automated theorem proving
Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs.
New!!: Hao Wang (academic) and Automated theorem proving · See more »
Bertrand Russell
Bertrand Arthur William Russell, 3rd Earl Russell, (18 May 1872 – 2 February 1970) was a British philosopher, logician, mathematician, historian, writer, social critic, political activist, and Nobel laureate.
New!!: Hao Wang (academic) and Bertrand Russell · See more »
Chih-Kung Jen
Chih-Kung Jen (August 15 or October 2, 1906 – November 19, 1995) was a Chinese physicist who emigrated to the U.S. and participated in some of the 20th century's major scientific, political and social developments in both the United States and China.
New!!: Hao Wang (academic) and Chih-Kung Jen · See more »
China
China, officially the People's Republic of China (PRC), is a unitary one-party sovereign state in East Asia and the world's most populous country, with a population of around /1e9 round 3 billion.
New!!: Hao Wang (academic) and China · See more »
Computer science
Computer science deals with the theoretical foundations of information and computation, together with practical techniques for the implementation and application of these foundations.
New!!: Hao Wang (academic) and Computer science · See more »
Feng Youlan
Feng Youlan (4 December 1895 – 26 November 1990) was a Chinese philosopher who was instrumental for reintroducing the study of Chinese philosophy in the modern era.
New!!: Hao Wang (academic) and Feng Youlan · See more »
Gordon McKay
Gordon McKay (1821–1903) was an American businessman and philanthropist.
New!!: Hao Wang (academic) and Gordon McKay · See more »
Harvard University
Harvard University is a private Ivy League research university in Cambridge, Massachusetts.
New!!: Hao Wang (academic) and Harvard University · See more »
IBM 704
The IBM 704, introduced by IBM in 1954, is the first mass-produced computer with floating-point arithmetic hardware.
New!!: Hao Wang (academic) and IBM 704 · See more »
International Joint Conference on Artificial Intelligence
The International Joint Conference on Artificial Intelligence (IJCAI) is a gathering of artificial intelligence researchers and practitioners.
New!!: Hao Wang (academic) and International Joint Conference on Artificial Intelligence · See more »
Jin Yuelin
Jin Yuelin (1895–1984) was a Chinese philosopher best known for three works, one each on logic, metaphysics, and epistemology.
New!!: Hao Wang (academic) and Jin Yuelin · See more »
Jinan
Jinan, formerly romanized as Tsinan, is the capital of Shandong province in Eastern China.
New!!: Hao Wang (academic) and Jinan · See more »
Kurt Gödel
Kurt Friedrich Gödel (April 28, 1906 – January 14, 1978) was an Austrian, and later American, logician, mathematician, and philosopher.
New!!: Hao Wang (academic) and Kurt Gödel · See more »
Logic
Logic (from the logikḗ), originally meaning "the word" or "what is spoken", but coming to mean "thought" or "reason", is a subject concerned with the most general laws of truth, and is now generally held to consist of the systematic study of the form of valid inference.
New!!: Hao Wang (academic) and Logic · See more »
Ludwig Wittgenstein
Ludwig Josef Johann Wittgenstein (26 April 1889 – 29 April 1951) was an Austrian-British philosopher who worked primarily in logic, the philosophy of mathematics, the philosophy of mind, and the philosophy of language.
New!!: Hao Wang (academic) and Ludwig Wittgenstein · See more »
Mathematical logic
Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics.
New!!: Hao Wang (academic) and Mathematical logic · See more »
Mathematician
A mathematician is someone who uses an extensive knowledge of mathematics in his or her work, typically to solve mathematical problems.
New!!: Hao Wang (academic) and Mathematician · See more »
Mathematics
Mathematics (from Greek μάθημα máthēma, "knowledge, study, learning") is the study of such topics as quantity, structure, space, and change.
New!!: Hao Wang (academic) and Mathematics · See more »
National Southwestern Associated University
When the Second Sino-Japanese War broke out between China and Japan in 1937, Peking University, Tsinghua University and Nankai University merged to form Changsha Temporary University in Changsha and later National Southwestern Associated University (Lianda) in Kunming and Mengzi, in Southwest China's Yunnan Province.
New!!: Hao Wang (academic) and National Southwestern Associated University · See more »
New York (state)
New York is a state in the northeastern United States.
New!!: Hao Wang (academic) and New York (state) · See more »
New York City
The City of New York, often called New York City (NYC) or simply New York, is the most populous city in the United States.
New!!: Hao Wang (academic) and New York City · See more »
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.
New!!: Hao Wang (academic) and Paul Bernays · See more »
Philosopher
A philosopher is someone who practices philosophy, which involves rational inquiry into areas that are outside either theology or science.
New!!: Hao Wang (academic) and Philosopher · See more »
Philosophy
Philosophy (from Greek φιλοσοφία, philosophia, literally "love of wisdom") is the study of general and fundamental problems concerning matters such as existence, knowledge, values, reason, mind, and language.
New!!: Hao Wang (academic) and Philosophy · See more »
Principia Mathematica
The Principia Mathematica (often abbreviated PM) is a three-volume work on the foundations of mathematics written by Alfred North Whitehead and Bertrand Russell and published in 1910, 1912, and 1913.
New!!: Hao Wang (academic) and Principia Mathematica · See more »
Professor
Professor (commonly abbreviated as Prof.) is an academic rank at universities and other post-secondary education and research institutions in most countries.
New!!: Hao Wang (academic) and Professor · See more »
Republic of China (1912–1949)
The Republic of China was a sovereign state in East Asia, that occupied the territories of modern China, and for part of its history Mongolia and Taiwan.
New!!: Hao Wang (academic) and Republic of China (1912–1949) · See more »
Robert Berger (mathematician)
Robert Berger (born 1938) is an applied mathematician, known for inventing the first aperiodic tiling using a set of 20,426 distinct tile shapes.
New!!: Hao Wang (academic) and Robert Berger (mathematician) · See more »
Rockefeller University
The Rockefeller University is a center for scientific research, primarily in the biological and medical sciences, that provides doctoral and postdoctoral education.
New!!: Hao Wang (academic) and Rockefeller University · See more »
Shandong
Shandong (formerly romanized as Shantung) is a coastal province of the People's Republic of China, and is part of the East China region.
New!!: Hao Wang (academic) and Shandong · See more »
Shimon Even
Shimon Even (שמעון אבן; June 15, 1935 – May 1, 2004) was an Israeli computer science researcher.
New!!: Hao Wang (academic) and Shimon Even · See more »
Stephen Cook
Stephen Arthur Cook, (born December 14, 1939) is an American-Canadian computer scientist and mathematician who has made major contributions to the fields of complexity theory and proof complexity.
New!!: Hao Wang (academic) and Stephen Cook · See more »
Tsinghua University
Tsinghua University (abbreviated THU;; also romanized as Qinghua) is a major research university in Beijing, China and a member of the elite C9 League of Chinese universities.
New!!: Hao Wang (academic) and Tsinghua University · See more »
Turing machine
A Turing machine is a mathematical model of computation that defines an abstract machine, which manipulates symbols on a strip of tape according to a table of rules.
New!!: Hao Wang (academic) and Turing machine · See more »
University of Oxford
The University of Oxford (formally The Chancellor Masters and Scholars of the University of Oxford) is a collegiate research university located in Oxford, England.
New!!: Hao Wang (academic) and University of Oxford · See more »
Wang (surname)
Wang is the pinyin romanization of the Chinese surnames 王 (Wáng) and 汪 (Wāng).
New!!: Hao Wang (academic) and Wang (surname) · See more »
Wang B-machine
As presented by Hao Wang (1954, 1957), his basic machine B is an extremely simple computational model equivalent to the Turing machine.
New!!: Hao Wang (academic) and Wang B-machine · See more »
Wang tile
Wang tiles (or Wang dominoes), first proposed by mathematician, logician, and philosopher Hao Wang in 1961, are a class of formal systems.
New!!: Hao Wang (academic) and Wang tile · See more »
Willard Van Orman Quine
Willard Van Orman Quine (known to intimates as "Van"; June 25, 1908 – December 25, 2000) was an American philosopher and logician in the analytic tradition, recognized as "one of the most influential philosophers of the twentieth century." From 1930 until his death 70 years later, Quine was continually affiliated with Harvard University in one way or another, first as a student, then as a professor of philosophy and a teacher of logic and set theory, and finally as a professor emeritus who published or revised several books in retirement.
New!!: Hao Wang (academic) and Willard Van Orman Quine · See more »
Zürich
Zürich or Zurich is the largest city in Switzerland and the capital of the canton of Zürich.
New!!: Hao Wang (academic) and Zürich · See more »
Redirects here:
References
[1] https://en.wikipedia.org/wiki/Hao_Wang_(academic)