|
Lambek
Joachim "Jim" Lambek (5 December 1922 – 23 June 2014) was a German-born Canadian mathematician. He was Peter Redpath Emeritus Professor of Pure Mathematics at McGill University, where he earned his PhD degree in 1950 with Hans Zassenhaus as advisor. Biography Lambek was born in Leipzig, Germany, where he attended a Gymnasium. He came to England in 1938 as a refugee on the ''Kindertransport''. From there he was interned as an enemy alien and deported to a prison work camp in New Brunswick, Canada. There, he began in his spare time a mathematical apprenticeship with Fritz Rothberger, also interned, and wrote the McGill Junior Matriculation in fall of 1941. In the spring of 1942, he was released and settled in Montreal, where he entered studies at McGill University, graduating with an honours mathematics degree in 1945 and an MSc a year later. In 1950, he completed his doctorate under Hans Zassenhaus becoming McGill's first PhD in mathematics. Lambek became assistant ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lambek–Moser Theorem
The Lambek–Moser theorem is a mathematical description of partitions of the natural numbers into two Complement (set theory), complementary sets. For instance, it applies to the partition of numbers into even number, even and odd number, odd, or into prime number, prime and non-prime (one and the composite numbers). There are two parts to the Lambek–Moser theorem. One part states that any two monotonic function, non-decreasing integer functions that are inverse, in a certain sense, can be used to split the natural numbers into two complementary subsets, and the other part states that every complementary partition can be constructed in this way. When a formula is known for the natural number in a set, the Lambek–Moser theorem can be used to obtain a formula for the number not in the set. The Lambek–Moser theorem belongs to combinatorial number theory. It is named for Joachim Lambek and Leo Moser, who published it in 1954, and should be distinguished from an unrelated theor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lambek Calculus
Categorial grammar is a family of formalisms in natural language syntax that share the central assumption that syntactic constituents combine as functions and arguments. Categorial grammar posits a close relationship between the syntax and semantic composition, since it typically treats syntactic categories as corresponding to semantic types. Categorial grammars were developed in the 1930s by Kazimierz Ajdukiewicz and in the 1950s by Yehoshua Bar-Hillel and Joachim Lambek. It saw a surge of interest in the 1970s following the work of Richard Montague, whose Montague grammar assumed a similar view of syntax. It continues to be a major paradigm, particularly within formal semantics. Basics A categorial grammar consists of two parts: a lexicon, which assigns a set of types (also called categories) to each basic symbol, and some type inference rules, which determine how the type of a string of symbols follows from the types of the constituent symbols. It has the advantage that th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Department Of Mathematics And Statistics, McGill University
The Department of Mathematics and Statistics is an academic department at McGill University. It is located in Burnside Hall at McGill's downtown campus in Montreal. History Mathematics was taught at McGill as early as 1848 when it was a discipline of Natural Philosophy. Mathematics at McGill was initially divided into two largely independent departments, one under the Faculty of Arts and Science and another under the Faculty of Engineering; the two departments merged in 1924 under the chairmanship of Daniel Murray. Still, mathematics remained subsidiary to other programs, owing to McGill's emphasis on engineering and British-style applied mathematics. Until 1945, Mathematics was almost wholly a service department with only seven faculty members. Though a small graduate program was shared with the Physics Department, most of the students in the program were headed for further graduate work in physics. In 1945, department members Lloyd Williams and Gordon Pall founded the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Multicategories
In mathematics (especially category theory), a multicategory is a generalization of the concept of category that allows morphisms of multiple arity. If morphisms in a category are viewed as analogous to functions, then morphisms in a multicategory are analogous to functions of several variables. Multicategories are also sometimes called operads, or colored operads. Definition A (non-symmetric) multicategory consists of * a collection (often a proper class) of ''objects''; * for every finite sequence (X_i)_ of objects (for von Neumann ordinal n \in \mathbb) and object ''Y'', a set of ''morphisms'' from (X_i)_ to ''Y''; and * for every object ''X'', a special identity morphism (with ''n'' = 1) from ''X'' to ''X''. Additionally, there are composition operations: Given a sequence of sequences ((X_)_)_ of objects, a sequence (Y_j)_ of objects, and an object ''Z'': if * for each j \in m, ''f''''j'' is a morphism from (X_)_ to ''Y''''j''; and * ''g'' is a morphism from (Y_j)_ to ''Z'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jeffery–Williams Prize
The Jeffery–Williams Prize is a mathematics award presented annually by the Canadian Mathematical Society. The award is presented to individuals in recognition of outstanding contributions to mathematical research. The first award was presented in 1968. The prize was named in honor of the mathematicians Ralph Lent Jeffery Ralph Lent Jeffery (3 October 1889 Overton, Yarmouth County, Nova Scotia, Canada – 1975 Wolfville, Nova Scotia) was a Canadian mathematician working on analysis. He taught at several institutions including Acadia University, the University of S ... and Lloyd Williams. Recipients of the Jeffery–Williams Prize SourceCanadian Mathematical Society See also * List of mathematics awards References External links Canadian Mathematical Society {{DEFAULTSORT:Jeffery-Williams Prize Awards of the Canadian Mathematical Society Awards established in 1968 1968 establishments in Canada ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hans Zassenhaus
Hans Julius Zassenhaus (28 May 1912 – 21 November 1991) was a German mathematician, known for work in many parts of abstract algebra, and as a pioneer of computer algebra. Biography He was born in Koblenz in 1912. His father was a historian and advocate for Reverence for Life as expressed by Albert Schweitzer. Hans had two brothers, Guenther and Wilfred, and sister Hiltgunt, who wrote an autobiography in 1974. According to her, their father lost his position as school principal due to his philosophy. She wrote:Hiltgunt Zassenhaus (1974) ''Walls: Resisting the Third Reich'', Beacon Press :Hans, my eldest brother, studied mathematics. My brothers Guenther and Wilfred were in medical school. ... only students who participated in Nazi activities would get scholarships. That left us out. Together we made an all-out effort. ... soon our house became a beehive. Day in and day out for the next four years a small army of children of all ages would arrive to be tutored. At the University ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Israel Kleiner (mathematician)
Israel Kleiner is a Canadian mathematician and historian of mathematics. Kleiner earned an MA at Yale University (1963) and a PhD at McGill University (1967) under Joachim Lambek with a thesis ''Lie modules and rings of quotients''. Before his retirement as professor emeritus, he spent his career as a mathematics professor at York University, where he was a member of the faculty since 1965 and where he coordinated the training program for mathematics teachers teaching at the secondary school level. He is noted for his work on the history of algebra and on the combination of the history of mathematics and mathematics education. He received the Carl B. Allendoerfer Award in 1987 and again in 1992, the George Pólya Award in 1990, and the Lester Randolph Ford Award Lester is an ancient Anglo-Saxon surname and given name. Notable people and characters with the name include: People Given name * Lester Bangs (1948–1982), American music critic * Lester W. Bentley (1908–1972), ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Leipzig
Leipzig ( , ; Upper Saxon: ) is the most populous city in the German state of Saxony. Leipzig's population of 605,407 inhabitants (1.1 million in the larger urban zone) as of 2021 places the city as Germany's eighth most populous, as well as the second most populous city in the area of the former East Germany after (East) Berlin. Together with Halle (Saale), the city forms the polycentric Leipzig-Halle Conurbation. Between the two cities (in Schkeuditz) lies Leipzig/Halle Airport. Leipzig is located about southwest of Berlin, in the southernmost part of the North German Plain (known as Leipzig Bay), at the confluence of the White Elster River (progression: ) and two of its tributaries: the Pleiße and the Parthe. The name of the city and those of many of its boroughs are of Slavic origin. Leipzig has been a trade city since at least the time of the Holy Roman Empire. The city sits at the intersection of the Via Regia and the Via Imperii, two important medieval trad ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
List Of World War II Prisoner-of-war Camps In Canada
There were 40 known prisoner-of-war camps across Canada during World War II, although this number also includes internment camps that held Canadians of German and Japanese descent. Several reliable sources indicate that there were only 25 or 26 camps holding exclusively prisoners from foreign countries, nearly all from Germany. The camps were identified by letters at first, then by numbers. In addition to the main camps there were branch camps and labour camps. The prisoners were given various tasks; many worked in the forests as logging crews or on nearby farms; they were paid a nominal amount for their labour. Approximately 11,000 were thus employed by 1945. The largest number of military prisoners of war was recorded as 33,798 by several sources. In addition to POWs, some civilian internees were held in the camps and some estimates include such prisoners. All POWs were protected by the conditions of the Geneva Convention. There are claims that conditions in the Canadian camp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
New Brunswick
New Brunswick (french: Nouveau-Brunswick, , locally ) is one of the thirteen provinces and territories of Canada. It is one of the three Maritime provinces and one of the four Atlantic provinces. It is the only province with both English and French as its official languages. New Brunswick is bordered by Quebec to the north, Nova Scotia to the east, the Gulf of Saint Lawrence to the northeast, the Bay of Fundy to the southeast, and the U.S. state of Maine to the west. New Brunswick is about 83% forested and its northern half is occupied by the Appalachians. The province's climate is continental with snowy winters and temperate summers. New Brunswick has a surface area of and 775,610 inhabitants (2021 census). Atypically for Canada, only about half of the population lives in urban areas. New Brunswick's largest cities are Moncton and Saint John, while its capital is Fredericton. In 1969, New Brunswick passed the Official Languages Act which began recognizing French as an ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Canada
Canada is a country in North America. Its ten provinces and three territories extend from the Atlantic Ocean to the Pacific Ocean and northward into the Arctic Ocean, covering over , making it the world's second-largest country by total area. Its southern and western border with the United States, stretching , is the world's longest binational land border. Canada's capital is Ottawa, and its three largest metropolitan areas are Toronto, Montreal, and Vancouver. Indigenous peoples have continuously inhabited what is now Canada for thousands of years. Beginning in the 16th century, British and French expeditions explored and later settled along the Atlantic coast. As a consequence of various armed conflicts, France ceded nearly all of its colonies in North America in 1763. In 1867, with the union of three British North American colonies through Confederation, Canada was formed as a federal dominion of four provinces. This began an accretion of provinces an ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Montreal
Montreal ( ; officially Montréal, ) is the List of the largest municipalities in Canada by population, second-most populous city in Canada and List of towns in Quebec, most populous city in the Provinces and territories of Canada, Canadian province of Quebec. Founded in 1642 as ''Fort Ville-Marie, Ville-Marie'', or "City of Mary", it is named after Mount Royal, the triple-peaked hill around which the early city of Ville-Marie is built. The city is centred on the Island of Montreal, which obtained its name from the same origin as the city, and a few much smaller peripheral islands, the largest of which is Île Bizard. The city is east of the national capital Ottawa, and southwest of the provincial capital, Quebec City. As of 2021, the city had a population of 1,762,949, and a Census Metropolitan Area#Census metropolitan areas, metropolitan population of 4,291,732, making it the List of the largest municipalities in Canada by population, second-largest city, and List of cen ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
