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. O. 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 mechanicall ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Wang (surname)
Wang () is the pinyin romanization of Chinese, romanization of the common Chinese surname (''Wáng''). It has a mixture of various origin with uncertain lineage of family history, however it is currently the list of common Chinese surnames, most common surname in Mainland China, one of the most common surnames in Asia, with more than 107 million in Asia. It is the 8th name listed in the famous Hundred Family Surnames. [Public Security Bureau Statistics: 'Wang' Found China's #1 'Big Family', Includes 92.88m People]." 24 Apr 2007. Accessed 27 Mar 2012. A separate surname (''Wāng'') is also romanized as Wang. Wang also has less common unrelated origins in the North Germanic languages, Scandinavian and Germanic languages. Population and distribution Wáng is one of the most common surnames in the ...[...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 profoundly influenced scientific and philosophical thinking in the 20th century (at a time when 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 Frege, Richard Dedekind, and Georg Cantor. Gödel's discoveries in the foundations of mathematics led to the proof of his completeness theorem in 1929 as part of his dissertation to earn a doctorate at the University of Vienna, and the publication of Gödel's incompleteness theorems two years later, in 1931. The incompleteness theorems address limitations of formal axiomatic systems. In parti ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Aperiodic Tiling
An aperiodic tiling is a non-periodic Tessellation, tiling with the additional property that it does not contain arbitrarily large periodic regions or patches. A set of tile-types (or prototiles) is aperiodic set of prototiles, aperiodic if copies of these tiles can form only non-periodic tiling, periodic tilings. The Penrose tilings are a well-known example of aperiodic tilings. In March 2023, four researchers, David Smith (amateur mathematician), David Smith, Joseph Samuel Myers, Craig S. Kaplan, and Chaim Goodman-Strauss, announced the proof that the tile discovered by David Smith is an Einstein problem, aperiodic monotile, i.e., a solution to the einstein problem, a problem that seeks the existence of any single shape aperiodic tile. In May 2023 the same authors published a chiral aperiodic monotile with similar but stronger constraints. Aperiodic tilings serve as mathematical models for quasicrystals, physical solids that were discovered in 1982 by Dan Shechtman who subs ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Turing Machine
A Turing machine is a mathematical model of computation describing an abstract machine that manipulates symbols on a strip of tape according to a table of rules. Despite the model's simplicity, it is capable of implementing any computer algorithm. The machine operates on an infinite memory tape divided into discrete mathematics, discrete cells, each of which can hold a single symbol drawn from a finite set of symbols called the Alphabet (formal languages), alphabet of the machine. It has a "head" that, at any point in the machine's operation, is positioned over one of these cells, and a "state" selected from a finite set of states. At each step of its operation, the head reads the symbol in its cell. Then, based on the symbol and the machine's own present state, the machine writes a symbol into the same cell, and moves the head one step to the left or the right, or halts the computation. The choice of which replacement symbol to write, which direction to move the head, and whet ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Wang Tile
Wang tiles (or Wang dominoes), first proposed by mathematician, logician, and philosopher Hao Wang in 1961, is a class of formal systems. They are modeled visually by square tiles with a color on each side. A set of such tiles is selected, and copies of the tiles are arranged side by side with matching colors, ''without'' rotating or reflecting them. The basic question about a set of Wang tiles is whether it can tile the plane or not, i.e., whether an entire infinite plane can be filled this way. The next question is whether this can be done in a periodic pattern. Domino problem In 1961, Wang conjectured that if a finite set of Wang tiles can tile the plane, then there also exists a '' periodic'' tiling, which, mathematically, is a tiling that is invariant under translations by vectors in a 2-dimensional lattice. This can be likened to the periodic tiling in a wallpaper pattern, where the overall pattern is a repetition of some smaller pattern. He also observed that this conj ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
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. Born in a mud house in a remote and largely illiterate village in China, he was awarded a scholarship funded as a result of the Boxer Rebellion of the late 19th century to attend Beijing's prestigious Tsinghua University. As part of that scholarship, he came to the U.S. in 1926 to study electrical engineering and physics at MIT. He completed his graduate studies first at the University of Pennsylvania, and then in physics at Harvard University. Jen was among the first to provide experimental proof of the existence of the ionosphere. In addition, he obtained the first theoretically calculated value for the electron affinity spectrum of the hydrogen atom, a problem of fundamental significance in quantum mechanics and astrophysics ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Gordon McKay
Gordon McKay (1821–1903) was an American businessman and philanthropist. An important figure in the mechanization of the shoe industry, his most lucrative idea was to lease his "McKay machines" rather than selling them outright, collecting a small royalty on each pair of footwear made with his equipment. He then secured his market position by, helping create the United Shoe Machinery Corporation cartel with his potential competitors. Upon his death, after providing for his family and mistresses, he left the bulk of his estate to Harvard University as an endowment to support capable professors to train future engineers. The gift grew to over half a billion dollars. Life McKay was born to a cotton goods manufacturer in Pittsfield, Massachusetts on May 4, 1821. Although he studied violin as a boy, he did not graduate high school or attend college but became a self-taught civil engineer and self-made businessman. When his father died in 1833, he went to work as an apprenti ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Principia Mathematica
The ''Principia Mathematica'' (often abbreviated ''PM'') is a three-volume work on the foundations of mathematics written by the mathematician–philosophers Alfred North Whitehead and Bertrand Russell and published in 1910, 1912, and 1913. In 1925–1927, it appeared in a second edition with an important ''Introduction to the Second Edition'', an ''Appendix A'' that replaced ✱9 with a new ''Appendix B'' and ''Appendix C''. ''PM'' was conceived as a sequel to Russell's 1903 '' The Principles of Mathematics'', but as ''PM'' states, this became an unworkable suggestion for practical and philosophical reasons: "The present work was originally intended by us to be comprised in a second volume of ''Principles of Mathematics''... But as we advanced, it became increasingly evident that the subject is a very much larger one than we had supposed; moreover on many fundamental questions which had been left obscure and doubtful in the former work, we have now arrived at what we bel ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Bertrand Russell
Bertrand Arthur William Russell, 3rd Earl Russell, (18 May 1872 – 2 February 1970) was a British philosopher, logician, mathematician, and public intellectual. He had influence on mathematics, logic, set theory, and various areas of analytic philosophy.Stanford Encyclopedia of Philosophy"Bertrand Russell", 1 May 2003. He was one of the early 20th century's prominent logicians and a founder of analytic philosophy, along with his predecessor Gottlob Frege, his friend and colleague G. E. Moore, and his student and protégé Ludwig Wittgenstein. Russell with Moore led the British "revolt against British idealism, idealism". Together with his former teacher Alfred North Whitehead, A. N. Whitehead, Russell wrote ''Principia Mathematica'', a milestone in the development of classical logic and a major attempt to reduce the whole of mathematics to logic (see logicism). Russell's article "On Denoting" has been considered a "paradigm of philosophy". Russell was a Pacifism, pacifist who ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Alfred North Whitehead
Alfred North Whitehead (15 February 1861 – 30 December 1947) was an English mathematician and philosopher. He created the philosophical school known as process philosophy, which has been applied in a wide variety of disciplines, including ecology, theology, education, physics, biology, economics, and psychology. In his early career Whitehead wrote primarily on mathematics, logic, and physics. He wrote the three-volume ''Principia Mathematica'' (1910–1913), with his former student Bertrand Russell. ''Principia Mathematica'' is considered one of the twentieth century's most important works in mathematical logic, and placed 23rd in a list of the top 100 English-language nonfiction books of the twentieth century by Modern Library."The Modern Library ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Mathematical Logic
Mathematical logic is the study of Logic#Formal logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power. However, it can also include uses of logic to characterize correct mathematical reasoning or to establish foundations of mathematics. Since its inception, mathematical logic has both contributed to and been motivated by the study of foundations of mathematics. This study began in the late 19th century with the development of axiomatic frameworks for geometry, arithmetic, and Mathematical analysis, analysis. In the early 20th century it was shaped by David Hilbert's Hilbert's program, program to prove the consistency of foundational theories. Results of Kurt Gödel, Gerhard Gentzen, and others provided partial resolution to th ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
IBM 704
The IBM 704 is the model name of a large digital computer, digital mainframe computer introduced by IBM in 1954. Designed by John Backus and Gene Amdahl, 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 used vacuum-tube logic circuitry, but increased the instruction size from 18-bit computing, 18 bits to 36-bit computing, 36 bits, 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 ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |