HOME
*





J. Barkley Rosser
John Barkley Rosser Sr. (December 6, 1907 – September 5, 1989) was an American logician, a student of Alonzo Church, and known for his part in the Church–Rosser theorem, in lambda calculus. He also developed what is now called the "Rosser sieve", in number theory. He was part of the mathematics department at Cornell University from 1936 to 1963, chairing it several times. He was later director of the Army Mathematics Research Center at the University of Wisconsin–Madison and the first director of the Communications Research Division of IDA. Rosser also authored mathematical textbooks. In 1936, he proved Rosser's trick, a stronger version of Gödel's first incompleteness theorem, showing that the requirement for ω-consistency may be weakened to consistency. Rather than using the liar paradox sentence equivalent to "I am not provable," he used a sentence that stated "For every proof of me, there is a shorter proof of my negation". In prime number theory, he proved Rosser ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Cornell University
Cornell University is a private statutory land-grant research university based in Ithaca, New York. It is a member of the Ivy League. Founded in 1865 by Ezra Cornell and Andrew Dickson White, Cornell was founded with the intention to teach and make contributions in all fields of knowledge—from the classics to the sciences, and from the theoretical to the applied. These ideals, unconventional for the time, are captured in Cornell's founding principle, a popular 1868 quotation from founder Ezra Cornell: "I would found an institution where any person can find instruction in any study." Cornell is ranked among the top global universities. The university is organized into seven undergraduate colleges and seven graduate divisions at its main Ithaca campus, with each college and division defining its specific admission standards and academic programs in near autonomy. The university also administers three satellite campuses, two in New York City and one in Education City, Qatar ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Lambda Calculus
Lambda calculus (also written as ''λ''-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution. It is a universal model of computation that can be used to simulate any Turing machine. It was introduced by the mathematician Alonzo Church in the 1930s as part of his research into the foundations of mathematics. Lambda calculus consists of constructing § lambda terms and performing § reduction operations on them. In the simplest form of lambda calculus, terms are built using only the following rules: * x – variable, a character or string representing a parameter or mathematical/logical value. * (\lambda x.M) – abstraction, function definition (M is a lambda term). The variable x becomes bound in the expression. * (M\ N) – application, applying a function M to an argument N. M and N are lambda terms. The reduction operations include: * (\lambda x.M \rightarrow(\l ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

People From Jacksonville, Florida
A person ( : people) is a being that has certain capacities or attributes such as reason, morality, consciousness or self-consciousness, and being a part of a culturally established form of social relations such as kinship, ownership of property, or legal responsibility. The defining features of personhood and, consequently, what makes a person count as a person, differ widely among cultures and contexts. In addition to the question of personhood, of what makes a being count as a person to begin with, there are further questions about personal identity and self: both about what makes any particular person that particular person instead of another, and about what makes a person at one time the same person as they were or will be at another time despite any intervening changes. The plural form "people" is often used to refer to an entire nation or ethnic group (as in "a people"), and this was the original meaning of the word; it subsequently acquired its use as a plural form of per ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

1989 Deaths
File:1989 Events Collage.png, From left, clockwise: The Cypress Street Viaduct, 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 Exxon Valdez oil spill, oil spill; The Fall of the Berlin Wall begins the downfall of Communism in Eastern Europe, and heralds German reunification; The United States United States invasion of Panama, 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; 1989 Tiananmen Square protests and massacre, 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 ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


1907 Births
Nineteen or 19 may refer to: * 19 (number), the natural number following 18 and preceding 20 * one of the years 19 BC, AD 19, 1919, 2019 Films * ''19'' (film), a 2001 Japanese film * ''Nineteen'' (film), a 1987 science fiction film Music * 19 (band), a Japanese pop music duo Albums * ''19'' (Adele album), 2008 * ''19'', a 2003 album by Alsou * ''19'', a 2006 album by Evan Yo * ''19'', a 2018 album by MHD * ''19'', one half of the double album ''63/19'' by Kool A.D. * ''Number Nineteen'', a 1971 album by American jazz pianist Mal Waldron * ''XIX'' (EP), a 2019 EP by 1the9 Songs * "19" (song), a 1985 song by British musician Paul Hardcastle. * "Nineteen", a song by Bad4Good from the 1992 album '' Refugee'' * "Nineteen", a song by Karma to Burn from the 2001 album ''Almost Heathen''. * "Nineteen" (song), a 2007 song by American singer Billy Ray Cyrus. * "Nineteen", a song by Tegan and Sara from the 2007 album '' The Con''. * "XIX" (song), a 2014 song by Slipk ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Mathematical Economics
Mathematical economics is the application of mathematical methods to represent theories and analyze problems in economics. Often, these applied methods are beyond simple geometry, and may include differential and integral calculus, difference and differential equations, matrix algebra, mathematical programming, or other computational methods. Proponents of this approach claim that it allows the formulation of theoretical relationships with rigor, generality, and simplicity. Mathematics allows economists to form meaningful, testable propositions about wide-ranging and complex subjects which could less easily be expressed informally. Further, the language of mathematics allows economists to make specific, positive claims about controversial or contentious subjects that would be impossible without mathematics. Much of economic theory is currently presented in terms of mathematical economic models, a set of stylized and simplified mathematical relationships asserted to clarify ass ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Washington Post
''The Washington Post'' (also known as the ''Post'' and, informally, ''WaPo'') is an American daily newspaper published in Washington, D.C. It is the most widely circulated newspaper within the Washington metropolitan area and has a large national audience. Daily broadsheet editions are printed for D.C., Maryland, and Virginia. The ''Post'' was founded in 1877. In its early years, it went through several owners and struggled both financially and editorially. Financier Eugene Meyer purchased it out of bankruptcy in 1933 and revived its health and reputation, work continued by his successors Katharine and Phil Graham (Meyer's daughter and son-in-law), who bought out several rival publications. The ''Post'' 1971 printing of the Pentagon Papers helped spur opposition to the Vietnam War. Subsequently, in the best-known episode in the newspaper's history, reporters Bob Woodward and Carl Bernstein led the American press's investigation into what became known as the Watergate scandal, ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Aneurysm
An aneurysm is an outward bulging, likened to a bubble or balloon, caused by a localized, abnormal, weak spot on a blood vessel wall. Aneurysms may be a result of a hereditary condition or an acquired disease. Aneurysms can also be a nidus (starting point) for clot formation (thrombosis) and embolization. As an aneurysm increases in size, the risk of rupture, which leads to uncontrolled bleeding, increases. Although they may occur in any blood vessel, particularly lethal examples include aneurysms of the Circle of Willis in the brain, aortic aneurysms affecting the thoracic aorta, and abdominal aortic aneurysms. Aneurysms can arise in the heart itself following a heart attack, including both ventricular and atrial septal aneurysms. There are congenital atrial septal aneurysms, a rare heart defect. Etymology The word is from Greek: ἀνεύρυσμα, aneurysma, "dilation", from ἀνευρύνειν, aneurynein, "to dilate". Classification Aneurysms are classified by type, ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Rosser's Theorem
In number theory, Rosser's theorem states that the ''n''th prime number is greater than n \log n , where \log is the natural logarithm function. It was published by J. Barkley Rosser in 1939. Its full statement is: Let ''p''''n'' be the ''n''th prime number. Then for ''n'' ≥ 1 :p_n > n \log n. In 1999, Pierre Dusart proved a tighter lower bound:{{cite journal, authorlink=Pierre Dusart, last=Dusart, first=Pierre, title=The {{mvar, kth prime is greater than {{math, ''k''(log ''k'' + log log ''k''−1) for {{math, ''k'' ≥ 2, journal=Mathematics of Computation ''Mathematics of Computation'' is a bimonthly mathematics journal focused on computational mathematics. It was established in 1943 as ''Mathematical Tables and other Aids to Computation'', obtaining its current name in 1960. Articles older than fiv ..., volume=68, issue=225, year=1999, pages=411–415, mr=1620223, doi=10.1090/S0025-5718-99-01037-6, doi-access=free : p_n > n (\log n + \log \log n - 1). See also * ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Liar Paradox
In philosophy and logic, the classical liar paradox or liar's paradox or antinomy of the liar is the statement of a liar that they are lying: for instance, declaring that "I am lying". If the liar is indeed lying, then the liar is telling the truth, which means the liar just lied. In "this sentence is a lie" the paradox is strengthened in order to make it amenable to more rigorous logical analysis. It is still generally called the "liar paradox" although abstraction is made precisely from the liar making the statement. Trying to assign to this statement, the strengthened liar, a classical binary truth value leads to a contradiction. If "this sentence is false" is true, then it is false, but the sentence states that it is false, and if it is false, then it must be true, and so on. History The Epimenides paradox (circa 600 BC) has been suggested as an example of the liar paradox, but they are not logically equivalent. The semi-mythical seer Epimenides, a Cretan, reportedly stated t ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]