KURT MAHLER 26 JULY 1903 ? 26 FEBRUARY 1988 ELECTED ...
KURT MAHLER 26 JULY 1903 ? 26 FEBRUARY 1988 ELECTED ...
KURT MAHLER 26 JULY 1903 ? 26 FEBRUARY 1988 ELECTED ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
<strong>KURT</strong> <strong>MAHLER</strong><br />
<strong>26</strong> <strong>JULY</strong> <strong>1903</strong> — <strong>26</strong> <strong>FEBRUARY</strong> <strong>1988</strong><br />
<strong>ELECTED</strong> F.R.S. 1948<br />
By J. H. Coates F.R.S. and A. J. van der Poorten<br />
Kurt Mahler was born on <strong>26</strong> July, <strong>1903</strong> at Krefeld am Rhein in Germany; he died<br />
in his 85th year on <strong>26</strong> February, <strong>1988</strong> in Canberra, Australia. From 1933 onwards<br />
most of his life was spent outside of Germany, but his mathematical roots remained<br />
in the great school of mathematics that existed in Germany between the two world<br />
wars. Above all Mahler lived for mathematics; he took great pleasure in lecturing,<br />
researching and writing. It was no surprise that he remained active in research until<br />
the last days of his life. He was never a narrow specialist and had a remarkably<br />
broad and thorough knowledge of large parts of current and past mathematical<br />
research. At the same time he was oblivious to mathematical fashion, and very<br />
much followed his own path through the world of mathematics, uncovering new<br />
and simple ideas in many directions. In this way he made major contributions to<br />
transcendental number theory, diophantine approximation, p-adic analysis, and the<br />
geometry of numbers. Towards the end of his life, Kurt Mahler wrote a considerable<br />
amount about his own experiences; see ‘Fifty years as a mathematician’ [209],<br />
‘How I became a mathematician’ [192], ‘Warum ich eine besondere Vorliebe für die<br />
Mathematik habe’ [214], ‘Fifty years as a mathematician II’ [222]. There is also a<br />
recent excellent account of his life and work by Cassels (1991). In preparing this<br />
Memoir we have freely used these sources. We have also drawn on our knowledge of<br />
and conversations with Mahler, whom we first met when we were undergraduates<br />
in Australia in the early 1960s.<br />
Krefeld, where Mahler spent the first twenty years of his life, was a town of some<br />
100,000 inhabitants in a predominantly Catholic part of the Prussian Rhineland.<br />
His family was Jewish, and had lived in the Rhineland for several generations. His<br />
father and several of his uncles worked in the printing and bookbinding trade, beginning<br />
as apprentices and slowly saving enough money to start small firms of their<br />
own. Kurt and his twin sister Hilde (<strong>1903</strong>-1934) were the youngest of eight children<br />
born to Hermann Mahler (1858-1941) and his wife Henriette, née Stern (1860-1942).<br />
Four of the children died young. An elder sister Lydia (who died in 1984) married<br />
a printer who was also a musician, and lived in the Netherlands. An elder brother<br />
Josef, who joined and eventually took over his father’s firm, disappeared together<br />
with his wife in a concentration camp during the Second World War.<br />
Work of the second author supported in part by grants from the Australian Research Council and<br />
by aresearch agreement with Digital Equipment Corporation.<br />
Typeset by AMS-TEX
2 John Coates and Alf van der Poorten<br />
The family had no academic traditions. None of Kurt’s four grandparents went to<br />
more than elementary school (Volksschule). However, the four children acquired a<br />
love of reading from their father. At the age of 5, Kurt contracted tuberculosis,<br />
which severely affected his right knee. The knee was subsequently operated on<br />
several times, but it did not heal until he was 35 and left him with a stiff leg, which<br />
very much hindered his walking throughout his life. Because of this illness, Kurt<br />
only attended school for a total of four years up till the age of 14, but he had some<br />
private tuition at home for two additional years. At Easter 1917, shortly before he<br />
turned 14, he left elementary school, and attended technical schools for the next<br />
two years, with the intention of becoming a precision tool and instrument maker.<br />
Mahler always retained a fascination with technical drawing and calligraphy. Most<br />
important, these technical schools gave him his first training in algebra and geometry.<br />
He very quickly decided that mathematics was what he really liked doing.<br />
Already, from the summer vacation of 1917, he began teaching himself logarithms<br />
(the arithmetic properties of which turned out to be one of his abiding interests<br />
in transcendental number theory), plane and spherical trigonometry, analytic geometry<br />
and calculus. In 1918, he became an apprentice in a machine factory in<br />
Krefeld, working for one year in the drawing office and then for almost two years<br />
in the factory itself. Later, the drafting skills he acquired would be useful; see<br />
the papers of L. J. Mordell in the period 1941–45. Mahler said himself that his<br />
aim in taking the apprenticeship was that it might eventually allow him to study<br />
mathematics at a technical university (Technische Hochschule), thereby avoiding<br />
the difficult entrance examination required to enter a traditional university. He did<br />
learn a little more elementary mathematics as part of evening classes, but quickly<br />
progressed with his mathematical self-education. How successful he was as an autodidact<br />
is illustrated by the fact that he soon acquired and began reading, without<br />
any expert guidance, such sophisticated books as Bachmann’s Zahlentheorie, Landau’s<br />
Primzahlen, Knopp’s Funktionentheorie, Klein and Fricke’s Modulfunktionen<br />
and Automorphe Funktionen, and Hilbert’s Grundlagen der Geometrie.<br />
In Mahler’s own words: ‘The great day came in 1921’. He was in the habit of<br />
writing little articles about the mathematics he had read. Without his knowledge<br />
his father had sent some of Kurt’s work to the director of the local grammar school<br />
(Realschule). Dr Junker was a mathematician, having written a doctoral thesis in<br />
invariant theory under Christoffel. He was evidently impressed by the apprentice’s<br />
efforts, and sent some of Mahler’s work to Klein in Göttingen, who passed it on to his<br />
young Assistant, C. L. Siegel. Thus began a lifelong association between Siegel and<br />
Mahler: Siegel urged that Mahler should be helped to pass the university entrance<br />
examination. Mahler left the factory and spent two years at home, preparing for<br />
the entrance examination (he cites preparation for papers in German, French, and<br />
English) with the assistance of teachers at the Realschule, as well as continuing his<br />
own reading in mathematics. He passed the examination (he says ‘I just scraped<br />
through’) in the fall of 1923, amidst the political turmoil of German hyper-inflation<br />
and the occupation of the Ruhr. Mahler’s 1927 Frankfurt doctoral dissertation is<br />
dedicated to Dr Josef Junker.<br />
Siegel had moved to the University of Frankfurt am Main and, following his suggestion,<br />
Mahler went to study there in 1923, at the age of 20. Frankfurt was then
Kurt Mahler <strong>1903</strong>–<strong>1988</strong> 3<br />
avery stimulating place for study with Dehn, Hellinger, Epstein, Szass and Siegel<br />
making up the Mathematics Faculty (see Siegel’s lecture (1964) on this period at<br />
Frankfurt). Mahler was an unusual freshman. In his first semester, he speaks of<br />
attending lectures on calculus by Siegel, topology by Dehn and elliptic functions by<br />
Hellinger, a seminar on cyclotomy (in which he gave several lectures), and a seminar<br />
on the history of mathematics. Mahler was clearly greatly influenced during this<br />
period by Siegel, who was the only person whom he recognized as his teacher in<br />
mathematical research. In the summer of 1925, when Siegel left for a period of leave<br />
overseas, Mahler moved to Göttingen, where he remained until 1933. Göttingen<br />
was then still the world’s leading mathematical centre, but was going through a<br />
period of change because the great era of Hilbert and Klein was almost at an end.<br />
Landau seems to have been kind to Mahler, but took little active interest in his<br />
work. From Emmy Noether’s lectures, he learnt of p-adic numbers, whose study<br />
grew to be one of the main themes of his mathematical research. (A few years later,<br />
Mahler proudly reports lecturing on his own work on p-adic numbers at Marburg<br />
to Hensel). Perhaps most importantly, in Göttingen Mahler met a galaxy of young<br />
mathematicians from Europe and the United States, many of whom became leading<br />
figures in later years. These included Alexandroff, Hopf, Koksma, Mordell, Popken,<br />
van der Waerden, Weil and Wiener. In 1927, Mahler submitted his doctoral dissertation,<br />
on the zeroes of the incomplete gamma function, to Frankfurt (he reports<br />
that Ostrowski was not very impressed with the dissertation, and advised him ‘to<br />
do less easy mathematics’.)<br />
For most of his time at Göttingen, Mahler was wholly supported in his studies<br />
by his parents and other members of the Jewish community in Krefeld. However,<br />
shortly before he was 30, he was awarded a two-year research fellowship by the<br />
Notgemeinschaft der Deutschen Wissenschaft, and records that he was even able<br />
to save some of the stipend. In the Göttingen years, all the main themes of his<br />
later research, with the exception of the geometry of numbers, appeared in his<br />
papers (which are the first twenty or so papers in his list of publications). Mahler<br />
invented a new transcendence method, he discovered his celebrated classification of<br />
transcendental numbers, extended the ideas of Hermite’s original work in his studies<br />
of the approximation properties of e, pioneered diophantine approximation in padic<br />
fields, and applied his results on p-adic diophantine approximation to prove his<br />
well known generalization of Siegel’s theorem on integer points on curves of genus<br />
1. Mahler undoubtedly realized that his method could be extended to curves of<br />
genus greater than 1, but it was typical of his outlook that he did not have the<br />
patience to work through his generalization of Siegel’s method. Mahler mentions<br />
that his idea of extending the Thue-Siegel theorem to p-adic algebraic numbers<br />
came to him on a small island in the North Sea during the Whitsun holidays of<br />
1930, when bad weather had forced him to stay inside!<br />
Mahler had been appointed to his first post, an assistantship in the University of<br />
Königsberg, but had not yet taken it up, when Hitler came to power in 1933. He<br />
seems to have realized immediately that he must leave Germany. In the summer<br />
of 1933, Mahler spent six weeks in Amsterdam with van der Corput and his two<br />
pupils Koksma and Popken, whom Mahler had met in Göttingen; they were to<br />
remain his lifelong friends. Mahler moved to Manchester for the academic year
4 John Coates and Alf van der Poorten<br />
1933-34, where Mordell had secured him a small research fellowship called the<br />
Bishop Harvey Goodwin Fellowship. Mahler often spoke in later years of Mordell’s<br />
kindness to him on this and many subsequent occasions, including in helping him<br />
to learn English. It seems that the first English lesson Mahler had in Manchester<br />
consisted of being put in front of a blackboard immediately on his arrival and told<br />
to give a seminar! The next two academic years were spent in Groningen in the<br />
Netherlands, supported by a stipend obtained by van der Corput from a Dutch<br />
Jewish group. Here a new theme, the geometry of numbers, began to emerge in<br />
Mahler’s work.<br />
In 1936, he was run into by a bicycle in Groningen, and this accident reactivated<br />
the tuberculosis in his right knee. He was unable to walk for some time and had to<br />
return to Krefeld, where he had several operations culminating in the removal of the<br />
kneecap. These operations together with two three-month periods in a sanatorium<br />
at Montana, Valis, Switzerland during the summers of 1937 and 1938, finally cured<br />
the tuberculosis, but he was left with a permanent limp. Mahler speaks of having<br />
to take morphine to lessen the pain after his last operation, and being relieved to<br />
find that he could still do mathematical research when he proved that the decimal<br />
expansion 0.123456789101112 ... is a transcendental number. (In later years,<br />
Mahler often stated the view that twentieth century mathematicians had greatly<br />
neglected the study of the arithmetic properties of decimal expansions.) Needless<br />
to say, there were other difficulties during these years, which Mahler rarely talked<br />
about and certainly did not record in his own written memories. In one incident<br />
(which one of us learnt of from Popken, and which Mahler subsequently confirmed<br />
in conversation), Mahler was refused entry at the Dutch border and was about to<br />
be sent back to Nazi Germany. Fortunately, Koksma had a colleague at the Free<br />
University of Amsterdam, G. H. A. Grosheide, who was related to a senior member<br />
of the Dutch government. An urgent intercession was made on Mahler’s behalf via<br />
this channel, and he was finally allowed to enter the Netherlands.<br />
In 1937, Mahler returned to Manchester. He thoroughly enjoyed the lively intellectual<br />
atmosphere in number theory that Mordell had fostered in the Department.<br />
While his own research flourished, the practical side of life could not always have<br />
been easy for him. In the period 1937–41, he had two short appointments as a<br />
temporary assistant lecturer and a little support from fellowship stipends, but for<br />
over two of these years he lived on his own savings. In 1939, he had planned to take<br />
up an appointment at the University of Szechuan in China, where his friend Chao<br />
Ko was teaching, but he was forced to abandon the idea because of the outbreak of<br />
war. However, Mahler had begun to learn Chinese and that study was to remain<br />
an important interest and hobby. In 1940, he was interned for three months as an<br />
‘enemy alien’, first in a tent city near the Welsh border and then in boarding houses<br />
on the Isle of Man. Here he lectured to the other internees on the construction of<br />
the real numbers by means of Cauchy sequences of rational numbers, as part of a<br />
university set up in the internment camp. Mahler records that he later found the<br />
same material very suitable for the beginning of first year honours courses in analysis<br />
at Manchester. While interned, he was awarded a ScD degree by the University<br />
of Manchester.<br />
In 1941, Mahler was appointed to the Assistant Lectureship at Manchester, which
Kurt Mahler <strong>1903</strong>–<strong>1988</strong> 5<br />
Davenport had vacated when he moved to take a chair at Bangor. In the next few<br />
years, Mahler developed a geometry of numbers of general sets in n-dimensional<br />
space, including his celebrated compactness theorem. His future was now assured.<br />
He was promoted to Lecturer (1944), Senior Lecturer (1947) and Reader (1949),<br />
and in 1952 the first personal chair in the history of the University was created for<br />
him. He became a British subject in 1946 and was elected a Fellow of the Royal<br />
Society in 1948. He made his first visit to the United States in 1949, spending most<br />
of the time at the Institute for Advanced Study in Princeton. At Christmas 1949,<br />
he contracted diphtheria and had another severe bout of illness for three months,<br />
but recovered in time to spend the summer lecturing in Colorado, and taking part<br />
in the International Congress of Mathematicians at Harvard University.<br />
At Manchester, he lived from 1938 until 1958 at Donner House, a hostel where<br />
some 25-30 single staff lived in bedsitting rooms and dined communally. When the<br />
hostel was pulled down to make way for more extensive student dormitories, Mahler<br />
bought a small house in suburban Manchester, and lived there until his departure for<br />
Canberra. However, in later life he complained that he found the burden of looking<br />
after his own house rather onerous, and one senses that the fact that he could live<br />
at University House (a collegiate institution for postgraduate students and research<br />
workers in the Institute of Advanced Studies of the Australian National University)<br />
was one of the factors which made him decide to move to Canberra in 1963. Of<br />
course, there were many other reasons for this move. Most of the mathematicians<br />
he had known at Manchester had moved on to positions around the world, and he<br />
was clearly feeling a little isolated there.<br />
In the early 1960s, B. H. Neumann, a colleague of Mahler at Manchester, was<br />
invited to set up a new Department of Mathematics in the purely research side of<br />
the Australian National University, the Institute of Advanced Studies. Mahler was<br />
one of the first of many visitors whom Bernhard Neumann quickly invited. There is<br />
no doubt that Mahler immediately liked the warm and stimulating atmosphere in<br />
the new department, as well as the beautiful climate of Canberra and the delightful<br />
setting of the ANU campus on the edge of what was then a large country town.<br />
Mahler himself says he was very happy to accept the offer of a research professorship,<br />
which he took up in September 1963. The position gave him great freedom to travel<br />
and to pursue his own research, both of which he did with energy and enthusiasm.<br />
However, Mahler was also very concerned with sowing the seeds of his own mathematical<br />
knowledge in his new country. As in his own mathematical research, he<br />
instinctively felt that the best way to do this was to go back to first principles, and<br />
to begin by teaching beginners in the subject. The ANU had begun to award undergraduate<br />
degrees only a few years before Mahler arrived, and Hannah Neumann<br />
was appointed to head the new Department of Mathematics in the teaching side of<br />
the University (the School of General Studies) at about the same time that Mahler<br />
took up his chair. Between them, they arranged for Mahler to give two courses<br />
to the small number of undergraduates reading mathematics, one in 1963 on elementary<br />
number theory, and the second in 1964 on the elliptic modular function<br />
j(z). One of us had the good fortune to attend these courses. Mahler started and<br />
finished each lecture with extraordinary punctuality; in between, the audience was<br />
given a rare insight into his understanding of and enthusiasm for the material of
6 John Coates and Alf van der Poorten<br />
the lecture. As he spoke, he would produce a beautiful written exposition on the<br />
blackboard of the key points, which were neatly placed in order in his characteristic<br />
rectangular boxes. Although he seemed at first so different and forbidding, we soon<br />
discovered that he was very willing to talk about his knowledge of mathematics in<br />
general, and to lend us his own mathematical books when we could not find them in<br />
the library. Mahler gave lectures at various summer schools in Canberra and elsewhere<br />
around Australia, as well as a number of advanced courses on transcendental<br />
number theory in the Institute of Advanced Studies. In the end the fascination of<br />
what he was doing beguiled us both into research in number theory, and we made<br />
our first steps in mathematical research on problems suggested by him.<br />
In 1968, Mahler reached the statutory retiring age for professors, and was forced<br />
to retire from the ANU. He then moved to a chair at the Ohio State University<br />
in Columbus, Ohio, where the chairman was an old friend, Arnold Ross (whose<br />
summer schools for gifted high school students have attracted many young people<br />
into mathematical research in Australia, the USA and Germany). In 1972, Mahler<br />
returned to Canberra for his ‘final retirement’, living once more in University House.<br />
But his mathematical activity never abated, as is shown by the publication of<br />
some forty papers from 1972 until his death. He left the bulk of his estate to the<br />
Australian Mathematical Society, which has already used part of it to establish a<br />
lectureship in his memory.<br />
Kurt Mahler never married. Indeed, he affirms in notes left with the Royal Society<br />
that on his part that was a deliberate decision made on grounds of his poor health.<br />
In the event, he outlived his contemporaries. That was of course a source of sadness<br />
for him, but also one of wry pride.<br />
Mahler was an excellent photographer; many of his pictures adorn University House<br />
at the ANU where he lived for more than twenty years. He remained fascinated<br />
by Chinese and was exceptionally proud of having written the paper [96]. His<br />
non-mathematical reading comprised mostly science fiction and history.<br />
Mahler received many distinctions during his lifetime. He was elected a Fellow of<br />
the Australian Academy of Science in 1965 and received its Lyle Medal in 1977.<br />
The London Mathematical Society awarded him its Senior Berwick Prize in 1950,<br />
and its De Morgan medal in 1971. In November 1977, he received a diploma at<br />
aspecial ceremony in Frankfurt to mark the golden jubilee of his doctorate. Het<br />
Wiskundig Genootschap (the Dutch Mathematical Society) made him an honorary<br />
member in 1957, as did the Australian Mathematical Society in 1986.<br />
In a letter to one of us dated 24 February <strong>1988</strong> — received after hearing of his<br />
death — Kurt Mahler sets the following problem:<br />
Let f(x) be apolynomial in x with integral coefficients which is positive<br />
for positive x. Study the integers x for which the representation of f(x)<br />
to the base g ≥ 3 has only digits 0 and 1.<br />
Concerning his life’s work he also happened to write, in that letter: ‘When my old<br />
papers first appeared, they produced little interest in the mathematical world, and<br />
it was only in recent times that they have been rediscovered and found useful ... ’.<br />
That grossly underrates the impact of his work in the past, but correctly notices<br />
the richness of even his minor remarks.
Kurt Mahler <strong>1903</strong>–<strong>1988</strong> 7<br />
Mathematical Work<br />
There are a number of interlinked themes that run through Mahler’s work. The<br />
primary one, and in any case the one on which we are best able to comment and<br />
therefore will concentrate, is diophantine approximation and transcendence theory.<br />
We recall Mahler saying disappointedly that he had never proved a ‘major result’,<br />
that his main contribution had been to prove mere lemmas. In that sense his ‘near<br />
proof’ [169] of the transcendence of Euler’s constant γ must have been a major<br />
disappointment. Yet even there he proves such results as the transcendence of<br />
πY0(2)<br />
2J0(2)<br />
− γ ;<br />
γ does not separate from the Bessel functions because of a nonlinear algebraic<br />
relation relating the Bessel functions appearing in the auxiliary function featuring<br />
in the proof.<br />
The future will tell which of his papers have been the most inappropriately neglected.<br />
On a number of occasions Mahler mentioned his paper [43] (and [152]) on<br />
periodic algorithms as well warranting further study. He was disappointed by the<br />
apparent lack of response to his paper [157] on ideal bases.<br />
Mahler’s Method. Of course Mahler introduced entire new subjects. Chronologically,<br />
the first is ‘Mahler’s method’, so named by Loxton and van der Poorten (1977)<br />
which is introduced in Mahler’s papers [4,7,8] but was then long-neglected, except<br />
for Mahler’s foray into Chinese [96] and its translation [115], until revived by him<br />
in [170]. The method yields transcendence and algebraic independence results for<br />
the values at algebraic points of ‘Mahler functions’, to wit power series f satisfying<br />
functional equations with simplest example the so-called Fredholm series<br />
f(z) =<br />
∞<br />
z 2h<br />
with f(z 2 )=f(z) − z.<br />
h=0<br />
Multivariable examples include the remarkable series<br />
Fω(z1,z2) =<br />
∞<br />
<br />
h1=1 1≤h2≤h1ω<br />
which satisfy a chain of functional equations<br />
Fωk (zak<br />
1 z2,z1) =−Fωk−1 (z1,z2)+<br />
z h1<br />
1 zh2 2<br />
z ak+1<br />
1 z2<br />
(1 − z ak<br />
1 z2)(1 − z1) ;<br />
here 0
8 John Coates and Alf van der Poorten<br />
When ω is a quadratic irrational the periodicity of the continued fraction expansion<br />
allows one to compact the chain of functional equations to a single functional<br />
equation, yielding the celebrated result that<br />
∞<br />
⌊hα⌋z h<br />
h=1<br />
is transcendental for all quadratic irrational α and algebraic z satisfying 0
Kurt Mahler <strong>1903</strong>–<strong>1988</strong> 9<br />
transcendence theory, that of LeVeque, has a chapter which is essentially a translation<br />
of [11]). Mahler achieves that by returning to and generalizing the formulae<br />
that allowed Hermite to prove the transcendence of e and π and in effect gives<br />
avery explicit example applying the transcendence method developed by Siegel.<br />
The Padé approximations of [10] foreshadow present important work on effective<br />
approximation of algebraic numbers.<br />
The underlying principle [168] is the following: Let f1,...,fm be power series linearly<br />
independent over C(z). Then for every choice of ρ1,...,ρm non-negative integers<br />
with sum σ , there are (by elementary linear algebra) polynomials a1,...,am ,<br />
not all zero, of respective degrees not exceeding ρ1 −1,...,ρm−1 sothat the linear<br />
form<br />
a1(z)f1(z)+a2(z)f2(z)+···+ am(z)fm(z)<br />
has a zero of order σ − 1atz =0. Ifα1,...,αm are distinct complex numbers<br />
then<br />
a1(z)e α1z + a2(z)e α2z ···+ am(z)e αmz<br />
has a zero of order at most σ − 1atz =0.InMahler’s felicitous terminology [168]<br />
the vector e α1z ,e α2z ,... ,e αmz is a perfect system of functions. It is now a relatively<br />
easy matter to construct m linearly independent polynomial ‘approximations’ to<br />
the vector. Eventually, Shidlovskii showed — this is the essence of the celebrated<br />
Shidlovskii’s lemma — that if f1,...,fm are the solutions of a linear differential<br />
equation with rational function coefficients then there is a defect δ = δ(f), independent<br />
of the ρi ,sothat in any case the order of the zero at z =0 of the linear<br />
form does not exceed σ − 1+δ . Mahler’s paper [168], though written in Groningen<br />
in the mid-1930s, was not published until 1968. In the meantime, his handwritten<br />
manuscript had been the basis of work by Jager in Amsterdam, of the honours<br />
essay of Coates and an important part of van der Poorten’s doctoral thesis; see also<br />
Baker (1966). Other instances of exact constructions include [119] and [164].<br />
Mahler’s celebrated inequality: for integers p, q>0<br />
|π − p/q| >q −42<br />
is proved in [119]. The index 42 was subsequently decreased by various authors<br />
employing minor refinements of the method employed by Mahler. It was a real<br />
surprise when Apéry showed by an elementary method that<br />
see van der Poorten’s story (1979).<br />
|π 2 − p/q| >q −11.851... ;<br />
Geometry of numbers. The term ‘Geometry of Numbers’ was first used by Minkowski<br />
to describe arguments based on considerations of packing and covering. In simple<br />
situations this leads to striking proofs, but it required Mahler’s compactness theorem<br />
of 1946 to systematize and simplify the intuitive considerations of the subject.<br />
The theorem states that the set of lattices in n-dimensional space satisfying<br />
some clearly necessary conditions is compact with respect to a natural topology.<br />
Mahler explores the consequences of his compactness theorem in [82,83,84,87,88].
10 John Coates and Alf van der Poorten<br />
The geometry of numbers of some nonconvex bodies had already been considered<br />
by Davenport, Mordell and others but Mahler gives a systematic general theory,<br />
especially for star bodies. In particular Mahler makes a special study of the consequences<br />
of the existence of an infinite group of automorphisms of a star body. A<br />
recent important result in which Mahler’s compactness theorem plays an essential<br />
role is that of Margulis (1987).<br />
Chabauty (1950) provides a treatment of Mahler’s compactness theorem which is<br />
independent of successive minima and which generalizes to certain algebraic groups;<br />
see also Mumford (1971).<br />
In [79] Mahler proved, independently and almost simultaneously with Hlawka, a<br />
form of the Minkowski-Hlawka theorem. In [1<strong>26</strong>,127,128,129] Mahler introduces the<br />
notion of the p-th compound of a convex body. Any choice of p points from the<br />
body determines a point of the appropriate grassmannian. The p-th compound is<br />
the convex closure. At first this was considered a useless, if interesting, abstraction.<br />
It turned out to be a vital tool in the generalization by Schmidt (1970) of Roth’s<br />
theorem. The special case of polar convex bodies [57] serves for the case n =3 of<br />
Schmidt’s theorem and is applied by Davenport to his study of indefinite quadratic<br />
forms; see also Schmidt (1977).<br />
Mahler’s work [44,53,56] and particularly [57] on Khintchine’s transference theorems<br />
systematizes the observed relationships and shows their natural setting to be convex<br />
bodies, their distance functions and their duals.<br />
Minkowski developed his theory of the reduction of definite quadratic forms in the<br />
context of the geometry of numbers. It seems likely that [55] led Mahler to his work<br />
on transference theorems and also to his compactness theorem. Minkowski had<br />
shown that given a reduced quadratic form aijxixj in n variables and of determinant<br />
D there is a constant λn depending only on n such that λna11 ···ann ≤ D .<br />
Bieberbach and Schur (1928) gave the first weak estimate; it was improved by Remak<br />
(1938) in a difficult paper. In [55] Mahler gives an estimate which applies<br />
to all convex distance-functions. The best possible value of λ3 already appears in<br />
Gauss. In [70] Mahler gives an alternative derivation and in [92] he obtains the best<br />
possible λ4 . The discussion by van der Waerden (1956) shows in particular that<br />
Remak’s estimate for λn can be obtained by a modification of Mahler’s argument.<br />
For more on the matters of this section see the books by Cassels (1959), Rogers<br />
(1964) and Gruber and Lekkerkerker (1987).<br />
Polynomials. Several of Mahler’s papers (for example [143,144,148,150,153,154,156])<br />
are concerned with measures for the size of a polynomial<br />
f(x) =a0X n + ···+ an = a0(X − α1) ···(X − αn)<br />
and thence with measures for the numbers αi defined by f .Aprimary concern is<br />
the study of inequalities, important in transcendence theory, between such quanti-<br />
ties as the classical height<br />
the length of f<br />
max |aj| ,<br />
j<br />
L(f) =|a0| + ···+ |an| ,
Kurt Mahler <strong>1903</strong>–<strong>1988</strong> 11<br />
and the size (spoken of as their ‘house’ by Mahler) of its zeros<br />
α = max |αi| .<br />
i<br />
To that end Mahler introduces [143] the measure, now known as Mahler’s measure,<br />
M(f) =|a0| <br />
1<br />
max(1, |αi|) =exp log |f(e<br />
0<br />
2πit )| dt .<br />
i<br />
One has, congenially,<br />
M(fg)=M(f) M(g) .<br />
Nowadays, if f ∈ Z[X] is irreducible (and a0,...,an are relatively prime) one<br />
defines the absolute logarithmic height h(α) =log H(α) ofazero α of f by<br />
(deg f) h(α) =log M(f) = <br />
max(0, log |α|v) ,<br />
where v runs over the appropriately normalised absolute values of the number<br />
field Q(α). This definition is efficient inter alia because it provides an equitable<br />
treatment of all absolute values, quite eliminating the mystique once possessed<br />
by p-adic generalizations of classical diophantine results. It is a measure of the<br />
conservatism of transcendence theory that the absolute height is still not in universal<br />
use.<br />
Mahler’s measure probably first appears in work of Landau (1905). It is central<br />
to Lehmer’s celebrated question : Suppose f(X) ∈ Z[X]. Then, by a theorem<br />
of Kronecker, M(f) =1if and only if f is a cyclotomic polynomial. Is M(f)<br />
uniformly bounded away from 1 if f is not cyclotomic? The best result known is<br />
Dobrowolski’s inequality<br />
log M(f) ≫<br />
v<br />
log log deg f<br />
log deg f<br />
David Boyd’s work, see for example his survey (1981), is a major contribution<br />
towards this important problem.<br />
p-Adic numbers and p-adic Diophantine Approximation. The p-adic numbers had<br />
been introduced by Hensel at the beginning of the century and Hasse had made<br />
vital use of them in his study of quadratic forms in the early ’twenties. Mahler’s<br />
work helped p-adic numbers to become part of the general mathematical culture.<br />
Amongst Mahler’s lasting contributions is his characterization [139] of continuous<br />
functions f on Zp as sums<br />
<br />
<br />
x<br />
an with an → 0 .<br />
n<br />
This has become part of the general mathematical culture and plays a fundamental<br />
role in the theory of p-adic L-functions and Iwasawa theory; as an example see<br />
Iwasawa (1972).<br />
3<br />
.
12 John Coates and Alf van der Poorten<br />
Suppose<br />
f(X, Y )=a0X n +a1X n−1 Y +···+an−1XY n−1 +anY n = a0(X−α1Y ) ···(X−αnY )<br />
is a binary form of degree n ≥ 3 defined over Z and irreducible in Z[X, Y ]. Then<br />
the diophantine equation f(X, Y )=m, m some given integer, has only finitely<br />
many solutions (X, Y ) ∈ Z 2 . This is essentially because a solution entails that<br />
some factor X − αY is small:<br />
|X − αY |≪f |m|/Y n−1 ,<br />
and that is impossible for infinitely many Y by Thue’s theorem on the approximation<br />
of algebraic numbers by rationals.<br />
Mahler’s p-adic generalization (in fact of Siegel’s sharpening of Thue’s result) allows<br />
one to replace the given m by an integer composed from the primes of some given<br />
finite set S ; alternatively X , Y may be S -integers: they are allowed denominators<br />
whose factors come from S . This entails results on the greatest prime factor of<br />
integers represented by binary forms [17,20]; or that there are only finitely many<br />
S -integral points on a curve of genus 1 [21]. One refers to the generalized equation<br />
as the Thue-Mahler equation. Indeed, generally, the suffix ‘-Mahler’ signals the<br />
generalization of a diophantine problem to one in S -integers. In the present spirit,<br />
Mahler and Lewis [147] provide bounds for the number of solutions (X, Y ) ∈ Z2 of f(X, Y )=m as m varies in terms of the number of prime factors of m. This<br />
problem has been studied more recently by Bombieri and Schmidt (1987).<br />
In an interesting application, Mahler [135] employs a 2-adic argument to obtain a<br />
lower bound for the fractional part of (3/2) k —aresult settling the value of g(k)<br />
in Waring’s problem. However, Mahler’s solution is ineffective in k . More recent<br />
effective arguments, using p-adic versions of Baker’s inequalities, are too weak to<br />
apply to Waring’s problem.<br />
Mahler initiated the now burgeoning study of transcendence properties of p-adic<br />
analytic functions with his paper [14] on the p-adic exponential function and his<br />
proof [30] of the p-adic analogue of the Gelfond-Schneider theorem on the transcendence<br />
of αβ for algebraic α = 0, 1 and irrational algebraic β .<br />
In 1933 Skolem deduced results about the number of solutions of certain diophantine<br />
problems from a new kind of series expansion. Mahler concluded that in essence<br />
the method was p-adic and applied similar techniques to prove the beautiful result<br />
[25,31] that the zero Taylor coefficients of a rational function defined over an algebraic<br />
number field occur periodically (from some point on). Eventually Lech and<br />
independently Mahler [131,131a] generalized the result to arbitrary fields of definition<br />
of characteristic zero. Cassels (1976) gives an elegant simplified treatment. For<br />
results placing the Lech-Mahler theorem in context, see van der Poorten’s survey<br />
(1989).<br />
In [139,145] Mahler proves a criterion for a function defined on the positive integers<br />
to have an interpolation continuing it to a continuous function on the p-adic integers.<br />
This result is basic for the modern theory of p-adic L-functions. Mahler’s
Kurt Mahler <strong>1903</strong>–<strong>1988</strong> 13<br />
book (an extended second edition of [184]) studies the elementary analysis of p-adic<br />
functions defined in this way.<br />
The paper [17] includes a proof that if S0 , S1 , S2 are disjoint nonempty finite sets<br />
of rational primes then an equation<br />
z0 + z1 + z2 =0,<br />
where zi is only divisible by primes in Si , has only finitely many solutions in integers<br />
z0,z1,z2 . This is the genesis of the important and presently fashionable study<br />
of S -unit equations initiated by remarks of van der Poorten and Schlickewei, and<br />
of Evertse. Dubois and Rhin, and Schlickewei had applied p-adic generalizations of<br />
Schmidt’s subspace theorem to extend Mahler’s result to general S -unit equations<br />
z0 + z1 + ···+ zn =0,<br />
settling a conjecture of Mahler. The more recent results eliminate the requirement<br />
that the sets of primes be pairwise disjoint by asking for primitive solutions (in an<br />
appropriate sense) of the S -unit equation. There are numerous applications; see<br />
the survey of Evertse, Győry, Stewart and Tijdeman.<br />
Mahler regarded p-adic numbers as a special case of g -adic numbers defined by<br />
a pseudo-valuation [34,37,38,39]. Here g is any positive integer and, it turns out,<br />
the g -adic completion is the product of the p-adic completions over the primes p<br />
dividing g .<br />
Decimal expansions. Mahler regretted that, apart from his own work, little interest<br />
had been shown by twentieth century mathematicians in the study of arithmetic<br />
properties of decimal expansions. Reaction to his papers [191, 203, 207] is beginning<br />
to repair that neglect. It appears that Mahler was the first to conjecture that<br />
an irrational algebraic number has a normal decimal expansion. Other than for<br />
experimental support little is as yet known on this beyond the result of Loxton<br />
and van der Poorten op cit to the effect that such expansions are at any rate not<br />
generated by a finite automaton.<br />
Unexpectedly, perhaps, Mahler’s p-adic generalization of the Thue-Siegel theorem<br />
allowed him to prove the following amusing but striking result [46]: Suppose f is<br />
a non-constant polynomial taking integer values at the nonnegative integers. Then<br />
the concatenated decimal<br />
φ =0.f(1)f(2)f(3) ...<br />
is transcendental. In particular Champerknowne’s normal number<br />
0.12345678910111213 ...<br />
is transcendental. Mahler’s argument relies on the observation that one readily<br />
obtains rational approximations to φ with denominators high powers of the base<br />
10, thus composed of the primes 2 and 5 alone. Perhaps disappointingly, Roth’s<br />
definitive form of the Thue-Siegel inequalities permits a more immediate argument<br />
obviating the need for an appeal to the p-adic results.<br />
In his ‘post-retirement’ years Mahler made extensive use of his TI-calculator to<br />
study digital patterns [218,221]. His desk was covered with detailed such calculations<br />
at the time of his death.
Kurt Mahler<br />
Bibliography<br />
(1) 1927 On the translation properties of a simple class of arithmetical functions (part two<br />
of: Norbert Wiener, The spectrum of an array and its application to the study<br />
of the translation properties of a simple class of arithmetical functions). J. Math.<br />
and Physics 6, 158–163 [Reprinted in Publ. MIT Ser. II 62 No. 118 (1927)]<br />
(2) Über die Nullstellen der unvollständigen Gammafunktionen. Dissertation Frankfurt.<br />
= Rendiconti del Circolo Matematico di Palermo 54 (1930), 1–41 [Note<br />
“Lebenslauf” at end of thesis.]<br />
(3) 1928 Über einen Satz von Mellin. Math. Ann. 100, 384–398<br />
(4) 1929 Arithmetische Eigenschaften der Lösungen einer Klasse von Funktionalgleichungen.<br />
Math. Ann. 101, 342–366 [Plus “Berichtigung”, Math. Ann. 103]<br />
(5) Über die Nullstellen der Abschnitte der hypergeometrischen Reihe. Math. Ann.<br />
101, 367–374<br />
(6) Zur Fortsetzbarkeit gewisser Dirichletscher Reihen. Math. Ann. 102, 30–48<br />
(7) 1930 Über das Verschwinden von Potenzreihen mehrerer Veränderlichen in speziellen<br />
Punktfolgen. Math. Ann. 103, 573–587<br />
(8) Arithmetische Eigenschaften einer Klasse transzendental-transzendente Funktionen.<br />
Math. Z. 32, 545–585<br />
(9) Über Beziehungen zwischen der Zahl e und Liouvilleschen Zahlen. Math. Z. 31,<br />
729–732<br />
(10) 1931 Ein Beweis des Thue-Siegelschen Satzes über die Approximation algebraischer<br />
Zahlen für binomische Gleichungen. Math. Ann. 105, <strong>26</strong>7–276<br />
(11) Zur Approximation der Exponentialfunktion und des Logarithmus. Teil I. J. für<br />
Math. 166, 118–136<br />
(12) 1932 Über das Maß der Menge aller S -Zahlen. Math. Ann. 106, 131–139<br />
(13) Zur Approximation der Exponentialfunktion und des Logarithmus. Teil II. J. für<br />
Math. 166, 137–150<br />
(14) Ein Beweis der Transzendenz der P -adischen Exponentialfunktion. J. für Math.<br />
169, 61–66<br />
(15) Einige Sätze über Diophantische Approximationen. Jahresbericht d. Deutschen<br />
Math. Verein. 41, 74–76<br />
(16) Über die Darstellung von Zahlen durch Binärformen höheren Grades, Kongressbericht,<br />
Zürich, 1932. 2pp<br />
(17) 1933 Zur Approximation algebraischer Zahlen. I ( Über den grössten Primteiler binärer<br />
Formen). Math. Ann. 107, 691–730<br />
(18) Zur Approximation algebraischer Zahlen II ( Über die Anzahl der Darstellungen<br />
ganzer Zahlen durch Binärformen). Math. Ann. 108, 37–55<br />
(19) Zur Approximation algebraischer Zahlen III ( Über die mittlere Anzahl der Darstellungen<br />
grosser Zahlen durch binäre Formen). Acta Math. 62, 91–166
– 15 –<br />
(20) 1933 Über den grössten Primteiler der Polynome X2 ∓1.Archiv Math. og. Naturv. 41,<br />
1–8<br />
(21) Über die rationalen Punkte auf Kurven vom Geschlecht Eins. J. für Math. 170,<br />
168–178<br />
(22) 1934 Zur Approximation P -adischer Irrationalzahlen. Nieuw Arch. Wisk. 18, 22–34<br />
(23) Über die Darstellungen einer Zahl als Summe von drei Biquadraten. Mathematica<br />
(Zutphen) 3, 69–72<br />
(24) Über Diophantische Approximationen in Gebiete der p-adische Zahlen. Jahresbericht<br />
d. Deutschen Math. Verein. 44, 250–255<br />
(25) Eine arithmetische Eigenschaft der recurrierenden Reihen. Mathematica (Zutphen)<br />
3, 153–156<br />
(<strong>26</strong>) 1935 On Hecke’s theorem on the real zeros of the L-functions and the class number of<br />
quadratic fields. J. London Math. Soc. 9, 298–302<br />
(27) Über eine Klasseneinteilung der P -adischen Zahlen. Mathematica (Zutphen) 3B,<br />
177–185<br />
(28) On the lattice points on curves of genus 1. Proc. London Math. Soc. 39, 431–466<br />
(29) On the division-values of Weierstrass’s ℘-function. Quart. J. Math. Oxford<br />
74–77<br />
6,<br />
(30) Über transzendente P -adische Zahlen. Compositio Math. 2, 259–275; A Correction,<br />
ibid. (1948), 2pp<br />
(31) Eine arithmetische Eigenschsaft der Taylor-Koeffizienten rationaler Funktionen.<br />
Proc. Kon. Nederlandsche Akad. v. Wetenschappen 38, 50–60<br />
(32) Über den grössten Primteiler spezieller Polynome zweiten Grades. Archiv Math.<br />
og. Naturv. 41, Nr 6, 3–<strong>26</strong><br />
(33) (With J. Popken) Ein neues Prinzip für Transzendenzbeweise. Proc. Kon. Nederlandsche<br />
Akad. v. Wetenschappen 38, 864–871<br />
(34) Über Pseudobewertungen, I. Acta Math. 66, 79–119<br />
(35) 1936 Eine arithmetische Eigenschaft der kubischen Binärformen. Nieuw Arch. Wisk.<br />
18, 1–9<br />
(36) Ueber Polygone mit Um– oder Inkreis. Mathematica (Zutphen) 4A, 33–42<br />
(37) Über Pseudobewertungen II. Acta Math. 67, 51–80<br />
(38) Über Pseudobewertungen III. Acta Math. 67, 283–328<br />
(39) Über Pseudobewertungen Ia. Proc. Kon. Nederlandsche Akad. v. Wetenschappen<br />
39, 57–65<br />
(40) Note on Hypothesis K of Hardy and Littlewood. J. London Math. Soc. 11, 136–<br />
138<br />
(41) Ein Analog zu einem Schneiderschen Satz, I. Proc. Kon. Nederlandsche Akad. v.<br />
Wetenschappen 39, 633–640<br />
(42) Ein Analog zu einem Schneiderschen Satz, II. Proc. Kon. Nederlandsche Akad. v.<br />
Wetenschappen 39, 729–737
Kurt Mahler<br />
(42a) 1936 Pseudobewertungen. Proc. International Congress of Mathematicians, Oslo, 1936<br />
1p.<br />
(43) 1937 Über die Annäherung algebraischer Zahlen durch periodische Algorithmen. Acta<br />
Math. 68, 109–144<br />
(44) Neuer Beweis eines Satzes von A. Khintchine. Mat. Sb. I, 43, 961–963<br />
(45) Über die Dezimalbruchentwicklung gewisser Irrationalzahlen. Mathematica (Zutphen)<br />
B6, 22–<strong>26</strong><br />
(46) Arithmetische Eigenschaften einer Klasse von Dezimalbrüchen. Proc. Kon. Nederlandsche<br />
Akad. v. Wetenschappen 40, 421–428<br />
(47) 1938 (With P. Erdős) On the number of integers which can be represented by a<br />
(48)<br />
binary form. J. London Math. Soc. 13, 134–139<br />
On a special class of Diophantine equations, I. J. London Math. Soc. 13, 169–173<br />
(49) On a special class of Diophantine equations, II. J. London Math. Soc. 13, 173–<br />
177<br />
(50) Ein P -adisches Analogon zu einem Satz von Tchebycheff. Mathematica (Zutphen)<br />
B7, 2–6<br />
(51) On the fractional parts of the powers of a rational number. Acta Arith. 3, 89–93<br />
(52) Über einen Satz von Th. Schneider. Acta Arith. 3, 94–101<br />
(53) A theorem on inhomogenous Diophantine inequalities. Proc. Kon. Nederlandsche<br />
Akad. v. Wetenschappen 41, 634–637<br />
(54) Eine Bemerkung zum Beweis der Eulerschen Summenformel. Mathematica (Zutphen)<br />
B7, 33–42<br />
(55) On Minkowski’s theory of reduction of positive definite quadratic forms. Quart. J.<br />
Math. Oxford 9, 259–<strong>26</strong>2<br />
(56) 1939 Ein Übertragungsprinzip für lineare Ungleichungen. Math. Časopis 68, 85–92<br />
(57) Ein Übertragungsprinzip für konvexe Körper. Math. Časopis 68, 93–102<br />
(58) (With P. Erdős) Some arithmetical properties of the convergents of a continued<br />
fraction. J. London Math. Soc. 14, 12–18<br />
(59) Ein Minimalproblem für convexe Polygone. Mathematica (Zutphen) B7, 118–127<br />
(60) On a the solutions of algebraic differential equations. Proc. Kon. Nederlandsche<br />
Akad. v. Wetenschappen 42, 61–63<br />
(61) A proof of Hurwitz’s theorem. Mathematica (Zutphen) 8B, 57–61<br />
(62) Bemerkungen über die Diophantischen Eigenschaften der reellen Zahlen. Mathematica<br />
(Zutphen) 8B, 11–16<br />
(63) 1939 On the minimum of positive definite Hermitian forms. J. London Math. Soc. 14,<br />
137–143<br />
(64) 1940 On a geometrical representation of p-adic numbers. Ann. of Math. (2) 41, 8–56<br />
(65) On the product of two complex linear polynomials in two variables. J. London<br />
Math. Soc. 15, 213–236 [Mahler writes “This is an extension of an earlier paper
– 17 –<br />
which was accepted for publication by Acta Arith. in February 1939 of which I<br />
had just received the first proofs when war broke out”.]<br />
(66) 1940 Note on the sequence √ n (mod 1). Nieuw Arch. Wisk. 20, 176–178<br />
(67) (With G. Billing) On exceptional points on cubic curves. J. London Math. Soc.<br />
15, 32–43<br />
(68) On a special functional equation. J. London Math. Soc. 15, 115–123<br />
(69) Über Polynome mit ganzen rationalen Koeffizienten. Mathematica (Zutphen) 8B,<br />
173–182<br />
(70) On reduced positive definite ternary quadratic forms. J. London Math. Soc. 15,<br />
193–195<br />
(71) On a property of positive definite ternary quadratic forms. J. London Math. Soc.<br />
15, 305–320<br />
(72) 1941 An analogue to Minkowski’s Geometry of Numbers in a field of series. Ann. of<br />
Math. (2), 42, 488–522<br />
(73) 1942 On ideals in the Cayley-Dickson algebra. Proc. Royal Irish Academy 48, 123–133<br />
(74) Remarks on ternary Diophantine equations. Amer. Math. Monthly 49, 372–378<br />
(75) Note on lattice points in star domains. J. London Math. Soc. 17, 130–133<br />
(76) 1943 On lattice points in an infinite star domain. J. London Math. Soc. 18, 233–238<br />
(77) 1944 A problem of Diophantine approximation in quaternions. Proc. London Math.<br />
Soc.(2) 48, 435–466<br />
(78) (With B. Segre) On the densest packing of circles. Amer. Math. Monthly<br />
<strong>26</strong>1–270<br />
51,<br />
(79) On a theorem of Minkowski on lattice points in non-convex point sets. J. London<br />
Math. Soc. 19, 201–205<br />
(80) On lattice points in the domain |xy| ≤1, |x + y| ≤ √ 5, and applications to<br />
asymptotic formulae in lattice point theory, I. Proc. Cambridge Phil. Soc. 40,<br />
(81)<br />
107–116<br />
On lattice points in the domain |xy| ≤1, |x + y| ≤ √ 5, and applications to<br />
asymptotic formulae in lattice point theory, II. Proc. Cambridge Phil. Soc.<br />
116–120<br />
40,<br />
(82) 1945 A theorem of B. Segre. Duke Math. J. 12, 367–371<br />
(83) 1946 Lattice points in two-dimensional star domains, I. Proc. London Math. Soc.<br />
128–157<br />
49,<br />
(84) Lattice points in two-dimensional star domains, II. Proc. London Math. Soc. 49,<br />
158–167<br />
(85) Lattice points in two-dimensional star domains, III. Proc. London Math. Soc. 49,<br />
168–183<br />
(86) On lattice points in a cylinder. Quart. J. Math. Oxford 17, 16–18<br />
(87) On lattice points in n-dimensional star bodies, I, Existence theorems. Philos.<br />
Trans. Roy. Soc. London Ser. A 187, 151–187
Kurt Mahler<br />
(88) 1946 Lattice points in n-dimensional star bodies. II. Reducibility theorems. I, II, III,<br />
IV. Proc. Kon. Nederlandsche Akad. v. Wetenschappen 49, 331–343, 444–454,<br />
(89)<br />
524–532, 622–631 = Indag. Math. 8, 200–212, 299–309, 343–351, 381–390<br />
(With H. Davenport) Simultaneous Diophantine approximation. Duke Math. J.<br />
13, 105–111<br />
(90) Lattice points in n-dimensional star bodies. Rev. Univ. Nac. Tucumán, A<br />
113–124<br />
5,<br />
(91) The theorem of Minkowski-Hlawka. Duke Math. J. 13, 611–621<br />
(92) On reduced positive definite quarternary quadratic forms. Nieuw Arch. Wisk.<br />
207–212<br />
(93) 1947 A remark on the continued fractions of conjugate algebraic numbers. Simon Stevin<br />
25, 45–48<br />
(94) On irreducible convex domains. Proc. Kon. Nederlandsche Akad. v. Wetenschappen<br />
50, 98–107 = Indag. Math. 9, 73–82<br />
(95) On the area and the densest packing of convex domains. Proc. Kon. Nederlandsche<br />
Akad. v. Wetenschappen 50, 108–118 = Indag. Math. 9, 83–93<br />
(96) On the generating functions of integers with a missing digit [in Chinese]. K’o Hsüeh<br />
Science 29, <strong>26</strong>5–<strong>26</strong>7<br />
(97) On the adjoint of a reduced positive definite ternary quadratic form. Sci. Rec.<br />
Academia Sinica 2, 21–31<br />
(98) On the minimum determinant and the circumscribed hexagons of a convex domain.<br />
Proc. Kon. Nederlandsche Akad. v. Wetenschappen<br />
9, 3<strong>26</strong>–337<br />
50, 692–703= Indag. Math.<br />
(99) 1948 (With K.C. Hallum) On the minimum of a pair of positive definite Hermitean<br />
forms. Nieuw Arch. Wisk. 22, 324–354<br />
(100) On the admissible lattices of automorphic star bodies. Sci. Rec. Academia Sinica<br />
2, 146–148<br />
(101) On lattice points in polar reciprocal convex domains. Proc. Kon. Nederlandsche<br />
Akad. v. Wetenschappen 51, 176–179 = Indag. Math. 10, 482–485<br />
(102) Sui determinante minimi delle sezione di un corpo convesso. Atti Accad. Naz.<br />
Lincei Cl. Sci. Fis. Mat. Natur. (8) 5, 251–252<br />
(103) On the successive minima of a bounded star domain. Ann. Mat. Pura Appl. (4)<br />
27, 153–163<br />
(104) 1949 On the critical lattices of arbitrary point sets. Canad. J. Math. 1, 78–87<br />
(105) On the minimum determinant of a special point set. Proc. Kon. Nederlandsche<br />
Akad. v. Wetenschappen 52, 633–642 = Indag. Math. 11, 959–968<br />
(106) On a theorem of Liouville in fields of positive characteristic. Canad. J. Math. 1,<br />
397–400<br />
(107) On Dyson’s improvement of the Thue-Siegel theorem. Proc. Kon. Nederlandsche<br />
Akad. v. Wetenschappen 52, 449–458 = Indag. Math. 11, 1175–1184<br />
(108) (With W. Ledermann) On lattice points in a convex decagon. Acta Math. Acad.<br />
Sci. Hungar. 81, 319–351
– 19 –<br />
(109) 1949 On the continued fractions of quadratic and cubic irrationals. Ann. Mat. Pura<br />
Appl. (4) 30, 147–172<br />
(109a) A correction to “On the continued fractions of quadratic and cubic irrationals”.<br />
Compositio Math. 8, p112<br />
(110) On the arithmetic on algebraic curves, in Seminar on Algebra and Number Theory,<br />
Chicago. 28–32<br />
(111) On algebraic relations between two units of an algebraic field, in “Algèbre et théorie<br />
des nombres”. Colloques internationaux du CNRS, CNRS, Paris, 1950 24, 47–55<br />
(112) 1950 On a theorem of Dyson [in Russian]. Mat. Sb. <strong>26</strong>, 457–462<br />
(113) Geometry of numbers. [Lectures given at the University of Colorado in the<br />
(114) 1951<br />
summer of 1950 (mimeographed notes).]<br />
(With J.W.S. Cassels and W. Ledermann) Farey section in k(i) and k(ρ).<br />
Philos. Trans. Roy. Soc. London Ser. A 243, 585–6<strong>26</strong><br />
(114a) 1952 Farey section in the fields of Gauß and Eisenstein. Proc. International Congress<br />
Cambridge, Mass. 1950 1, 281–285<br />
(115) 1951 On the generating function of the integers with a missing digit. J. Indian Math.<br />
Soc. 15A, 34–40 [Translation of (96)]<br />
(116) On a question in elementary geometry. Simon Stevin 28, 90–97<br />
(117) 1953 On the lattice determinants of two particular point sets. J. London Math. Soc.<br />
28, 229–232<br />
(118) On the approximation of logarithms of algebraic numbers. Philos. Trans. Roy.<br />
Soc. London Ser. A 245, 371–398<br />
(119) On the approximation of π . Proc. Kon. Nederlandsche Akad. v. Wetenschappen<br />
Ser. A 56, 30–42 = Indag. Math. 15, 30–42<br />
(120) (With J. Popken) Over een Maximumprobleem uit de Rekenkunde. Nieuw Arch.<br />
Wisk. (3) 1, 1–15<br />
(121) On the greatest prime factor of ax m + by n . Nieuw Arch. Wisk. (3) 1, 113–122<br />
(122) (With P. M. Cohn) On the composition of pseudo-valuations. Nieuw Arch. Wisk.<br />
(3) 1, 161–198<br />
(123) 1954 A problem in elementary geometry. Math. Gaz. 37, 241–243<br />
(124) On a problem in the geometry of numbers. Rendi. Mat. Appl. (5) 14, 38–41<br />
(125) 1955 On a problem in Diophantine approximations. Archiv Math. og. Naturv. 6, 208–<br />
214<br />
(1<strong>26</strong>) On compound convex bodies, I. Proc. London Math. Soc. (3) 5, 358–379<br />
(127) On compound convex bodies, II. Proc. London Math. Soc. (3) 5, 380–384<br />
(128) The pth compound of a sphere. Proc. London Math. Soc. (3) 5, 385–391<br />
(129) On the minima of compound quadratic forms. Czech. Math. J. (5) 80, 180–193<br />
(130) A remark on Siegel’s theorem on algebraic curves. Mathematika 2, 116–127<br />
(131) 1956 On the Taylor coefficients of rational functions. Proc. Cambridge Phil. Soc. 52,<br />
39–48
Kurt Mahler<br />
(131a) 1957 Addendum to “On the Taylor coefficients of rational functions”. Proc. Cambridge<br />
Phil. Soc. 53, p544<br />
(132) 1956 Invariant matrices and the geometry of numbers. Proc. Roy. Soc. Edinburgh A<br />
64, 223–238<br />
(133) A property of the star domain |xy| ≤1. Mathematika 3, p80<br />
(134) 1957 Über die konvexen Körper, die sich einem Sternkörper einbeschrieben lassen. Math.<br />
Z. 66, 25–33<br />
(135) On the fractional parts of the powers of a rational number, II. Mathematika<br />
122–124<br />
4,<br />
(136) A matrix representation of the primitive residue classes<br />
Math. Soc. 8, 525–531<br />
(mod 2n). Proc. Amer.<br />
(137) 1958 A factorial series for the rational multiples of e. Math. Gaz. 42, 13–16<br />
(138) On the Chinese remainder theorem. Math. Nachr. 18, 120–122<br />
(139) An interpolation series for continuous functions of a p-adic variable. J. für Math.<br />
199, 23–34<br />
(140) 1959 An arithmetic property of groups of linear transformations. Acta Arith. 5, 197–<br />
203<br />
(141) On a theorem of Shidlovski, lectures given at the Math. Centrum, Amsterdam,<br />
December 1959.<br />
(142) 1960 On a theorem by E. Bombieri. Proc. Kon. Nederlandsche Akad. v. Wetenschappen<br />
Ser. A 63, 245–253 = Indag. Math. 22, 245–253<br />
(142a) On a theorem by E. Bombieri. Proc. Kon. Nederlandsche Akad. v. Wetenschappen<br />
Ser. A 64, 141= Indag. Math. 23, 141<br />
(143) An application of Jensen’s formula to polynomials. Mathematika 7, 98–100<br />
(144) 1961 On the zeros of the derivative of a polynomial. Philos. Trans. Proc. Roy. Soc.<br />
London Ser. A <strong>26</strong>4, 145–154<br />
(145) A correction the the paper “An interpolation series for continuous functions of a<br />
p-adic variable”, [Seq. No. 139]. J. für Math. 208, 70–72<br />
(146) 1961 Lectures on Diophantine Approximations I : g -adic Numbers and Roth’s Theorem,<br />
Lectures given at the University of Notre Dame in 1957, University of Notre Dame<br />
Press, Notre Dame, Indiana, 188 pages.<br />
(147) (With D.J. Lewis) On the representation of integers by binary forms. Acta Arith.<br />
6, 333–363<br />
(148) 1962 On some inequalities for polynomials in several variables. J. London Math. Soc.<br />
37, 341–344<br />
(149) Geometric number theory, Lectures given at the University of Notre Dame in 1962<br />
(bound mimeographed notes). 151 pp<br />
(150) 1963 On two extremum properties of polynomials. Illinois J. Math. 7, 681–701<br />
(151) On the approximation of algebraic numbers by algebraic integers. J. Austral. Math.<br />
Soc. 3, 408–434<br />
(152) 1964 Periodic algorithms for algebraic number fields (mimeographed lecture notes). 4th<br />
Summer Research Institute of the Austral. Math. Soc. University of Sydney, January<br />
1964 19pp
– 21 –<br />
(153) 1964 A remark on a paper of mine on polynomials. Illinois J. Math. 8, 1–4<br />
(154) An inequality for the discriminant of a polynomial. Michigan Math. J. 11, 257–<br />
<strong>26</strong>2<br />
(155) Transcendental numbers. J. Austral. Math. Soc. 4, 393–396<br />
(156) An inequality for a pair of polynomials that are relatively prime. J. Austral. Math.<br />
Soc. 4, 418–420<br />
(157) Inequalities for ideal bases in algebraic number fields. J. Austral. Math. Soc.<br />
425–448<br />
4,<br />
(158) 1965 (With G. Baumschlag) Equations in free metabelian groups. Michigan Math. J.<br />
12, 417–419<br />
(159) Arithmetic properties of lacunary power series with integral coefficients. J. Austral.<br />
Math. Soc. 5, 56–64<br />
(160) 1966 A remark on recursive sequences. J. Math. Sci. Delhi 1, 12–17<br />
(161) Transcendental numbers. Encyclopaedia Brittannica, 1 column<br />
(162) A remark on Kronecker’s theorem. Enseign Math. 12, 183–189<br />
(163) 1967 (With G. Szekeres) On the approximation of real numbers by roots of integers.<br />
Acta Arith. 12, 315–320<br />
(164) Applications of some formulae by Hermite to the approximation of exponentials<br />
and logarithms. Math. Ann. 168, 200–227<br />
(165) On a class of entire functions. Acta Math. Acad. Sci. Hungar. 18, 83–96<br />
(166) On a lemma by A. B. Shidl’ovski [in Russian]. Math. Zametki Acad. Nauk SSR 2,<br />
25–32<br />
(167) 1968 An unsolved problem on the powers of 3/2. J. Austral. Math. Soc. 8, 313–321<br />
(168) Perfect systems. Compositio Math. 19, 95–166 [First publication of a manuscript<br />
written in the 1930s]<br />
(169) Applications of a theorem by A. B. Shidlovski. Philos. Trans. Roy. Soc. London<br />
Ser. A 305, 149–173<br />
(170) 1969 Remarks on a paper by W. Schwarz. J. Number Theory 1, 512–521<br />
(171) On algebraic differential equations satisfied by automorphic functions. J. Austral.<br />
Math. Soc. 10, 445–450<br />
(172) Lectures on transcendental numbers (Summer Institute on Number Theory at<br />
Stony Brook, 1969). Proc. Symp. Pure Math. (Amer. Math. Soc.) XX, 248–274<br />
(173) 1971 A lecture on the geometry of numbers of convex bodies. Bull. Amer. Math. Soc.<br />
77, 319–325<br />
(174) (With H. Brown) A generalization of Farey sequences. J. Number Theory<br />
364–370<br />
3,<br />
(175) On formal power series as integrals of algebraic differential equations. Rend. Accad.<br />
Naz. dei Lincei (8) 50, 36–49<br />
(176) A remark on algebraic differential equations. Rend. Accad. Naz. dei Lincei (8) 50,<br />
174–184
Kurt Mahler<br />
(177) 1971 An arithmetical remark on entire functions. Bull. Austral. Math. Soc. 5, 191–195<br />
(178) An elementary existence theorem for entire functions. Bull. Austral. Math. Soc.<br />
5, 415–419<br />
(179) On the order function of a transcendental number. Acta Arith. 18, 63–76<br />
(180) Transcendental numbers. I. Existence and chief characteristics of transcendental<br />
numbers [in Hungarian]. Mat. Lapok 22, 31–50<br />
(181) 1972 Transcendental numbers. II. Convergence of Laurent series and formal Laurent<br />
series [in Hungarian]. Mat. Lapok 23, 13–23<br />
(182) On the coefficients of the 2n -th transformation polynomial for j(ω). Acta Arith.<br />
21, 89–97<br />
(182a) Obituary, L. J. Mordell. J. Number Theory 4, iii–iv<br />
(183) 1973 The classification of transcendental numbers. Proc. Symp. Pure Math. (Amer.<br />
Math. Soc.) XXIV, 175–179<br />
(184) Introduction to p-adic Numbers and their Functions, Cambridge Tracts in Mathematics<br />
64, Cambridge University Press, London/New York. 89pp<br />
(185) Arithmetical properties of the digits of the multiples of an irrational number. Bull.<br />
Austral. Math. Soc. 8, 191–203<br />
(186) On a class of Diophantine inequalities. Bull. Austral. Math. Soc. 8, 247–259<br />
(187) A p-adic analogue of a theorem by J. Popken. J. Austral. Math. Soc. 16, 176–184<br />
(188) 1974 On the coefficients of the transformation polynomials for the modular function.<br />
Bull. Austral. Math. Soc. 10, 197–218<br />
(189) On rational approximations of the exponential function at rational points. Bull.<br />
Austral. Math. Soc. 10, 325–335<br />
(190) Polar analogues of two theorems by Minkowski. Bull. Austral. Math. Soc.<br />
121–129<br />
11,<br />
(191) On the digits of the multiples of an irrational p-adic number. Proc. Cambridge<br />
Phil. Soc. 76, 417–422<br />
(192) How I became a mathematician. Amer. Math. Monthly 81, 981–983<br />
(193) 1975 On a paper by A. Baker on the approximation of rational powers of e. Acta Arith.<br />
27, 61–87<br />
(194) A necessary and sufficient condition for transcendency. Math. Comp. 29, 145–153<br />
(195) On the transcendency of the solutions of a special class of functional equations.<br />
Bull. Austral. Math. Soc. 13, 389–410<br />
(196) 1976 On certain non-archimedean functions analogous to complex analytic functions.<br />
Bull. Austral. Math. Soc. 14, 23–36<br />
(197) An addition to a note of mine. Bull. Austral. Math. Soc. 14, 397–398<br />
(198) A theorem on Diophantine approximations. Bull. Austral. Math. Soc.<br />
465<br />
14, 463–<br />
(199) Corrigendum to “On the transcendency of the solutions of a special class of functional<br />
equations”. Bull. Austral. Math. Soc. 15, 477–478
– 23 –<br />
(200) 1976 Lectures on Transcendental Numbers, Edited and completed by B. Divis and W. J.<br />
LeVeque, Lecture Notes in Mathematics 546 , Springer-Verlag, Berlin/New York.<br />
254pp<br />
(201) On a class of non-linear functional equations connected with modular functions.<br />
J. Austral. Math. Soc. Ser. A 22, 65–118<br />
(202) On a class of transcendental decimal fractions. Comm. Pure Appl. Math.<br />
717–725<br />
29,<br />
(203) 1977 On some special decimal fractions, in Hans Zassenhaus ed., Number Theory and<br />
Algebra, Academic Press, New York, 1977. 209–214<br />
(204) 1980 On a special function. J. Number Theory 12, 20–<strong>26</strong><br />
(205) 1981 p-Adic Numbers and Their Functions (), Cambridge Tracts in Mathematics 76,<br />
Cambridge University Press, London/New York.<br />
duction to p-adic Numbers and Their Functions]<br />
320pp [2nd edition of Intro-<br />
(206) 1980 On two definitions of the integral of a p-adic function. Acta Arith. 47, 105–109<br />
(207) 1981 On some irrational decimal fractions. J. Number Theory 13, <strong>26</strong>8–<strong>26</strong>9<br />
(208) On a special non-linear functional equation. Philos. Trans. Roy. Soc. London Ser.<br />
A 378, 155–178<br />
(209) 1982 Fifty years as a mathematician. J. Number Theory 14, 121–155 [The present<br />
publication list is a correction and extension of the one appearing here.]<br />
(210) On a special transcendental number. Arithmétix<br />
of number theorists in France]<br />
5, 18–32 [Information bulletin<br />
(211) On the zeros of a special sequence of polynomials. Math. Comp. 39, 207–212<br />
(212) 1983 On a theorem in the geometry of numbers in a space of Laurent series. J. Number<br />
Theory 17, 403–416<br />
(213) On the analytic solution of certain functional and difference equations. Proc. Roy.<br />
Soc. London Ser. A 389, 1–13<br />
(214) Warum ich eine besondere Vorliebe für die Mathematik habe. Jber. d. Deutschen<br />
Math.-Verein. 85, 50–53 [Essay originally written in 1923]<br />
(215) 1984 On Thue’s theorem. Math. Scand. 55, 188–200<br />
(216) Some suggestions for further research. Bull. Austral. Math. Soc. 29, 101-108<br />
(217) 1986 (With D. H. Lehmer and A. J. van der Poorten) Integers with digits 0 or<br />
1. Math. Comp. 46, 683–689<br />
(218) A new transfer principle in the geometry of numbers. J. Number Theory<br />
20–34<br />
24,<br />
(219) The successive minima in the geometry of numbers and the distinction between<br />
algebraic and transcendental numbers. J. Number Theory 22, 147–160<br />
(220) 1987 On two analytic functions. Acta. Arith. XLIX, 15–20<br />
(221) 1989 The representation of squares to the base 3. Acta Arith. 53, 99–106<br />
(222) 1991 Fifty years as a mathematician II. J. Austral. Math. Soc. (Series A) 51, 366–380<br />
[Appendix 2 of A. J. van der Poorten, Obituary of Kurt Mahler. ibid., 343–380]
John Coates and Alf van der Poorten<br />
References to other authors<br />
Alan Baker (1966), ‘A note on the Padé table’, K. Nederl. Akad. Wetensch. Proc.<br />
Ser. A, 69, 596–601.<br />
L. Bieberbach and I. Schur (1928), ‘ Über die Minkowskische Reduktionstheorie’.<br />
Sitzungsberichte Preuß. Akad. Berlin 1928 , 510–535; Berichtigung 1929, 508.<br />
E. Bombieri and W. M. Schmidt (1987), ‘On Thue’s equation’, Invent. Math., 88,<br />
69–81.<br />
David W. Boyd (1981), ‘Speculations concerning the range of Mahler’s measure’,<br />
Canad. Math. Bull. 24, 453–469.<br />
J. W. S. Cassels (1959), An Introduction to the Geometry of Numbers. Grundlehren<br />
Math. Wiss. 99, Springer, Berlin.<br />
J. W. S. Cassels (1976), ‘An embedding theorem for fields’, Bull. Austral. Math.<br />
Soc., 14 (1976), 193–198; Addendum: ibid., 14, 479–480.<br />
J. W. S. Cassels (1991), ‘Obituary of Kurt Mahler’, Acta Arith. (3), 58, 215–228.<br />
C. Chabauty (1950), ‘Limite d’ensembles et géométrie des nombres’, Bull. Soc.<br />
Math. France, 78, 143–151.<br />
John Coates (1966), ‘On the algebraic approximation of functions I, II, III’, K.<br />
Nederl. Akad. Wetensch. Proc. Ser. A, 69, 421–461; IV, ibid., 70 (1967), 205–212.<br />
G. Christol, T. Kamae, M. Mendès France and G. Rauzy (1980), ‘Suites algébriques,<br />
automates et substitutions’, Bull. Soc. Math. France, 108, 401–419.<br />
A. Cobham (1968), ‘On the Hartmanis-Stearns problem for a class of tag machines’,<br />
Technical report RC 2178, IBM Research Centre, Yorktown Heights, New York,<br />
15pp.<br />
Michel Dekking, Michel Mendès France and Alf van der Poorten (1982), ‘FOLDS!’,<br />
The Mathematical Intelligencer, 4, 130–138; II: ‘Symmetry disturbed’, ibid., 173–<br />
181; III: ‘More morphisms’, ibid., 190–195.<br />
H. Davenport (1958), ‘Indefinite quadratic forms in many variables (II)’, Proc.<br />
London Math. Soc., 8, 109–1<strong>26</strong>.<br />
E. Dobrowolski (1979), ‘On a question of Lehmer and the number of irreducible<br />
factors of a polynomial’, Acta Arith., 34, 391–401.<br />
E. Dubois and G. Rhin (1976), ‘Sur la majoration de formes linéaires àcoefficients<br />
algébriques réels et p-adiques (Démonstration d’une conjecture de K. Mahler)’, C.<br />
R. Acad. Sc. Paris, A282, 1211.<br />
Jan-Hendrik Evertse (1984), ‘On sums of S -units and linear recurrences’, Compositio<br />
Math., 53, 225–244.<br />
J.-H. Evertse, K. Győry, C. L. Stewart and R. Tijdeman (<strong>1988</strong>), ‘S -unit equations<br />
and their applications’, in New advances in Transcendence Theory ed. Alan Baker<br />
(Durham Symposium on Transcendental Number Theory 1986), Cambridge Univ.<br />
Press, 110–174.<br />
P. M. Gruber and C. G. Lekkerkerker (1987), Geometry of Numbers. North-Holland,<br />
Amsterdam.
– 25 –<br />
C. Hermite (1873), ‘Sur la fonction exponentielle’, Oeuvres, t.III, 151–181.<br />
C. Hermite (1893), ‘Sur la généralization des fractions continues algébriques’, Oeuvres,<br />
t.IV, 357–377.<br />
Kenkichi Iwasawa (1972), ‘Lectures on p-adic L-functions’. Annals of Mathematics<br />
Studies 74, Princeton University Press.<br />
H. Jager (1964), ‘A multidimensional generalization of the Padé table’, Proc. K.<br />
Nederl. Akad. v. Wetenschappen Series A, 67, 192–249.<br />
A. Khintchine (19<strong>26</strong>), ‘ Über eine Klasse linearer Diophantischer Approximationen’,<br />
Rend. Circ. Mat. Palermo, 50, 170–195.<br />
J. F. Koksma (1939), ‘ Über die Mahlersche Klassenteilung der transzendenten<br />
Zahlen und die Approximation komplexer Zahlen durch algebraische Zahlen’, Monatsh.<br />
Math. Phys., 48, 176–189.<br />
E. Landau (1905), ‘Sur quelques théorèmes de M. Petrovich relatifs aux zéros des<br />
fonctions analytiques’, Bull. Soc. Math. France, 33, 251–<strong>26</strong>1.<br />
Christer Lech (1953), ‘A note on recurring series’, Ark. Mat., 2, 417–421.<br />
D. H. Lehmer (1933), ‘Factorization of certain cyclotomic functions’, Ann. Math.,<br />
34, 461–479.<br />
W. J. LeVeque (1961), Topics in Number Theory Vol. 2 Addison-Wesley.<br />
L. Lipshitz and A. J. van der Poorten (1990), ‘Rational functions, diagonals, automata<br />
and arithmetic’, in Number Theory, ed. Richard A. Mollin (First Conference<br />
of the Canadian Number Theory Association, Banff <strong>1988</strong>), Walter de Gruyter<br />
Berlin/New York, 339–358.<br />
J. H. Loxton and A. J. van der Poorten (1977a), ‘Arithmetic properties of certain<br />
functions in several variables III’, Bull. Austral. Math. Soc., 16, 15–47.<br />
J. H. Loxton and A. J. van der Poorten (1977b), ‘Transcendence and algebraic<br />
independence by a method of Mahler’, in Transcendence Theory — Advances and<br />
Applications, ed. A. Baker and D. W. Masser, Academic Press London & New<br />
York, Chapter 15, 211–2<strong>26</strong>.<br />
J. H. Loxton and A. J. van der Poorten (<strong>1988</strong>), ‘Arithmetic properties of automata:<br />
regular sequences’, J. für Math., 392, 57–69.<br />
G. A. Margulis (1987), ‘Formes quadratiques indéfinies et flots unipotents sur les<br />
espaces homogènes’, Comptes Rendus Acad. Sci. Paris, 304, 249–253.<br />
D. W. Masser (1982), ‘A vanishing theorem for power series’, Invent. Math., 67,<br />
275–296.<br />
M. Mendès France (1980), ‘Nombres algébriques et théorie des automates’, Enseign.<br />
Math. (2), <strong>26</strong>, 193–199.<br />
D. Mumford (1971), ‘A remark on Mahler’s compactness theorem’, Proc. Amer.<br />
Math. Soc., 28, 289–294.<br />
Alfred van der Poorten (1979), ‘A proof that Euler missed ... Apéry’s proof of<br />
the irrationality of ζ(3) ; An informal report’, The Mathematical Intelligencer, 1,<br />
195-203.<br />
A. J. van der Poorten (1989), ‘Some facts that should be better known; especially<br />
about rational functions’, in Number Theory and Applications, ed. Richard A.Mollin
John Coates and Alf van der Poorten<br />
(NATO – Advanced Study Institute, Banff, <strong>1988</strong>), Kluwer Academic Publishers,<br />
Dordrecht, 497-528.<br />
A. J. van der Poorten and H. P. Schlickewei (1991), ‘Additive relations in number<br />
fields’, J. Austral. Math. Soc., 51, 154–170.<br />
R. Remak (1938), ‘ Über die Minkowskische Reduktion’, Compositio Math., 5, 368–<br />
391.<br />
C. A. Rogers (1964), Packing and Covering, Cambridge Tracts 54.<br />
H. P. Schlickewei (1977a), ‘The p-adic Thue-Siegel-Roth-Schmidt theorem’, Arch.<br />
Mat., 29, <strong>26</strong>7–270.<br />
H. P. Schlickewei (1977b), ‘ Über die diophantische Gleichung x1+x2+···+xn =0’,<br />
Acta Arith., 33, 183–185.<br />
W. M. Schmidt (1968), ‘T -numbers do exist’, Symposia Mathematica IV, INDAM<br />
Rome, Academic Press, London; see also ‘Mahler’s T -numbers’, Proc. Symposia in<br />
Pure Math. (Stonybrook, 1969) XX, Amer. Math. Soc., (1971), 275–286.<br />
W. M. Schmidt (1970), ‘Simultaneous approximation to algebraic numbers by rationals’,<br />
Acta Math. 125, 189–201.<br />
W. M. Schmidt (1977), Small Fractional Parts of Polynomials, CBMS Regional<br />
Conf. Ser. 32, Amer. Math. Soc., 41pp.<br />
A. B. Shidlovskii (1959), ‘Transcendality and algebraic independence of the values<br />
of certain functions’, Amer. Math. Soc. Transl. (2), 27 (1963), 191–230 = Trudy<br />
Moscov. Mat. Obsc., 8, 283–320; ‘A criterion for algebraic independence of the<br />
values of a class of entire functions’, Amer. Math. Soc. Transl. (2), 22 (1962), 339–<br />
370 = Izv. Akad. Nauk SSSR Ser. Mat., 23 (1959), 35–66 and see further references<br />
in [200].<br />
C. L. Siegel (1929), ‘ Über einige Anwendungen diophantischer Approximationen’,<br />
Preuß. Akad. Wiss. Phys.-mat. Kl. Berlin No.1 = Gesammelte Abhandlungen I,<br />
Springer-Verlag, 1966, 209–<strong>26</strong>6.<br />
C. L. Siegel (1964), ‘Zur Geschichte des Frankfurter Mathematischen Seminars’, in<br />
Gesammelte Abhandlungen III, Springer-Verlag Berlin Heidelberg New York, 1966,<br />
462–474.<br />
V. G. Sprindzuk (1965), ‘A proof of Mahler’s conjecture on the measure of the set<br />
of S -numbers’, Izv. Akad. Nauk SSSR (ser. mat.), 29, 379-436.<br />
B. L. van der Waerden (1956), ‘Die Reduktionstheorie der positiven quadratischen<br />
Formen’, Acta Math., 96, <strong>26</strong>5–309.<br />
John H. Coates<br />
Department of Pure Mathematics and Mathematical Statistics<br />
16 Mill Lane<br />
Cambridge CB2 1SB<br />
jhc13@dpmms.cambridge.ac.uk<br />
Alfred J. van der Poorten<br />
Centre for Number Theory Research<br />
Macquarie University NSW 2109<br />
Australia<br />
alf@macadam.mpce.mq.edu.au