Baker's theoremIn transcendental number theory, a mathematical discipline, Baker's theorem gives a lower bound for the absolute value of linear combinations of logarithms of algebraic numbers. The result, proved by , subsumed many earlier results in transcendental number theory and solved a problem posed by Alexander Gelfond nearly fifteen years earlier. Baker used this to prove the transcendence of many numbers, to derive effective bounds for the solutions of some Diophantine equations, and to solve the class number problem of finding all imaginary quadratic fields with class number 1.
Champernowne constantIn mathematics, the Champernowne constant C10 is a transcendental real constant whose decimal expansion has important properties. It is named after economist and mathematician D. G. Champernowne, who published it as an undergraduate in 1933. For base 10, the number is defined by concatenating representations of successive integers: C10 = 0.12345678910111213141516... . Champernowne constants can also be constructed in other bases, similarly, for example: C2 = 0.11011100101110111... 2 C3 = 0.12101112202122..
Carl Ludwig SiegelCarl Ludwig Siegel (31 December 1896 – 4 April 1981) was a German mathematician specialising in analytic number theory. He is known for, amongst other things, his contributions to the Thue–Siegel–Roth theorem in Diophantine approximation, Siegel's method, Siegel's lemma and the Siegel mass formula for quadratic forms. He has been named one of the most important mathematicians of the 20th century. André Weil, without hesitation, named Siegel as the greatest mathematician of the first half of the 20th century.
Serge LangSerge Lang (lɑ̃ɡ; May 19, 1927 – September 12, 2005) was a French-American mathematician and activist who taught at Yale University for most of his career. He is known for his work in number theory and for his mathematics textbooks, including the influential Algebra. He received the Frank Nelson Cole Prize in 1960 and was a member of the Bourbaki group. As an activist, Lang campaigned against the Vietnam War, and also successfully fought against the nomination of the political scientist Samuel P.
Auxiliary functionIn mathematics, auxiliary functions are an important construction in transcendental number theory. They are functions that appear in most proofs in this area of mathematics and that have specific, desirable properties, such as taking the value zero for many arguments, or having a zero of high order at some point. Auxiliary functions are not a rigorously defined kind of function, rather they are functions which are either explicitly constructed or at least shown to exist and which provide a contradiction to some assumed hypothesis, or otherwise prove the result in question.
Algebraic functionIn mathematics, an algebraic function is a function that can be defined as the root of a polynomial equation. Quite often algebraic functions are algebraic expressions using a finite number of terms, involving only the algebraic operations addition, subtraction, multiplication, division, and raising to a fractional power. Examples of such functions are: Some algebraic functions, however, cannot be expressed by such finite expressions (this is the Abel–Ruffini theorem).
Siegel's lemmaIn mathematics, specifically in transcendental number theory and Diophantine approximation, Siegel's lemma refers to bounds on the solutions of linear equations obtained by the construction of auxiliary functions. The existence of these polynomials was proven by Axel Thue; Thue's proof used Dirichlet's box principle. Carl Ludwig Siegel published his lemma in 1929. It is a pure existence theorem for a system of linear equations. Siegel's lemma has been refined in recent years to produce sharper bounds on the estimates given by the lemma.
Schanuel's conjectureIn mathematics, specifically transcendental number theory, Schanuel's conjecture is a conjecture made by Stephen Schanuel in the 1960s concerning the transcendence degree of certain field extensions of the rational numbers. The conjecture is as follows: Given any n complex numbers z1, ..., zn that are linearly independent over the rational numbers , the field extension (z1, ..., zn, ez1, ..., ezn) has transcendence degree at least n over . The conjecture can be found in Lang (1966).
Kurt MahlerKurt Mahler FRS (26 July 1903, Krefeld, Germany – 25 February 1988, Canberra, Australia) was a German mathematician who worked in the fields of transcendental number theory, diophantine approximation, p-adic analysis, and the geometry of numbers. Mahler was a student at the universities in Frankfurt and Göttingen, graduating with a Ph.D. from Johann Wolfgang Goethe University of Frankfurt am Main in 1927; his advisor was Carl Ludwig Siegel. He left Germany with the rise of Adolf Hitler and accepted an invitation by Louis Mordell to go to Manchester.
Diophantine approximationIn number theory, the study of Diophantine approximation deals with the approximation of real numbers by rational numbers. It is named after Diophantus of Alexandria. The first problem was to know how well a real number can be approximated by rational numbers. For this problem, a rational number a/b is a "good" approximation of a real number α if the absolute value of the difference between a/b and α may not decrease if a/b is replaced by another rational number with a smaller denominator.