Gregory John Chaitin is an Argentine-American mathematician and computer scientist. Beginning in the late 1960s, Chaitin made contributions to algorithmic information theory and metamathematics, in particular a computer-theoretic result equivalent to Gödel's incompleteness theorem. He is considered to be one of the founders of what is today known as algorithmic complexity together with Andrei Kolmogorov and Ray Solomonoff. Along with the works of e.g. Solomonoff, Kolmogorov, Martin-Löf, and Leonid Levin, algorithmic information theory became a foundational part of theoretical computer science, information theory, and mathematical logic. It is a common subject in several computer science curricula. Besides computer scientists, Chaitin's work draws attention of many philosophers and mathematicians to fundamental problems in mathematical creativity and digital philosophy.
In mathematics, an infinitesimal number is a quantity that is closer to zero than any standard real number, but that is not zero. The word infinitesimal comes from a 17th-century Modern Latin coinage infinitesimus, which originally referred to the "infinity-th" item in a sequence.
The Analyst is a book by George Berkeley. It was first published in 1734, first by J. Tonson (London), then by S. Fuller (Dublin). The "infidel mathematician" is believed to have been Edmond Halley, though others have speculated Sir Isaac Newton was intended.
David Bloor is a British sociologist. He is a professor in, and a former director of, the Science Studies Unit at the University of Edinburgh. He is a key figure in the Edinburgh school and played a major role in the development of the field of science and technology studies. He is best known for advocating the strong programme in the sociology of scientific knowledge, most notably in his book Knowledge and Social Imagery.
This article deals with the history of classical mechanics.
The Principles of Mathematics (PoM) is a 1903 book by Bertrand Russell, in which the author presented his famous paradox and argued his thesis that mathematics and logic are identical.
The mathematician Shmuel Aaron Weinberger is an American topologist. He completed a PhD in mathematics in 1982 at New York University under the direction of Sylvain Cappell. Weinberger was, from 1994 to 1996, the Thomas A. Scott Professor of Mathematics at the University of Pennsylvania, and he is currently the Andrew MacLeish Professor of Mathematics and chair of the Mathematics department at the University of Chicago.
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.
Elementary Calculus: An Infinitesimal approach is a textbook by H. Jerome Keisler. The subtitle alludes to the infinitesimal numbers of the hyperreal number system of Abraham Robinson and is sometimes given as An approach using infinitesimals. The book is available freely online and is currently published by Dover.
Steve Shnider is a retired professor of mathematics at Bar Ilan University. He received a PhD in Mathematics from Harvard University in 1972, under Shlomo Sternberg. His main interests are in the differential geometry of fiber bundles; algebraic methods in the theory of deformation of geometric structures; symplectic geometry; supersymmetry; operads; and Hopf algebras. He retired in 2014.
Mikhail "Mischa" Gershevich Katz is an Israeli mathematician, a professor of mathematics at Bar-Ilan University. His main interests are differential geometry, geometric topology and mathematics education; he is the author of the book Systolic Geometry and Topology, which is mainly about systolic geometry. The Katz–Sabourau inequality is named after him and Stéphane Sabourau.
Adequality is a technique developed by Pierre de Fermat in his treatise Methodus ad disquirendam maximam et minimam to calculate maxima and minima of functions, tangents to curves, area, center of mass, least action, and other problems in calculus. According to André Weil, Fermat "introduces the technical term adaequalitas, adaequare, etc., which he says he has borrowed from Diophantus. As Diophantus V.11 shows, it means an approximate equality, and this is indeed how Fermat explains the word in one of his later writings.". Diophantus coined the word παρισότης (parisotēs) to refer to an approximate equality. Claude Gaspard Bachet de Méziriac translated Diophantus's Greek word into Latin as adaequalitas. Paul Tannery's French translation of Fermat’s Latin treatises on maxima and minima used the words adéquation and adégaler.
Alexandre V. Borovik 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, model theory, and combinatorics—topics on which he published several monographs and a number of papers. 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.
In mathematics, the transcendental law of homogeneity (TLH) is a heuristic principle enunciated by Gottfried Wilhelm Leibniz most clearly in a 1710 text entitled Symbolismus memorabilis calculi algebraici et infinitesimalis in comparatione potentiarum et differentiarum, et de lege homogeneorum transcendentali. Henk J. M. Bos describes it as the principle to the effect that in a sum involving infinitesimals of different orders, only the lowest-order term must be retained, and the remainder discarded. Thus, if is finite and is infinitesimal, then one sets
Vladimir G. Kanovei 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.
Thomas Mormann is Professor of Philosophy at the University of the Basque Country in Donostia-San Sebastian, Spain. He obtained his PhD in Mathematics from the University of Dortmund (1978). He obtained his Habilitation from the University of Munich. He works in the philosophy of science, formal ontology, structuralism, Carnap studies, and neo-Kantianism.
Joel David Hamkins is an American mathematician and philosopher who is O'Hara Professor of Philosophy and Mathematics at the University of Notre Dame. He has made contributions in mathematical and philosophical logic, set theory and philosophy of set theory, in computability theory, and in group theory.
Sheldon H. Katz is an American mathematician, specializing in algebraic geometry and its applications to string theory.
The Vicarious Hypothesis, or hypothesis vicaria, was a planetary hypothesis proposed by Johannes Kepler to describe the motion of Mars. The hypothesis adopted the circular orbit and equant of Ptolemy's planetary model as well as the heliocentrism of the Copernican model. Calculations using the Vicarious Hypothesis did not support a circular orbit for Mars, leading Kepler to propose elliptical orbits as one of three laws of planetary motion in Astronomia Nova.