|
John Truss
John Kenneth Truss (born April 1947) is a mathematician and emeritus professor of pure mathematics at the University of Leeds where he specialises in mathematical logic; infinite permutation groups; homogeneous structures and model theory. Truss began his career as a junior research fellow at the University of Oxford before holding a series of academic positions and lastly joining the University of Leeds. He has written books on discrete mathematics (1991) and mathematical analysis (1997) and was co-editor in chief of the ''Journal of the London Mathematical Society'' until June 2003. He is the father of the former Prime Minister of the United Kingdom, Liz Truss. Early life and family John Truss was born in April 1947. He graduated from King's College, Cambridge in 1968 and earned his PhD at the University of Leeds in 1973 for a dissertation titled "Some Results about Cardinal Numbers without the Axiom of Choice" which was supervised by Frank Drake. In 1969, he married Priscilla ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pure Mathematics
Pure mathematics is the study of mathematical concepts independently of any application outside mathematics. These concepts may originate in real-world concerns, and the results obtained may later turn out to be useful for practical applications, but pure mathematicians are not primarily motivated by such applications. Instead, the appeal is attributed to the intellectual challenge and aesthetic beauty of working out the logical consequences of basic principles. While pure mathematics has existed as an activity since at least Ancient Greece, the concept was elaborated upon around the year 1900, after the introduction of theories with counter-intuitive properties (such as non-Euclidean geometries and Cantor's theory of infinite sets), and the discovery of apparent paradoxes (such as continuous functions that are nowhere differentiable, and Russell's paradox). This introduced the need to renew the concept of mathematical rigor and rewrite all mathematics accordingly, with a system ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Simon Fraser University
Simon Fraser University (SFU) is a public research university in British Columbia, Canada, with three campuses, all in Greater Vancouver: Burnaby (main campus), Surrey, and Vancouver. The main Burnaby campus on Burnaby Mountain, located from downtown Vancouver, was established in 1965 and comprises more than 30,000 students and 160,000 alumni. The university was created in an effort to expand higher education across Canada. SFU is a member of multiple national and international higher education associations, including the Association of Commonwealth Universities, International Association of Universities, and Universities Canada. SFU has also partnered with other universities and agencies to operate joint research facilities such as the TRIUMF, Canada's national laboratory for particle and nuclear physics, which houses the world's largest cyclotron, and Bamfield Marine Station, a major centre for teaching and research in marine biology. Undergraduate and graduate programs ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Graham Priest
Graham Priest (born 1948) is Distinguished Professor of Philosophy at the CUNY Graduate Center, as well as a regular visitor at the University of Melbourne, where he was Boyce Gibson Professor of Philosophy and also at the University of St Andrews. Education Priest was educated at St John's College, Cambridge and the London School of Economics. His thesis advisor was John Lane Bell. He also holds a DLitt from the University of Melbourne. Philosophical work He is known for his defence of , his in-depth analyses of t ...[...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
The Bulletin Of 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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Studia Logica
''Studia Logica'' (full name: Studia Logica, An International Journal for Symbolic Logic), is a scienific journal publishing papers employing formal tools from Mathematics and Logic. The scope of papers published in Studia Logica covers all scientific disciplines; the key criterion for published papers is not their topic but their method: they are required to contain significant and original results concerning formal systems and their properties. The journal offers papers on topics in general logic and on applications of logic to methodology of science, linguistics, philosophy, and other branches of knowledge. The journal is published by the Institute of Philosophy and Sociology of the Polish Academy of Sciences and Springer publications. History The name Studia Logica appeared for the first time in 1934, but only one volume (edited by Jan Łukasiewicz) has been published that time. It had been published continuously since December 1953 in changing frequency by the Polish Acade ... [...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] |
London Mathematical Society Lecture Notes Series
London is the capital and List of urban areas in the United Kingdom, largest city of England and the United Kingdom, with a population of just under 9 million. It stands on the River Thames in south-east England at the head of a estuary down to the North Sea, and has been a major settlement for two millennia. The City of London, its ancient core and financial centre, was founded by the Roman Empire, Romans as ''Londinium'' and retains its medieval boundaries.See also: Independent city#National capitals, Independent city § National capitals The City of Westminster, to the west of the City of London, has for centuries hosted the national Government of the United Kingdom, government and Parliament of the United Kingdom, parliament. Since the 19th century, the name "London" has also referred to the metropolis around this core, historically split between the Counties of England, counties of Middlesex, Essex, Surrey, Kent, and Hertfordshire, which largely comprises Greater London ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Discrete Mathematics
Discrete mathematics is the study of mathematical structures that can be considered "discrete" (in a way analogous to discrete variables, having a bijection with the set of natural numbers) rather than "continuous" (analogously to continuous functions). Objects studied in discrete mathematics include integers, graphs, and statements in logic. By contrast, discrete mathematics excludes topics in "continuous mathematics" such as real numbers, calculus or Euclidean geometry. Discrete objects can often be enumerated by integers; more formally, discrete mathematics has been characterized as the branch of mathematics dealing with countable sets (finite sets or sets with the same cardinality as the natural numbers). However, there is no exact definition of the term "discrete mathematics". The set of objects studied in discrete mathematics can be finite or infinite. The term finite mathematics is sometimes applied to parts of the field of discrete mathematics that deals with finite se ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
The Mathematical Gazette
''The Mathematical Gazette'' is an academic journal of mathematics education, published three times yearly, that publishes "articles about the teaching and learning of mathematics with a focus on the 15–20 age range and expositions of attractive areas of mathematics." It was established in 1894 by Edward Mann Langley as the successor to the Reports of the Association for the Improvement of Geometrical Teaching. Its publisher is the Mathematical Association. William John Greenstreet was its editor for more than thirty years (1897–1930). Since 2000, the editor is Gerry Leversha. Editors * Edward Mann Langley: 1894-1896 * Francis Sowerby Macaulay: 1896-1897 * William John Greenstreet: 1897-1930 * Alan Broadbent: 1930-1955 * Reuben Goodstein: 1956-1962 * Edwin A. Maxwell: 1962-1971 * Douglas Quadling Douglas Arthur Quadling (1926–2015) was an English mathematician, school master and educationalist who was one of the four drivers behind the School Mathematics Project (SMP) i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
John Bayliss (mathematician)
John Bayliss (1919–2008) was a British poet and significant literary editor of the World War II period; later in life, he became a civil servant. He was born in Gloucestershire, and was an undergraduate at St Catharine's College, Cambridge. He served in the RAF during the war. He edited: ''The Fortune Anthology'' (1942) with Nicholas Moore, and Douglas Newton; ''New Road'' (1943 and 1944) with Alex Comfort; ''A Romantic Miscellany'' (1946) with Derek Stanford. His collection ''The White Knight and other poems'' was published in 1944. He contributed in the war years to ''Poetry London'' and ''Poetry Quarterly''; later to ''Poetry Review''. He was also published in ''Air Force Poetry'' (1944). In 1977 he published "Venus in Libra" in full, some sections of which had been published in "Poetry Quarterly" and "New Road 1944" He is sometimes associated with the New Apocalyptics, perhaps because of his poem ''Apocalypse and Resurrection''; he is also called a surrealist Surrealism ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Automorphisms
In mathematics, an automorphism is an isomorphism from a mathematical object to itself. It is, in some sense, a symmetry of the object, and a way of mapping the object to itself while preserving all of its structure. The set of all automorphisms of an object forms a group, called the automorphism group. It is, loosely speaking, the symmetry group of the object. Definition In the context of abstract algebra, a mathematical object is an algebraic structure such as a group, ring, or vector space. An automorphism is simply a bijective homomorphism of an object with itself. (The definition of a homomorphism depends on the type of algebraic structure; see, for example, group homomorphism, ring homomorphism, and linear operator.) The identity morphism (identity mapping) is called the trivial automorphism in some contexts. Respectively, other (non-identity) automorphisms are called nontrivial automorphisms. The exact definition of an automorphism depends on the type of "mathematical ob ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Conjecture
In mathematics, a conjecture is a conclusion or a proposition that is proffered on a tentative basis without proof. Some conjectures, such as the Riemann hypothesis (still a conjecture) or Fermat's Last Theorem (a conjecture until proven in 1995 by Andrew Wiles), have shaped much of mathematical history as new areas of mathematics are developed in order to prove them. Important examples Fermat's Last Theorem In number theory, Fermat's Last Theorem (sometimes called Fermat's conjecture, especially in older texts) states that no three positive integers a, ''b'', and ''c'' can satisfy the equation ''a^n + b^n = c^n'' for any integer value of ''n'' greater than two. This theorem was first conjectured by Pierre de Fermat in 1637 in the margin of a copy of '' Arithmetica'', where he claimed that he had a proof that was too large to fit in the margin. The first successful proof was released in 1994 by Andrew Wiles, and formally published in 1995, after 358 years of effort by mathe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
