John L. Kelley
John L. Kelley (December 6, 1916, Kansas – November 26, 1999, Berkeley, California) was an American mathematician at the University of California, Berkeley, who worked in general topology and functional analysis. Kelley's 1955 text, ''General Topology'', which eventually appeared in three editions and several translations, is a classic and widely cited graduate-level introduction to topology. An appendix sets out a new approach to axiomatic set theory, now called Morse–Kelley set theory, that builds on Von Neumann–Bernays–Gödel set theory. He introduced the first definition of a subnet. After earning B.A. (1936) and M.A. (1937) degrees from the University of California, Los Angeles, he went to the University of Virginia, where he obtained his Ph.D. in 1940. Gordon Whyburn, a student of Robert Lee Moore, supervised his thesis, entitled ''A Study of Hyperspaces''. He taught at the University of Notre Dame until the outbreak of World War II. From 1942 to 1945, he did mat ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
University Of California, Berkeley
The University of California, Berkeley (UC Berkeley, Berkeley, Cal, or California) is a public land-grant research university in Berkeley, California. Established in 1868 as the University of California, it is the state's first land-grant university and the founding campus of the University of California system. Its fourteen colleges and schools offer over 350 degree programs and enroll some 31,800 undergraduate and 13,200 graduate students. Berkeley ranks among the world's top universities. A founding member of the Association of American Universities, Berkeley hosts many leading research institutes dedicated to science, engineering, and mathematics. The university founded and maintains close relationships with three national laboratories at Berkeley, Livermore and Los Alamos, and has played a prominent role in many scientific advances, from the Manhattan Project and the discovery of 16 chemical elements to breakthroughs in computer science and genomics. Berkeley is ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Von Neumann–Bernays–Gödel Set Theory
In the foundations of mathematics, von Neumann–Bernays–Gödel set theory (NBG) is an axiomatic set theory that is a conservative extension of Zermelo–Fraenkel–choice set theory (ZFC). NBG introduces the notion of class, which is a collection of sets defined by a formula whose quantifiers range only over sets. NBG can define classes that are larger than sets, such as the class of all sets and the class of all ordinals. Morse–Kelley set theory (MK) allows classes to be defined by formulas whose quantifiers range over classes. NBG is finitely axiomatizable, while ZFC and MK are not. A key theorem of NBG is the class existence theorem, which states that for every formula whose quantifiers range only over sets, there is a class consisting of the sets satisfying the formula. This class is built by mirroring the step-by-step construction of the formula with classes. Since all set-theoretic formulas are constructed from two kinds of atomic formulas (membership and equality) ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Kanpur, India
Kanpur or Cawnpore ( /kɑːnˈpʊər/ pronunciation (help·info)) is an industrial city in the central-western part of the state of Uttar Pradesh, India. Founded in 1207, Kanpur became one of the most important commercial and military stations of British India. Kanpur is also the financial capital of Uttar Pradesh. Nestled on the banks of Ganges River, Kanpur stands as the major financial and industrial centre of North India and also the ninth-largest urban economy in India. Today it is famous for its colonial architecture, gardens, parks and fine quality leather, plastic and textile products which are exported mainly to the West. It is the 12th most populous city and the 11th most populous urban agglomeration in India. Kanpur was an important British garrison town until 1947, when India gained independence. The urban district of Kanpur ''Nagar'' serves as the headquarters of the Kanpur Division, Kanpur Range and Kanpur Zone. With the first woollen mill of India, commonly kn ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Indian Institute Of Technology
The Indian Institutes of Technology (IITs) are central government owned public technical institutes located across India. They are under the ownership of the Ministry of Education of the Government of India. They are governed by the Institutes of Technology Act, 1961, declaring them as Institutes of National Importance and laying down their powers, duties, and framework for governance as the country's premier institutions in the field of technology. The act currently lists twenty-three IITs. Each IIT has autonomy and is linked to others through a common council called the IIT Council, which oversees their administration. The Minister of Education of India is the ex officio Chairperson of the IIT Council. List of institutes History The history of the IIT system nearly dates back to 1946 when Sir Jogendra Singh of the Viceroy's Executive Council set up a committee whose task was to consider the creation of ''Higher Technical Institutions'' for post-war industrial ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Cambridge University
, mottoeng = Literal: From here, light and sacred draughts. Non literal: From this place, we gain enlightenment and precious knowledge. , established = , other_name = The Chancellor, Masters and Scholars of the University of Cambridge , type = Public research university , endowment = £7.121 billion (including colleges) , budget = £2.308 billion (excluding colleges) , chancellor = The Lord Sainsbury of Turville , vice_chancellor = Anthony Freeling , students = 24,450 (2020) , undergrad = 12,850 (2020) , postgrad = 11,600 (2020) , city = Cambridge , country = England , campus_type = , sporting_affiliations = The Sporting Blue , colours = Cambridge Blue , website = , logo = University of Cambridge logo ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
University Of Chicago
The University of Chicago (UChicago, Chicago, U of C, or UChi) is a private research university in Chicago, Illinois. Its main campus is located in Chicago's Hyde Park neighborhood. The University of Chicago is consistently ranked among the best universities in the world and it is among the most selective in the United States. The university is composed of an undergraduate college and five graduate research divisions, which contain all of the university's graduate programs and interdisciplinary committees. Chicago has eight professional schools: the Law School, the Booth School of Business, the Pritzker School of Medicine, the Crown Family School of Social Work, Policy, and Practice, the Harris School of Public Policy, the Divinity School, the Graham School of Continuing Liberal and Professional Studies, and the Pritzker School of Molecular Engineering. The university has additional campuses and centers in London, Paris, Beijing, Delhi, and Hong Kong, as well as in downtown ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Charles B
Charles is a masculine given name predominantly found in English and French speaking countries. It is from the French form ''Charles'' of the Proto-Germanic name (in runic alphabet) or ''*karilaz'' (in Latin alphabet), whose meaning was "free man". The Old English descendant of this word was '' Ċearl'' or ''Ċeorl'', as the name of King Cearl of Mercia, that disappeared after the Norman conquest of England. The name was notably borne by Charlemagne (Charles the Great), and was at the time Latinized as ''Karolus'' (as in ''Vita Karoli Magni''), later also as '' Carolus''. Some Germanic languages, for example Dutch and German, have retained the word in two separate senses. In the particular case of Dutch, ''Karel'' refers to the given name, whereas the noun ''kerel'' means "a bloke, fellow, man". Etymology The name's etymology is a Common Germanic noun ''*karilaz'' meaning "free man", which survives in English as churl (< Old English ''ċeorl''), which developed its depr ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Anthony Morse
Anthony Perry Morse (21 August 1911 – 6 March 1984) was an American mathematician who worked in both analysis, especially measure theory, and in the foundations of mathematics. He is best known as the co-creator, together with John L. Kelley, of Morse–Kelley set theory. This theory first appeared in print in Kelley's ''General Topology''. Morse's own version appeared later in ''A Theory of Sets''. He is also known for his work on the Morse–Sard theorem and the Federer–Morse theorem. Anthony Morse should not be confused with Marston Morse, known for developing Morse theory. Career He received his PhD in 1937 at Brown University with C. R. Adams as thesis advisor. After two years at the Institute for Advanced Study he joined the mathematics faculty at Berkeley where except for two interruptions he worked for the rest of his life on mathematics. In the first of these, from 1943 until the end of World War II, he worked on ballistics at the Aberdeen Proving ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Aberdeen Proving Ground
Aberdeen Proving Ground (APG) (sometimes erroneously called Aberdeen Proving ''Grounds'') is a U.S. Army facility located adjacent to Aberdeen, Harford County, Maryland, United States. More than 7,500 civilians and 5,000 military personnel work at APG.There are 11 major commands among the tenant units, including: * United States Army Communications-Electronics Command (CECOM) * United States Army Combat Capabilities Development Command (CCDC) * United States Army Test and Evaluation Command (ATEC) * Edgewood Arsenal * Adelphi Laboratory Center **The Army Reserve Information Operations Command **Unified Cross Domain Services Management Office **HQ, U.S. Army Contracting Command (Army Contracting Command –APG, Adelphi Contracting Division) **U.S Army 93rd Signal Network - Network Enterprise Center **Logistics Readiness Center **U.S. Army Cyber Operation Group – 335th Signal Command **Blossom Point Research Facility History APG is the U.S. Army's oldest active proving ground, est ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Manhattan Project
The Manhattan Project was a research and development undertaking during World War II that produced the first nuclear weapons. It was led by the United States with the support of the United Kingdom and Canada. From 1942 to 1946, the project was under the direction of Major General Leslie Groves of the United States Army Corps of Engineers, U.S. Army Corps of Engineers. Nuclear physicist Robert Oppenheimer was the director of the Los Alamos Laboratory that designed the actual bombs. The Army component of the project was designated the Manhattan District as its first headquarters were in Manhattan; the placename gradually superseded the official codename, Development of Substitute Materials, for the entire project. Along the way, the project absorbed its earlier British counterpart, Tube Alloys. The Manhattan Project began modestly in 1939, but grew to employ more than 130,000 people and cost nearly US$2 billion (equivalent to about $ billion in ). Over 90 percent of th ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
World War II
World War II or the Second World War, often abbreviated as WWII or WW2, was a world war that lasted from 1939 to 1945. It involved the vast majority of the world's countries—including all of the great powers—forming two opposing military alliances: the Allies and the Axis powers. World War II was a total war that directly involved more than 100 million personnel from more than 30 countries. The major participants in the war threw their entire economic, industrial, and scientific capabilities behind the war effort, blurring the distinction between civilian and military resources. Aircraft played a major role in the conflict, enabling the strategic bombing of population centres and deploying the only two nuclear weapons ever used in war. World War II was by far the deadliest conflict in human history; it resulted in 70 to 85 million fatalities, mostly among civilians. Tens of millions died due to genocides (including the Holocaust), starvation, ma ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
University Of Notre Dame
The University of Notre Dame du Lac, known simply as Notre Dame ( ) or ND, is a private Catholic research university in Notre Dame, Indiana, outside the city of South Bend. French priest Edward Sorin founded the school in 1842. The main campus covers 1,261 acres (510 ha) in a suburban setting and contains landmarks such as the Golden Dome, the ''Word of Life'' mural (commonly known as ''Touchdown Jesus''), Notre Dame Stadium, and the Basilica. Originally for men, although some women earned degrees in 1918, the university began formally accepting undergraduate female students in 1972. Notre Dame has been recognized as one of the top universities in the United States. The university is organized into seven schools and colleges. Notre Dame's graduate program includes more than 50 master, doctoral and professional degrees offered by the six schools, including the Notre Dame Law School and an MD–PhD program offered in combination with the Indiana University School of Medicine ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |