Alfred Bray Kempe


Quick Info

Born
6 July 1849
Kensington, London, England
Died
21 April 1922
London, England

Summary
Alfred Kempe published a false "proof" of the four colour theorem in 1879 which stood until Heawood showed the mistake 11 years later. The 'proof' is however still the basis for the computer aided proof discovered 100 years later.

Biography

Alfred Kempe was the third son of John Edward Kempe who was Rector of St James's Church in Piccadilly, London. Alfred attended St Paul's School which, at this time, stood in the churchyard of St Paul's Cathedral in the City of London. It was one of the leading independent schools in England and had a high academic reputation. At school he was also able to pursue his love for music. Kempe had a very fine counter-tenor voice and as a member of St Paul's School Choral Society he sang the treble parts as a young boy, while later in his school career he sang alto.

He was educated at Trinity College, Cambridge, as a Camden Exhibitioner, having won this award in his final year at St Paul's School. At Cambridge he became known as a superb singer, having a piano in his rooms in College to accompany himself when he practised his singing. His two loves of mathematics and music were cleverly caught by one of his fellow students who composed the following rhyme to describe Kempe's relationship with his piano:-
Mistress of humble tones and haughty,
Kempe calls me his piano-forte;
He plays me when a problem fails,
And rises lighter from the scales.
Kempe was taught mathematics by Cayley and graduated in 1872 with distinction in mathematics and in the same year he published his first mathematical paper A general method of solving equations of the nth degree by mechanical means. Despite his love of mathematics and music, Kempe chose a profession which involved neither of these, becoming a barrister. He was called to the bar on 17 November 1873 and later became a Bencher of the Inner Circle in 1909 when he joined the Western Circuit. Both mathematics and music became hobbies to which he devoted much time. He married Mary Bowman in 1877.

Soon Kempe became an authority on ecclesiastical law and this led to him holding many Chancellorships. A Chancellorship is a lay office of legal advisor to an Anglican diocese, and Kempe held a number of these through his career: he was legal advisor to the diocese of Newcastle, Southwell, St Albans, Peterborough, Chichester, Chelmsford and finally the most important Chancellorship of all, namely that of the diocese of London to which he was appointed in 1912. His expertise on ecclesiastical law led to him serving on many committees, for example he was Secretary of the Royal Commission on Ecclesiastical Courts from 1881 to 1883. Lewis Dibdin, a legal colleague, wrote (see [2]):-
He was an admirable lawyer. His logical mind, coupled with real learning and knowledge of cases, made his opinions clear and sound. It was a pleasure to be associated with him in the consideration of legal questions. While his own arguments were easy to follow, it was equally easy to make him follow those of other people. As an opponent in Court he was not less satisfactory. Always courteous and rigidly fair, he could be relied on to put a winning case convincingly. He was not made for the rough and tumble of contentious advocacy. I think his amiable and refined temperament, rather revolted from it, and he was not at his best with a bad case. Probably the clarity of his mind made it difficult for him to argue a rotten point. It would be true to say that he so conducted his own side of a case as always to win the respect of an opponent, while if one had much to do with Kempe, respect inevitably ripened into a warm regard an affection.
Most of Kempe's early contributions to mathematics were on linkages, involving applications of geometry. There were practical advantages in finding mechanisms which would allow straight lines to be traced. One obvious application is the piston of a steam engine which is linked so that it moves in an approximate straight line. At the time that Watt used this particular linkage for his steam engine it was thought that no linkage would allow an exact straight line to be traced but this, as Peaucellier showed, is not so and such a linkage was found. Tokarenko writes in [4]:-
Descartes curves arise as a result of the motion of points or the mechanisms that describe them. But only in 1876 did Kempe prove a theorem on the possibility of reproducing any plane curve of degree nn by means of an articulated mechanism. In 1926 Gersgorin, basing his work on Kempe's considerations and using the complex variable method, proved a more general theorem on the possibility of constructing similar mechanisms for an arbitrary algebraic function.
Kempe's work on straight line linkages was inspired by a lecture On recent discoveries in mechanical conversion of motion given by Sylvester in January 1874 at the Royal Institution. Kempe worked on the topic and presented a series of lectures at the Royal Institution on How to draw a straight line: A lecture on linkages in 1877. The lectures appeared in Nature and Macmillan published a fifty-one page book with the same title which became a classic on the topic. Kempe begins his book with the following Introduction:-
The great geometrician Euclid, before demonstrating to us the various propositions contained in his Elements of Geometry, requires that we should be able to effect certain processes. These Postulates, as the processes are termed, may roughly be said to demand that we should be able to describe straight lines and circles. And so great is the veneration that is paid to the master-geometrician, that there are many who would refuse the designation of "geometrical" to a demonstration which requires any other construction than can be effected by straight lines and circles. Hence many problems - such as, for example, the trisection of an angle - which can readily be effected by employing other simple means, are said to have no geometrical solution, since they cannot be achieved by straight lines and circles only.

But how do you draw a straight line? A circle is easy. In principle the method is perfect although in practice your pencil may be blunt. Creating a straight edge is as fraught with trial and error as making an engineer's surface table. How odd that Euclid didn't notice how different it is from a circle. Until 1874 no-one in England knew of a method for drawing a straight line that was, in principle, perfect. The first solution was found by a French army officer called Peaucellier and was brought to England by Professor Sylvester in a lecture at the Royal Institution in January 1874.
Kempe published a false "proof" of the four colour theorem in 1879 which stood until Heawood found an error eleven years later. In fact Kempe is probably best known today for this wrong "proof" yet the obituary [2] contains no reference to it. Clearly in 1923 this error by Kempe was considered an embarrassment, something which the authors pretended never existed. Yet this is a totally false assessment of Kempe's paper, as has since been shown, for Kempe's 'proof' is the basis of the computer aided proof discovered 100 years later. Perhaps we should indicate a little more fully why this is so. In fact Kempe introduced two fundamental ideas in his paper which were to provide the basis of the proof by Kenneth Appel and Wolfgang Haken in 1976.

This first of these ideas is the concept of unavoidability. This states that it is impossible to construct a map without it having at least one of four specified (unavoidable) configurations. These configurations consist of a region with two neighbours, one with three neighbours, one with four neighbours, and one with five neighbours. The second idea is the concept of reducibility. Kempe showed if a map MM requires at least five colours and MM contains a region with four or fewer neighbours, then there must be a map MM' which requires five colours yet MM' has fewer regions than MM. From this Kempe was able to prove that any map could be five coloured. His error in attempting to prove that a map can always be four coloured occurred when he tried to prove his reducibility criterion for a map containing a region with five or fewer neighbours. Kempe's short list of unavoidable configurations had to be extended and the 1976 proof analysed 1,936 distinct cases with a computer to show that each was reducible.

Kempe was proposed for election to the Royal Society in the year he published his "proof" of the four colour theorem. He was proposed by Cayley, Sylvester and others as someone:-
... distinguished for his knowledge of and discoveries in kinematics.
He was elected a fellow of the Royal Society on 2 June 1881 and in 1897 he was elected to the Council of the Royal Society. In the following year he became Treasurer of the Society and [2]:-
... for twenty-one years took a leading share in the management of its affairs and in the promotion of its prosperity.
His contribution to the Society is described in detail in [2] but we should mention his contribution to the successful control of the National Physical Laboratory by the Royal Society and his work in transferring this control to a Government department in 1918. He worked closely with many Government Departments and his remarkable contributions were recognised when he was knighted in 1912. He was also a member of the Royal Institution for fifty years and served on its Board of Management five times.

If Kempe's work on the four colour theorem is not mentioned in his obituary [2] then it is reasonable to ask: what was considered his most important contribution to mathematics in 1923? The answer is that MacMahon, who contributes to [2] the description of Kempe's mathematical achievements, considered his Memoir on the theory of mathematical form published in the Philosophical Transactions of The Royal Society in 1886 to be his most important work. This work on the foundations of mathematics attempts to classify the different thought processes involved in mathematics and is of relatively little interest today. MacMahon also writes in [2]:-
[Kempe] wrote several other papers mostly on algebra with particular laws, which all bear the impress of his ability to get down to bed rock in any subject that was occupying his mind. His legal training led him in all cases to lucid and exact statements. His mathematical work, though not large in quantity, was first-rate in quality. What he put forward for publication was his best, and he will always be remembered as a noteworthy contributor to the philosophy of mathematics.
In 1893 Kempe's wife died and he married again four years later to a Miss White, the daughter of a Judge. Although he had no children with his first wife, with his second he had two sons and one daughter. Kempe was President of the London Mathematical Society from 1872 to 1874. His Presidential address to the Society was on What is mathematics? In this address he considered the answer to this question given by Venn and quoted that by De Morgan:-
Space and time are the only necessary matters of thought, and thus form the subject matter of mathematics.
He also quoted that by Benjamin Peirce:-
Mathematics is the science which draws necessary conclusions.
Kempe did not find any of these definitions satisfactory since, he said, they did not help to push forward the boundaries of mathematical research. He suggested that the idea he had given in his theory of forms in 1886, although not entirely satisfactory, nevertheless was the best he had been able to come up with. It used graph theory to visualise mathematical questions and, at least for him, did provide a framework for discovering new mathematical knowledge.

Geikie describes Kempe's character in [2]:-
It is not easy to describe the personal charm which endeared Sir Alfred Kempe to all who came to know him. His modesty, urbanity and frankness were at once apparent; at the same time his sound sense, and the touch of humour or flash of wit with which he would often enliven a formal conversation, made him singularly attractive. The lasting affection of those who were privileged to enjoy his more intimate friendship was won by a combination of genial qualities, above all by the overflowing kindliness of his nature. His humility of mind and antipathy to anything like self-advertisement read a continual lesson to the ambitious. Thoroughness in all that he undertook was one of his most characteristic virtues. Not less conspicuous was the friendly readiness with which he put his wide knowledge and experience at the service of others. As scientific circles are not free from the irritability and combativeness that affect other coteries of man, Sir Alfred was again and again appealed to as the irresistible peacemaker.
A similar description of his character in [1] reads:-
He had a fund of quiet humour and often threw oil on troubled waters by quaint comments or amusing anecdotes.
Finally let us note that Kempe had one further interest which we have not yet mentioned, namely his love of the mountains. He enjoyed climbing the mountains of Switzerland, which he visited on nearly 50 occasions, for many reasons. Certainly the challenge of reaching difficult summits was one reason but he also loved the views, the grandeur of the scenery, the plants, and the whole atmosphere associated with climbing.

Kempe's health began to deteriorate in around 1912 and he began to wind down his extraordinarily busy life. In 1919 he resigned his position as Treasurer of the Royal Society on health grounds. The President, Sir J J Thomson, expressed the feelings of the whole Society:-
It is difficult to find words adequately to express our indebtedness to him. By his sagacity, his long experience of the affairs of the Society, and his legal knowledge, he has rendered invaluable services in our councils and in directing the policy of our Society.
Giving up some of his many duties seemed to give Kempe a few more years when his health did not deteriorate any further but in 1922 he developed pneumonia which led to his death.


References (show)

  1. Obituary in The Times
    See THIS LINK
  2. A Geikie, Sir Alfred Bray Kempe, Proc. Roy. Soc. London A 102 (1923), i - x.
  3. A M Tokarenko, Development of the methods of the exact synthesis of mechanisms in England (1870s-1880s) (Russian), in Studies in the history of physics and mechanics, 1988 'Nauka' (Moscow, 1988), 218-232.
  4. A M Tokarenko, On the history of the reproduction of plane algebraic curves by articulated mechanisms (Russian), in Problems in the history of mathematics and mechanics (Kiev, 1977), 8-57; 131.

Additional Resources (show)


Honours (show)


Cross-references (show)


Written by J J O'Connor and E F Robertson
Last Update October 2003