|
Joseph R. Shoenfield
Joseph Robert Shoenfield (1927, Detroit – November 15, 2000, Durham, North Carolina) was an American mathematical logician. Education Shoenfield obtained his PhD in 1953 with Raymond Louis Wilder at the University of Michigan (''Models of formal systems''). Career From 1952, he lectured at Duke University, where he remained until becoming Emeritus in 1992. From 1970 to 1973 he was President of the Mathematics Faculty. In 1956/57 he was at the Institute for Advanced Study. Shoenfield worked on recursion theory, model theory and axiomatic set theory. His textbook on mathematical logic has become a classic. Honors From 1972 to 1976 he was president of the Association for Symbolic Logic. He delivered the Gödel Lecture at the 1992 meeting of the ASL. Hobbies Already in his student days, he was a passionate and strong contract bridge player. He was an early membeNumber 694of the American Go Association The American Go Association (AGA) was founded in 1935, to promote the board g ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematical Logic
Mathematical logic is the study of logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion 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 the program, and clarified the issues involved in pr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Contract Bridge
Contract bridge, or simply bridge, is a trick-taking card game using a standard 52-card deck. In its basic format, it is played by four players in two competing partnerships, with partners sitting opposite each other around a table. Millions of people play bridge worldwide in clubs, tournaments, online and with friends at home, making it one of the world's most popular card games, particularly among seniors. The World Bridge Federation (WBF) is the governing body for international competitive bridge, with numerous other bodies governing it at the regional level. The game consists of a number of , each progressing through four phases. The cards are dealt to the players; then the players ''call'' (or ''bid'') in an auction seeking to take the , specifying how many tricks the partnership receiving the contract (the declaring side) needs to take to receive points for the deal. During the auction, partners use their bids to also exchange information about their hands, including o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1927 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] |
American Logicians
American(s) may refer to: * American, something of, from, or related to the United States of America, commonly known as the "United States" or "America" ** Americans, citizens and nationals of the United States of America ** American ancestry, people who self-identify their ancestry as "American" ** American English, the set of varieties of the English language native to the United States ** Native Americans in the United States, indigenous peoples of the United States * American, something of, from, or related to the Americas, also known as "America" ** Indigenous peoples of the Americas * American (word), for analysis and history of the meanings in various contexts Organizations * American Airlines, U.S.-based airline headquartered in Fort Worth, Texas * American Athletic Conference, an American college athletic conference * American Recordings (record label), a record label previously known as Def American * American University, in Washington, D.C. Sports teams Soccer * B ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematical Logicians
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] |
Duke University Faculty
Duke is a male title either of a monarch ruling over a duchy, or of a member of royalty, or nobility. As rulers, dukes are ranked below emperors, kings, grand princes, grand dukes, and sovereign princes. As royalty or nobility, they are ranked below princess nobility and grand dukes. The title comes from French ''duc'', itself from the Latin ''dux'', 'leader', a term used in republican Rome to refer to a military commander without an official rank (particularly one of Germanic or Celtic origin), and later coming to mean the leading military commander of a province. In most countries, the word ''duchess'' is the female equivalent. Following the reforms of the emperor Diocletian (which separated the civilian and military administrations of the Roman provinces), a ''dux'' became the military commander in each province. The title ''dux'', Hellenised to ''doux'', survived in the Eastern Roman Empire where it continued in several contexts, signifying a rank equivalent to a captain ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
A K Peters
A K Peters, Ltd. was a publisher of scientific and technical books, specializing in mathematics and in computer graphics, robotics, and other fields of computer science. They published the journals ''Experimental Mathematics'' and the '' Journal of Graphics Tools'', as well as mathematics books geared to children. Background Klaus Peters wrote a doctoral dissertation on complex manifolds at the University of Erlangen in 1962, supervised by Reinhold Remmert. He then joined Springer Verlag, becoming their first specialist mathematics editor. As a Springer director from 1971, he hired Alice Merker for Springer New York: they were married that year, and moved to Heidelberg. Leaving Springer, they founded Birkhäuser Boston in 1979; Birkhäuser ran into financial difficulties, and was taken over by Springer. Klaus and Alice then spent a period running a Boston office for Harcourt Brace Jovanovich and their imprint Academic Press. With the takeover of Harcourt Brace Jovanovich by Gener ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
American Go Association
The American Go Association (AGA) was founded in 1935, to promote the board game of Go (game), Go in the United States. Founded by chess master Edward Lasker and some friends at Chumley's restaurant in New York City, the AGA is one of the oldest Western Go associations. The AGA publishes a weekly online newsletter that reaches more than 13,000 subscribers worldwideThe American Go E-Journal and an annual ''Yearbook''; maintains a national rating system; organizes an annual national event, The US Go Congress; selects North American representatives in international tournaments; and provides support to its members and chapters as they promote Go in their communities. Events for youth have also been established, including tournaments and an annual AGA youth summer camp that features instruction from professional players. The AGA has developed a Rules of Go#Rule sets, set of rules that attempts to reconcile difference between "area"-based rule sets and "territory"-based rule sets, and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Association For Symbolic Logic
The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic. The ASL was founded in 1936, and its first president was Alonzo Church. The current president of the ASL is Julia F. Knight. Publications The ASL publishes books and academic journals. Its three official journals are: * ''Journal of Symbolic Logic'(website)– publishes research in all areas of mathematical logic. Founded in 1936, . * ''Bulletin of Symbolic Logic'(website)– publishes primarily expository articles and reviews. Founded in 1995, . * ''Review of Symbolic Logic'(website)– publishes research relating to logic, philosophy, science, and their interactions. Founded in 2008, . In addition, the ASL has a sponsored journal: * ''Journal of Logic and Analysis'(website)– publishes research on the interactions between mathematical logic and pure and applied analysis. Founded in 2009 as an open-access successor to the Springer jo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Durham, North Carolina
Durham ( ) is a city in the U.S. state of North Carolina and the county seat of Durham County, North Carolina, Durham County. Small portions of the city limits extend into Orange County, North Carolina, Orange County and Wake County, North Carolina, Wake County. With a population of 283,506 in the 2020 United States Census, 2020 Census, Durham is the List of municipalities in North Carolina, 4th-most populous city in North Carolina, and the List of United States cities by population, 74th-most populous city in the United States. The city is located in the east-central part of the Piedmont (United States), Piedmont region along the Eno River. Durham is the core of the four-county Research Triangle#Office of Management and Budget Definition, Durham-Chapel Hill Metropolitan Area, which has a population of 649,903 as of 2020 U.S. Census. The Office of Management and Budget also includes Durham as a part of the Raleigh, North Carolina, Raleigh-Durham-Cary Combined Statistical Area, com ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
