|
Archie Blake (mathematician)
Charles Archibald Blake (November 24, 1906 - January 7, 1971), name officially changed to Archie Blake was an American mathematician. He is well known for the Blake canonical form, a normal form for expressions in propositional logic. In order to compute the canonical form, he moreover introduced the concept of consensus, which was a precursor of the resolution principle, today a common technique in automated theorem proving. Career In 1930, he became a member of the American Mathematical Society (AMS). He presented his canonical form at the AMS meeting at Columbia University on 29 Oct 1932. In 1937, this work lead to a Ph.D. from the University of Chicago, supervised by Raymond Walter Barnard. He worked for the United States Coast and Geodetic Survey in Washington, D.C., from 1936 (or earlier) as a mathematician, since 1938 as an Assistant Mathematician, and since 1939 as an Associated Mathematician. In 1946, he was appointed a Senior Statistician in the Office of the Arm ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Buffalo, New York
Buffalo is a Administrative divisions of New York (state), city in the U.S. state of New York (state), New York and county seat of Erie County, New York, Erie County. It lies in Western New York at the eastern end of Lake Erie, at the head of the Niagara River on the Canada–United States border, Canadian border. With a population of 278,349 according to the 2020 census, Buffalo is the List of municipalities in New York, second-most populous city in New York State after New York City, and the List of United States cities by population, 82nd-most populous city in the U.S. Buffalo is the primary city of the Buffalo–Niagara Falls metropolitan area, which had an estimated population of 1.1 million in 2020, making it the List of metropolitan statistical areas, 49th-largest metro area in the U.S. Before the 17th century, the region was inhabited by nomadic Paleo-Indians who were succeeded by the Neutral Confederacy, Neutral, Erie people, Erie, and Iroquois nations. In the early 1 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Chicago 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 M ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Year Of Death Missing
A year is a unit of time based on how long it takes the Earth to orbit the Sun. In scientific use, the tropical year (approximately 365 solar days, 5 hours, 48 minutes, 45 seconds) and the sidereal year (about 20 minutes longer) are more exact. The modern calendar year, as reckoned according to the Gregorian calendar, approximates the tropical year by using a system of leap years. The term 'year' is also used to indicate other periods of roughly similar duration, such as the lunar year (a roughly 354-day cycle of twelve of the Moon's phasessee lunar calendar), as well as periods loosely associated with the calendar or astronomical year, such as the seasonal year, the fiscal year, the academic year, etc. Due to the Earth's axial tilt, the course of a year sees the passing of the seasons, marked by changes in weather, the hours of daylight, and, consequently, vegetation and soil fertility. In temperate and subpolar regions around the planet, four seasons are ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1906 Births
Events January–February * January 12 – Persian Constitutional Revolution: A nationalistic coalition of merchants, religious leaders and intellectuals in Persia forces the shah Mozaffar ad-Din Shah Qajar to grant a constitution, and establish a national assembly, the National Consultative Assembly, Majlis. * January 16–April 7 – The Algeciras Conference convenes, to resolve the First Moroccan Crisis between French Third Republic, France and German Empire, Germany. * January 22 – The strikes a reef off Vancouver Island, Canada, killing over 100 (officially 136) in the ensuing disaster. * January 31 – The 1906 Ecuador–Colombia earthquake, Ecuador–Colombia earthquake (8.8 on the Moment magnitude scale), and associated tsunami, cause at least 500 deaths. * February 7 – is launched, sparking a Anglo-German naval arms race, naval race between Britain and Germany. * February 11 ** Pope Pius X publishes the encyclical ''Vehementer Nos'', de ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
IASPEI
International Association of Seismology and Physics of the Earth's Interior (IASPEI) is an international organization promoting the study of earthquakes and other seismic sources, the propagation of seismic waves, and the internal structure, properties and processes of the Earth. IASPEI is one of eight associations of the International Union of Geodesy and Geophysics The International Union of Geodesy and Geophysics (IUGG; , UGGI) is an international non-governmental organization dedicated to the scientific study of Earth and its space environment using geophysical and geodetic techniques. The IUGG is a me ... (IUGG). IASPEI initiates and co-ordinates international researches and scientific discussion on scientific and applied seismology. The activities of IASPEI focus on the societal impacts of earthquakes and tsunamis, with four regional commissions promoting high standards of seismological education, outreach and international scientific cooperation. IASPEI Commissions ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
The Journal Of Symbolic Logic
''The'' is a grammatical article in English, denoting nouns that are already or about to be mentioned, under discussion, implied or otherwise presumed familiar to listeners, readers, or speakers. It is the definite article in English. ''The'' is the most frequently used word in the English language; studies and analyses of texts have found it to account for seven percent of all printed English-language words. It is derived from gendered articles in Old English which combined in Middle English and now has a single form used with nouns of any gender. The word can be used with both singular and plural nouns, and with a noun that starts with any letter. This is different from many other languages, which have different forms of the definite article for different genders or numbers. Pronunciation In most dialects, "the" is pronounced as (with the voiced dental fricative followed by a schwa) when followed by a consonant sound, and as (homophone of the archaic pronoun ''thee' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Transactions Of The American Geophysical Union
''Eos'' (formerly ''Eos, Transactions, American Geophysical Union'') is the news magazine published by the American Geophysical Union (AGU). The magazine publishes news and opinions relevant to the Earth and space sciences, as well as in-depth features on current research and on the relationship of geoscience to social and political questions. ''Eos'' is published online daily, and as an AGU member benefit in 11 issues a year. It accepts both display and classified advertising. History ''Transactions, American Geophysical Union'', began as a way to distribute information about AGU's annual meetings. Launched in 1920, the first volume was reprinted from volume 6, number 10 of the ''Proceedings of the National Academy of Sciences'' as ''National Research Council Reprint and Circular Series'', number 11, and appeared under the title ''Scientific papers presented before the American Geophysical Union''. It compiled papers from AGU's second annual meeting. These transactions were ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Journal Of Symbolic Logic
The '' Journal of Symbolic Logic'' is a peer-reviewed mathematics journal published quarterly by Association for Symbolic Logic. It was established in 1936 and covers mathematical logic. The journal is indexed by '' Mathematical Reviews'', Zentralblatt MATH, and Scopus. Its 2009 MCQ was 0.28, and its 2009 impact factor The impact factor (IF) or journal impact factor (JIF) of an academic journal is a type of journal ranking. Journals with higher impact factor values are considered more prestigious or important within their field. The Impact Factor of a journa ... was 0.631. External links * Mathematical logic journals Academic journals established in 1936 Multilingual journals Quarterly journals Association for Symbolic Logic academic journals Logic journals Cambridge University Press academic journals {{math-journal-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sudbury, Massachusetts
Sudbury is a town in Middlesex County, Massachusetts, United States. At the 2020 census, it had a population of 18,934. The town, located in Greater Boston's MetroWest region, has a colonial history. History Incorporated in 1639, the boundaries of Sudbury included (by 1653) what is now Wayland (which split off in 1780, initially as East Sudbury), and parts of present day Framingham, Marlborough, Stow and Maynard (the latter town splitting off in 1871). Nipmuc Indians lived in what is now Sudbury, including Tantamous, a medicine man, and his son Peter Jethro, who deeded a large parcel of land to Sudbury for settlement in 1684.Gutteridge, William H. (1921)''A Brief History of the Town of Maynard, Massachusetts'' Maynard, MA: Town of Maynard, p. 13-16 The original town center and meetinghouse were located near the Sudbury River at what is now known as Wayland's North Cemetery. For the residents on the west side of the river, it was a treacherous passage in the winter an ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Raytheon
Raytheon is a business unit of RTX Corporation and is a major U.S. defense contractor and industrial corporation with manufacturing concentrations in weapons and military and commercial electronics. Founded in 1922, it merged in 2020 with United Technologies Corporation to form Raytheon Technologies, which changed its name to RTX Corporation in July 2023. Raytheon was established in 1922, reincorporated in 1928, and adopted the Raytheon Company name in 1959. More than 90% of Raytheon's revenues were obtained from military contracts and, as of 2012, it was the fifth-largest military contractor in the world. , it was the third-largest defense contractor in the United States by defense revenue. It was the world's largest producer of guided missiles, and was involved in corporate and special-mission aircraft until early 2007. In 2018, the company had around 67,000 employees worldwide and annual revenues of about US$25.35 billion. Over the years, Raytheon shifted its headquarters ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bendix Aviation Corporation
Bendix Corporation is an American manufacturing and engineering company founded in 1924 and subsidiary of Knorr-Bremse since 2002. During various times in its existence, Bendix made Automotive industry, automotive brake shoes and systems, vacuum tubes, aircraft brakes, aeronautical hydraulics and electric power systems, avionics, aircraft and automobile fuel control systems, radios, televisions and computers. A line of home clothes washing machines in the mid-20th century were marketed as Bendix, though those were produced by a partner company that licensed its name. As of 2025, the company focuses on the trucking and automotive industries. History Early history Founder and inventor Vincent Bendix filed for a patent for the Bendix drive on May 2, 1914. The drive engages the starter motor with an internal combustion engine and is still used on most automobiles today. Bendix initially began his new corporation in a hotel room in Chicago in 1914 with an agreement with the stru ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
