|
Andreas Blass
Andreas Raphael Blass (born October 27, 1947) is a mathematician, currently a professor at the University of Michigan. He works in mathematical logic, particularly set theory, and theoretical computer science. Blass graduated from the University of Detroit, where he was a Putnam Fellow in 1965, in 1966 with a B.S. in physics. He received his Ph.D. in 1970 from Harvard University, with a thesis on ''Orderings of Ultrafilters'' written under the supervision of Frank Wattenberg. Since 1970 he has been employed by the University of Michigan, first as a ''T.H. Hildebrandt Research Instructor'' (1970–72), then assistant professor (1972–76), associate professor (1976–84) and since 1984 he has been a full professor there. In 2014, he became a Fellow of the American Mathematical Society. Selected publications and results In 1984 Blass proved that the existence of a basis for every vector space is equivalent to the axiom of choice. He made important contributions in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Harvard University
Harvard University is a Private university, private Ivy League research university in Cambridge, Massachusetts, United States. Founded in 1636 and named for its first benefactor, the History of the Puritans in North America, Puritan clergyman John Harvard (clergyman), John Harvard, it is the oldest institution of higher learning in the United States. Its influence, wealth, and rankings have made it one of the most prestigious universities in the world. Harvard was founded and authorized by the Massachusetts General Court, the governing legislature of Colonial history of the United States, colonial-era Massachusetts Bay Colony. While never formally affiliated with any Religious denomination, denomination, Harvard trained Congregationalism in the United States, Congregational clergy until its curriculum and student body were gradually secularized in the 18th century. By the 19th century, Harvard emerged as the most prominent academic and cultural institution among the Boston B ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Forcing (mathematics)
In the mathematical discipline of set theory, forcing is a technique for proving consistency and independence (mathematical logic), independence results. Intuitively, forcing can be thought of as a technique to expand the set theoretical universe (mathematics), universe V to a larger universe V[G] by introducing a new "generic" object G. Forcing was first used by Paul Cohen (mathematician), Paul Cohen in 1963, to prove the independence of the axiom of choice and the continuum hypothesis from Zermelo–Fraenkel set theory. It has been considerably reworked and simplified in the following years, and has since served as a powerful technique, both in set theory and in areas of mathematical logic such as recursion theory. Descriptive set theory uses the notions of forcing from both recursion theory and set theory. Forcing has also been used in model theory, but it is common in model theory to define generic filter, genericity directly without mention of forcing. Intuition Forcing is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1947 Births
It was the first year of the Cold War, which would last until 1991, ending with the dissolution of the Soviet Union. Events January * January–February – Winter of 1946–47 in the United Kingdom: The worst snowfall in the country in the 20th century causes extensive disruption of travel. Given the low ratio of private vehicle ownership at the time, it is mainly remembered in terms of its effects on the railway network. * January 1 – The ''Canadian Citizenship Act, 1946, Canadian Citizenship Act'' comes into effect, providing a Canadian citizenship separate from British law. * January 4 – First issue of weekly magazine ''Der Spiegel'' published in Hanover, Germany, edited by Rudolf Augstein. * January 10 – The United Nations adopts a resolution to take control of the free city of Trieste. * January 15 – Elizabeth Short, an aspiring actress nicknamed the "Black Dahlia", is found brutally murdered in a vacant lot in Los Angeles; the mysterious case is never solv ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Putnam Fellows
Putnam may refer to: People * Putnam (surname) Places Canada * Putnam, Ontario, community in Thames Centre United States * Putnam, Alabama * Putnam, Connecticut, a New England town ** Putnam (CDP), Connecticut, the main village in the town * Putnam, Illinois * Putnam, Kansas * Putnam, New York * Putnam, Oklahoma * Putnam, Texas * Putnam Lake, New York * Putnam Valley, New York * Putnam County (other) * Putnam Township (other) Other uses * Putnam Classification System in library organization * William Lowell Putnam Mathematical Competition, or simply the Putnam Competition * Putnam Cottage, historic site in Greenwich, Connecticut * Putnam Division, portion of New York and Putnam Railroad routes * Putnam Investments, American investment management firm * ''Putnam Magazine'', regional lifestyle magazine that covers Putnam County, New York * ''Putnam's Magazine'', 19th and early 20th century monthly American publication * Putnam model, cost-estimation method ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Michigan Faculty
A university () is an institution of tertiary education and research which awards academic degrees in several academic disciplines. ''University'' is derived from the Latin phrase , which roughly means "community of teachers and scholars". Universities typically offer both undergraduate and postgraduate programs. The first universities in Europe were established by Catholic monks. The University of Bologna (), Italy, which was founded in 1088, is the first university in the sense of: *being a high degree-awarding institute. *using the word (which was coined at its foundation). *having independence from the ecclesiastic schools and issuing secular as well as non-secular degrees (with teaching conducted by both clergy and non-clergy): grammar, rhetoric, logic, theology, canon law and notarial law.Hunt Janin: "The university in medieval life, 1179–1499", McFarland, 2008, , p. 55f.de Ridder-Symoens, Hilde''A History of the University in Europe: Volume 1, Universities in the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Harvard University Alumni
The list of Harvard University alumni includes notable graduates, professors, and administrators affiliated with Harvard University. For a list of notable non-graduates of Harvard, see the list of Harvard University non-graduate alumni. For a list of Harvard's presidents, see President of Harvard University. Eight Presidents of the United States have graduated from Harvard University: John Adams, John Quincy Adams, Rutherford B. Hayes, John F. Kennedy, Franklin Delano Roosevelt, Theodore Roosevelt, George W. Bush, and Barack Obama. Bush graduated from Harvard Business School, Hayes and Obama from Harvard Law School, and the others from Harvard College. Over 150 Nobel Prize winners have been associated with the university as alumni, researchers or faculty. Nobel laureates Pulitzer Prize winners ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Detroit Mercy Alumni
A university () is an institution of tertiary education and research which awards academic degrees in several academic disciplines. ''University'' is derived from the Latin phrase , which roughly means "community of teachers and scholars". Universities typically offer both undergraduate and postgraduate programs. The first universities in Europe were established by Catholic monks. The University of Bologna (), Italy, which was founded in 1088, is the first university in the sense of: *being a high degree-awarding institute. *using the word (which was coined at its foundation). *having independence from the ecclesiastic schools and issuing secular as well as non-secular degrees (with teaching conducted by both clergy and non-clergy): grammar, rhetoric, logic, theology, canon law and notarial law.Hunt Janin: "The university in medieval life, 1179–1499", McFarland, 2008, , p. 55f.de Ridder-Symoens, Hilde''A History of the University in Europe: Volume 1, Universities in the Middl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Set Theorists
Set, The Set, SET or SETS may refer to: Science, technology, and mathematics Mathematics *Set (mathematics), a collection of elements *Category of sets, the category whose objects and morphisms are sets and total functions, respectively Electronics and computing *Set (abstract data type), a data type in computer science that is a collection of unique values ** Set (C++), a set implementation in the C++ Standard Library * Set (command), a command for setting values of environment variables in Unix and Microsoft operating-systems * Secure Electronic Transaction, a standard protocol for securing credit card transactions over insecure networks * Single-electron transistor, a device to amplify currents in nanoelectronics * Single-ended triode, a type of electronic amplifier * Set!, a programming syntax in the scheme programming language Biology and psychology * Set (psychology), a set of expectations which shapes perception or thought *Set or sett, a badger's den *Set, a small ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
21st-century American Mathematicians
File:1st century collage.png, From top left, clockwise: Jesus is crucified by Roman authorities in Judaea (17th century painting). Four different men ( Galba, Otho, Vitellius, and Vespasian) claim the title of Emperor within the span of a year; The Great Fire of Rome (18th-century painting) sees the destruction of two-thirds of the city, precipitating the empire's first persecution against Christians, who are blamed for the disaster; The Roman Colosseum is built and holds its inaugural games; Roman forces besiege Jerusalem during the First Jewish–Roman War (19th-century painting); The Trưng sisters lead a rebellion against the Chinese Han dynasty (anachronistic depiction); Boudica, queen of the British Iceni leads a rebellion against Rome (19th-century statue); Knife-shaped coin of the Xin dynasty., 335px rect 30 30 737 1077 Crucifixion of Jesus rect 767 30 1815 1077 Year of the Four Emperors rect 1846 30 3223 1077 Great Fire of Rome rect 30 1108 1106 2155 Boudic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Living People
Purpose: Because living persons may suffer personal harm from inappropriate information, we should watch their articles carefully. By adding an article to this category, it marks them with a notice about sources whenever someone tries to edit them, to remind them of WP:BLP (biographies of living persons) policy that these articles must maintain a neutral point of view, maintain factual accuracy, and be properly sourced. Recent changes to these articles are listed on Special:RecentChangesLinked/Living people. Organization: This category should not be sub-categorized. Entries are generally sorted by family name In many societies, a surname, family name, or last name is the mostly hereditary portion of one's personal name that indicates one's family. It is typically combined with a given name to form the full name of a person, although several give .... Maintenance: Individuals of advanced age (over 90), for whom there has been no new documentation in the last ten ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Annals Of Pure And Applied Logic
The ''Annals of Pure and Applied Logic'' is a peer-reviewed scientific journal published by Elsevier that publishes papers on applications of mathematical logic in mathematics, in computer science, and in other related disciplines.About Annals of Pure and Applied Logic The editors of ''Annals of Pure and Applied Logic'' include mathematicians Ulrich Kohlenbach at TU Darmstadt in Germany, Thomas Scanlon at |
