|
Richard M. Friedberg
Richard M. Friedberg (born October 8, 1935), is a theoretical physicist who has contributed to a wide variety of problems in mathematics and physics. These include mathematical logic, number theory, solid state physics, general relativity, particle physics, quantum optics, genome research, and the foundations of quantum physics. Early life Friedberg was born in Manhattan on Oct 8, 1935, the child of cardiologist Charles K. Friedberg, and playwright Gertrude Tonkonogy. Academic work Friedberg's most well-known work dates back to the mid-1950s. As an undergraduate at Harvard, he published several papers over a period of 2–3 years. The first paper introduced the priority method, a common technique in computability theory, in order to prove the existence of recursively enumerable sets with incomparable degrees of unsolvability.“Two Recursively Enumerable Sets Not Recursive in Each Other”, olution of Post’s problem Proc. Natl. Acad. Sci. vol. 43, p. 236 (1957) Kurt_G ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
New York City
New York, often called New York City or NYC, is the most populous city in the United States. With a 2020 population of 8,804,190 distributed over , New York City is also the most densely populated major city in the United States, and is more than twice as populous as second-place Los Angeles. New York City lies at the southern tip of New York State, and constitutes the geographical and demographic center of both the Northeast megalopolis and the New York metropolitan area, the largest metropolitan area in the world by urban landmass. With over 20.1 million people in its metropolitan statistical area and 23.5 million in its combined statistical area as of 2020, New York is one of the world's most populous megacities, and over 58 million people live within of the city. New York City is a global cultural, financial, entertainment, and media center with a significant influence on commerce, health care and life sciences, research, technology, education, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computability Theory
Computability theory, also known as recursion theory, is a branch of mathematical logic, computer science, and the theory of computation that originated in the 1930s with the study of computable functions and Turing degrees. The field has since expanded to include the study of generalized computability and definability. In these areas, computability theory overlaps with proof theory and effective descriptive set theory. Basic questions addressed by computability theory include: * What does it mean for a function on the natural numbers to be computable? * How can noncomputable functions be classified into a hierarchy based on their level of noncomputability? Although there is considerable overlap in terms of knowledge and methods, mathematical computability theorists study the theory of relative computability, reducibility notions, and degree structures; those in the computer science field focus on the theory of subrecursive hierarchies, formal methods, and formal languages ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Theoretical Physicists
The following is a partial list of notable theoretical physicists. Arranged by century of birth, then century of death, then year of birth, then year of death, then alphabetically by surname. For explanation of symbols, see Notes at end of this article. Ancient times * Thales (c. 624 – c. 546 BCE) * Pythagoras^* (c. 570 – c. 495 BCE) * Democritus° (c. 460 – c. 370 BCE) * Aristotle‡ (384–322 BCE) * Archimedesº* (c. 287 – c. 212 BCE) * Hypatia^ªº (c. 350–370; died 415 AD) Middle Ages * Al Farabi (c. 872 – c. 950) * Ibn al-Haytham (c. 965 – c. 1040) * Al Beruni (c. 973 – c. 1048) * Omar Khayyám (c. 1048 – c. 1131) * Nasir al-Din Tusi (1201–1274) * Jean Buridan (1301 – c. 1359/62) * Nicole Oresme (c. 1320 – 1325 –1382) * Sigismondo Polcastro (1384–1473) 15th–16th century * Nicolaus Copernicusº (1473–1543) 16th century and 16th–17th centuries * Gerolamo Cardano (1501–1576) * Tycho Brahe (1546–1601) * Giordano Bruno (1548– ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
21st-century American Physicists
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 emper ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1935 Births
Events January * January 7 – Italian premier Benito Mussolini and French Foreign Minister Pierre Laval conclude an agreement, in which each power agrees not to oppose the other's colonial claims. * January 12 – Amelia Earhart becomes the first person to successfully complete a solo flight from Hawaii to California, a distance of 2,408 miles. * January 13 – A plebiscite in the Territory of the Saar Basin shows that 90.3% of those voting wish to join Germany. * January 24 – The first canned beer is sold in Richmond, Virginia, United States, by Gottfried Krueger Brewing Company. February * February 6 – Parker Brothers begins selling the board game Monopoly in the United States. * February 13 – Richard Hauptmann is convicted and sentenced to death for the kidnapping and murder of Charles Lindbergh Jr. in the United States. * February 15 – The discovery and clinical development of Prontosil, the first broadly effective antibiotic, is published in a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Friedberg–Muchnik Theorem
In mathematical logic, the Friedberg–Muchnik theorem is a theorem about Turing reductions that was proven independently by Albert Muchnik and Richard Friedberg in the middle of the 1950s. It is a more general view of the Kleene–Post theorem. The Kleene–Post theorem states that there exist incomparable languages A and B below K. The Friedberg–Muchnik theorem states that there exist incomparable, computably enumerable languages A and B. Incomparable meaning that there does not exist a Turing reduction from A to B or a Turing reduction from B to A. It is notable for its use of the priority finite injury approach. See also *Post's problem In computer science and mathematical logic the Turing degree (named after Alan Turing) or degree of unsolvability of a set of natural numbers measures the level of algorithmic unsolvability of the set. Overview The concept of Turing degree is fund ... References {{DEFAULTSORT:Friedberg-Muchnik theorem Mathematical logic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Metamagical Themas
''Metamagical Themas'' is an eclectic collection of articles that Douglas Hofstadter wrote for the popular science magazine ''Scientific American'' during the early 1980s. The anthology was published in 1985 by Basic Books. The volume is substantial in size and contains extensive notes concerning responses to the articles and other information relevant to their content. (One of the notes—page 65—suggested memetics for the study of memes.) Major themes include: self-reference in memes, language, art and logic; discussions of philosophical issues important in cognitive science/AI; analogies and what makes something similar to something else (specifically what makes, for example, an uppercase letter 'A' recognizable as such); and lengthy discussions of the work of Robert Axelrod on the prisoner's dilemma, as well as the idea of superrationality. The concept of superrationality, and its relevance to the Cold War, environmental issues and such, is accompanied by notes on expe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Douglas Hofstadter
Douglas Richard Hofstadter (born February 15, 1945) is an American scholar of cognitive science, physics, and comparative literature whose research includes concepts such as the sense of self in relation to the external world, consciousness, analogy-making, artistic creation, literary translation, and discovery in mathematics and physics. His 1979 book '' Gödel, Escher, Bach: An Eternal Golden Braid'' won both the Pulitzer Prize for general nonfiction"General Nonfiction" . ''Past winners and finalists by category''. The Pulitzer Prizes. Retrieved March 17, 2012. and a (at that time called The American Book Award) for Science. [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pierre Hohenberg
Pierre C. Hohenberg (3 October 1934 – 15 December 2017) was a French-American theoretical physicist, who worked primarily on statistical mechanics. Hohenberg studied at Harvard, where he earned his bachelor's degree in 1956 and a master's degree in 1958 (after a stay during 1956/57 at École Normale Supérieure), and his doctorate in 1962. From 1962 to 1963, he was at the Institute for Physical Problems in Moscow, followed by a stay at the École Normale Supérieure in Paris. From 1964 to 1995 he was at Bell Laboratories in Murray Hill. From 1985 to 1989, he was director of the department of theoretical physics and from 1989 to 1995 was "Distinguished Member of Technical Staff". From 1974 to 1977, he was also professor of theoretical physics at the TU München, where he had previously been a 1972–1973 guest professor. From 1995 to 2003 he was "Deputy Provost of Science and Technology" at Yale University. Subsequently, he was the Yale "Eugene Higgins Adjunct Professor of Physi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Max Jammer
Max Jammer (מקס ימר; born Moshe Jammer, ; April 13, 1915 – December 18, 2010), was an Israeli physicist and philosopher of physics. He was born in Berlin, Germany. He was Rector and Acting President at Bar-Ilan University from 1967 to 1977. Biography Jammer studied physics, philosophy and history of science, first at the University of Vienna, and then from 1935 at the Hebrew University of Jerusalem, where he received a PhD in experimental physics in 1942. He served in the British Army for the rest of the war. Jammer then returned to Hebrew University, where he lectured on the history and philosophy of science, before moving in 1952 to Harvard University. He subsequently became a lecturer there and a close colleague of Albert Einstein at Princeton University. He taught at Harvard, the University of Oklahoma, and Boston University, before in 1956 establishing the Department and becoming Professor of Physics at Bar-Ilan University in Israel. He was Rector and Acting P ... [...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 ex ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
