![]() | This biography of a living person includes a list of references, related reading or external links, but its sources remain unclear because it lacks inline citations .(October 2013) |
Vladimir G. Kanovei (born 1951) is a Russian mathematician working at the Institute for Information Transmission Problems in Moscow, Russia. His interests include mathematical logic and foundations, as well as mathematical history.
The history of calculus is fraught with philosophical debates about the meaning and logical validity of fluxions or infinitesimal numbers. The standard way to resolve these debates is to define the operations of calculus using epsilon–delta procedures rather than infinitesimals. Nonstandard analysis instead reformulates the calculus using a logically rigorous notion of infinitesimal numbers.
In model theory, a transfer principle states that all statements of some language that are true for some structure are true for another structure. One of the first examples was the Lefschetz principle, which states that any sentence in the first-order language of fields that is true for the complex numbers is also true for any algebraically closed field of characteristic 0.
Affine logic is a substructural logic whose proof theory rejects the structural rule of contraction. It can also be characterized as linear logic with weakening.
In mathematical logic, New Foundations (NF) is an axiomatic set theory, conceived by Willard Van Orman Quine as a simplification of the theory of types of Principia Mathematica. Quine first proposed NF in a 1937 article titled "New Foundations for Mathematical Logic"; hence the name. Much of this entry discusses NFU, an important variant of NF due to Jensen (1969) and clarified by Holmes (1998). In 1940 and in a revision in 1951, Quine introduced an extension of NF sometimes called "Mathematical Logic" or "ML", that included proper classes as well as sets.
Non-well-founded set theories are variants of axiomatic set theory that allow sets to be elements of themselves and otherwise violate the rule of well-foundedness. In non-well-founded set theories, the foundation axiom of ZFC is replaced by axioms implying its negation.
In mathematics, a Borel equivalence relation on a Polish space X is an equivalence relation on X that is a Borel subset of X × X.
Alexander Sotirios Kechris is a set theorist and logician at the California Institute of Technology.
In group theory, a branch of mathematics, a torsion group or a periodic group is a group in which every element has finite order. The exponent of such a group, if it exists, is the least common multiple of the orders of the elements.
Stanisław Jaśkowski was a Polish logician who made important contributions to proof theory and formal semantics. He was a student of Jan Łukasiewicz and a member of the Lwów–Warsaw School of Logic. Upon his death his name was added to the Genius Wall of Fame. He was the President (rector) of the Nicolaus Copernicus University in Toruń.
In mathematical logic, algebraic logic is the reasoning obtained by manipulating equations with free variables.
Nonstandard analysis and its offshoot, nonstandard calculus, have been criticized by several authors, notably Errett Bishop, Paul Halmos, and Alain Connes. These criticisms are analyzed below.
Studia Logica, 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.
Robert Ian Goldblatt is a mathematical logician who is Emeritus Professor in the School of Mathematics and Statistics at Victoria University, Wellington, New Zealand. His most popular books are Logics of Time and Computation and Topoi: the Categorial Analysis of Logic. He has also written a graduate level textbook on hyperreal numbers which is an introduction to nonstandard analysis.
In mathematical logic and computer science, homotopy type theory refers to various lines of development of intuitionistic type theory, based on the interpretation of types as objects to which the intuition of (abstract) homotopy theory applies.
Semën Samsonovich Kutateladze is a mathematician. He is known for contributions to functional analysis and its applications to vector lattices and optimization. In particular, he has made contributions to the calculus of subdifferentials for vector-lattice valued functions, to whose study he introduced methods of Boolean-valued models and infinitesimals.
In mathematics, more specifically in topology, the Volodin space of a ring R is a subspace of the classifying space given by
Larisa Lvovna Maksimova is a Russian mathematical logician known for her research in non-classical logic.
The Higher Infinite: Large Cardinals in Set Theory from their Beginnings is a monograph in set theory by Akihiro Kanamori, concerning the history and theory of large cardinals, infinite sets characterized by such strong properties that their existence cannot be proven in Zermelo–Fraenkel set theory (ZFC). This book was published in 1994 by Springer-Verlag in their series Perspectives in Mathematical Logic, with a second edition in 2003 in their Springer Monographs in Mathematics series, and a paperback reprint of the second edition in 2009 (ISBN 978-3-540-88866-6).
Maria Luisa Dalla Chiara Scabia is an Italian logician and philosopher of science, known for her work on quantum logic and quasi-set theory. She is a professor emerita at the University of Florence.
Andrei Vladimirovich Roiter was a Ukrainian mathematician, specializing in algebra.