|
Alexandre Borovik
Alexandre V. Borovik (born 1956) is a Professor of Pure Mathematics at the University of Manchester, United Kingdom. He was born in Russia and graduated from Novosibirsk State University in 1978. His principal research lies in algebra Algebra () is one of the broad areas of mathematics. Roughly speaking, algebra is the study of mathematical symbols and the rules for manipulating these symbols in formulas; it is a unifying thread of almost all of mathematics. Elementary ..., model theory, and combinatorics—topics on which he published several monographs and a number of papers.See Borovik et al (2011) He also has an interest in mathematical practice: his book ''Mathematics under the Microscope: Notes on Cognitive Aspects of Mathematical Practice'' examines a mathematician's outlook on psychophysiological and cognitive issues in mathematics. Selected books and articles * *. * Borovik, Alexandre; Nesin, Ali: ''Groups of finite Morley rank''. Oxford Logic Guides, 26. ... [...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] |
Notre Dame Journal Of Formal Logic
The ''Notre Dame Journal of Formal Logic'' is a quarterly peer-reviewed scientific journal covering the foundations of mathematics and related fields of mathematical logic, as well as philosophy of mathematics. It was established in 1960 and is published by Duke University Press on behalf of the University of Notre Dame. The editors-in-chief are Curtis Franks and Anand Pillay (University of Notre Dame). Abstracting and indexing The journal is abstracted and indexed in: According to the ''Journal Citation Reports'', the journal has a 2012 impact factor of 0.431. References External links * Journal pageat Notre Dame University Journal pageat Project Euclid Project Euclid is a collaborative partnership between Cornell University Library and Duke University Press which seeks to advance scholarly communication in theoretical and applied mathematics and statistics through partnerships with independent an ... Mathematical logic Mathematics journals Logic journals Philoso ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
British Logicians
British may refer to: Peoples, culture, and language * British people, nationals or natives of the United Kingdom, British Overseas Territories, and Crown Dependencies. ** Britishness, the British identity and common culture * British English, the English language as spoken and written in the United Kingdom or, more broadly, throughout the British Isles * Celtic Britons, an ancient ethno-linguistic group * Brittonic languages, a branch of the Insular Celtic language family (formerly called British) ** Common Brittonic, an ancient language Other uses *''Brit(ish)'', a 2018 memoir by Afua Hirsch *People or things associated with: ** Great Britain, an island ** United Kingdom, a sovereign state ** Kingdom of Great Britain (1707–1800) ** United Kingdom of Great Britain and Ireland (1801–1922) See also * Terminology of the British Isles * Alternative names for the British * English (other) * Britannic (other) * British Isles * Brit (other) * B ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
21st-century British Mathematicians
The 1st century was the century spanning AD 1 ( I) through AD 100 ( C) according to the Julian calendar. It is often written as the or to distinguish it from the 1st century BC (or BCE) which preceded it. The 1st century is considered part of the Classical era, epoch, or historical period. The 1st century also saw the appearance of Christianity. During this period, Europe, North Africa and the Near East fell under increasing domination by the Roman Empire, which continued expanding, most notably conquering Britain under the emperor Claudius ( AD 43). The reforms introduced by Augustus during his long reign stabilized the empire after the turmoil of the previous century's civil wars. Later in the century the Julio-Claudian dynasty, which had been founded by Augustus, came to an end with the suicide of Nero in AD 68. There followed the famous Year of Four Emperors, a brief period of civil war and instability, which was finally brought to an end by Vespasian, ninth Roman empero ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Living People
Related categories * :Year of birth missing (living people) / :Year of birth unknown * :Date of birth missing (living people) / :Date of birth unknown * :Place of birth missing (living people) / :Place of birth unknown * :Year of death missing / :Year of death unknown * :Date of death missing / :Date of death unknown * :Place of death missing / :Place of death unknown * :Missing middle or first names See also * :Dead people * :Template:L, which generates this category or death years, and birth year and sort keys. : {{DEFAULTSORT:Living people 21st-century people People by status ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Foundations Of Science
''Foundations of Science'' is a peer-reviewed interdisciplinary academic journal focussing on methodological and philosophical topics concerning the structure and the growth of science. It is the official journal of the Association for Foundations of Science, Language and Cognition and is published quarterly by Springer Science+Business Media. The journal was established in 1995. The editor in chief is Diederik Aerts. Abstracting and indexing The journal is abstracted and indexed in Arts and Humanities Citation Index, Cengage, EBSCO Databases, FRANCIS, Google Scholar, Mathematical Reviews, PASCAL, Science Citation Index Expanded, Scopus, and Zentralblatt MATH. External links * Journal pageat the Free University of Brussels University of Brussels may refer to several institutions in Brussels, Belgium: Current institutions * Université libre de Bruxelles (ULB), a French-speaking university established as a separate entity in 1970 *Vrije Universiteit Brussel (VUB), a D ... ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Israel Gelfand
Israel Moiseevich Gelfand, also written Israïl Moyseyovich Gel'fand, or Izrail M. Gelfand ( yi, ישראל געלפֿאַנד, russian: Изра́иль Моисе́евич Гельфа́нд, uk, Ізраїль Мойсейович Гельфанд; – 5 October 2009) was a prominent Soviet-American mathematician. He made significant contributions to many branches of mathematics, including group theory, representation theory and functional analysis. The recipient of many awards, including the Order of Lenin and the first Wolf Prize, he was a Foreign Fellow of the Royal Society and professor at Moscow State University and, after immigrating to the United States shortly before his 76th birthday, at Rutgers University. Gelfand is also a 1994 MacArthur Fellow. His legacy continues through his students, who include Endre Szemerédi, Alexandre Kirillov, Edward Frenkel, Joseph Bernstein, David Kazhdan, as well as his own son, Sergei Gelfand. Early years A native of Kherson Go ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Springer Publishing
Springer Publishing Company is an American publishing company of academic journals and books, focusing on the fields of nursing, gerontology, psychology, social work, counseling, public health, and rehabilitation (neuropsychology). It was established in 1951 by Bernhard Springer, a great-grandson of Julius Springer, and is based in Midtown Manhattan, New York City. History Springer Publishing Company was founded in 1950 by Bernhard Springer, the Berlin-born great-grandson of Julius Springer, who founded Springer-Verlag (now Springer Science+Business Media). Springer Publishing's first landmark publications included ''Livestock Health Encyclopedia'' by R. Seiden and the 1952 ''Handbook of Cardiology for Nurses''. The company's books soon branched into other fields, including medicine and psychology. Nursing publications grew rapidly in number, as Modell's ''Drugs in Current Use'', a small annual paperback, sold over 150,000 copies over several editions. Solomon Garb's ''Labor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Manchester
, mottoeng = Knowledge, Wisdom, Humanity , established = 2004 – University of Manchester Predecessor institutions: 1956 – UMIST (as university college; university 1994) 1904 – Victoria University of Manchester 1880 – Victoria University 1851 – Owens College 1824 – Manchester Mechanics' Institute , endowment = £242.2 million (2021) , budget = £1.10 billion (2020–21) , chancellor = Nazir Afzal (from August 2022) , head_label = President and vice-chancellor , head = Nancy Rothwell , academic_staff = 5,150 (2020) , total_staff = 12,920 (2021) , students = 40,485 (2021) , undergrad = () , postgrad = () , city = Manchester , country = England, United Kingdom , campus = Urban and suburban , colours = Manchester Purple Manchester Yellow , free_label = Scarf , free = , website = , logo = UniOfManchesterLogo.svg , affiliations = Universities Research Association Sutton 30 Russell Group EUA N8 Group NWUA ACUUniversities UK The Universit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Combinatorics
Combinatorics is an area of mathematics primarily concerned with counting, both as a means and an end in obtaining results, and certain properties of finite structures. It is closely related to many other areas of mathematics and has many applications ranging from logic to statistical physics and from evolutionary biology to computer science. Combinatorics is well known for the breadth of the problems it tackles. Combinatorial problems arise in many areas of pure mathematics, notably in algebra, probability theory, topology, and geometry, as well as in its many application areas. Many combinatorial questions have historically been considered in isolation, giving an ''ad hoc'' solution to a problem arising in some mathematical context. In the later twentieth century, however, powerful and general theoretical methods were developed, making combinatorics into an independent branch of mathematics in its own right. One of the oldest and most accessible parts of combinatorics is gra ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Model Theory
In mathematical logic, model theory is the study of the relationship between formal theories (a collection of sentences in a formal language expressing statements about a mathematical structure), and their models (those structures in which the statements of the theory hold). The aspects investigated include the number and size of models of a theory, the relationship of different models to each other, and their interaction with the formal language itself. In particular, model theorists also investigate the sets that can be defined in a model of a theory, and the relationship of such definable sets to each other. As a separate discipline, model theory goes back to Alfred Tarski, who first used the term "Theory of Models" in publication in 1954. Since the 1970s, the subject has been shaped decisively by Saharon Shelah's stability theory. Compared to other areas of mathematical logic such as proof theory, model theory is often less concerned with formal rigour and closer in spirit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
