Obituary: Professor Stephen Kleene

Stephen Cole Kleene, mathematician: born Hartford, Connecticut 5 January 1909; Research Assistant in Mathematics, Princeton University 1930-35; Instructor, University of Wisconsin 1935- 37, Assistant Professor 1937-41; Associate Professor, Amherst College 1941-42; Associate Professor, University of Wisconsin 1946-48, Professor 1948-64, Cyrus C. McDuffee Professor of Mathematics 1964-74, Dean, College of Letters and Science 1969-74, Professor of Mathematics and Computer Science 1974-79, Emeritus Dean and Emeritus Professor of Mathematics and Computer Science 1979-94; Member, National Academy of Science 1969-94; National Medal of Science 1990; married 1942 Nancy Elliot (died 1970; three sons, one daughter), 1978 Jeanne Steinmetz; died Madison, Wisconsin 25 January 1994.

STEPHEN KLEENE was one of that small group of brilliant researchers, including Alan Turing in Britain, who tried to remake mathematics in the 20th century, by intellectually mapping out the computable world and its boundaries. The physical development of the computer inevitably flowed from the theoretical framework which they provided.

Kleene was the first explorer of the mysterious world of the uncomputable. His extraordinary body of work has become basic to much of theoretical computer science, in which real-world considerations of computational power are incorporated. However, the question first raised by the early pioneers from the 1930s, that of the exact relationship between the solvable and unsolvable problems, has still to be fully answered. The answer promises to have significance far beyond the esoteric confines of contemporary mathematics.

Kleene's early research at Princeton between 1930 and 1935 took place in a period of great excitement following the discoveries of Kurt Godel. Godel's Incompleteness Theorem said that the comprehensiveness of any theory is limited in a very basic way. This had brought into question the earlier 'onward and upward' view of mathematics even more dramatically than Bertrand Russell's paradox in set theory had done 25 years earlier.

Stephen Kleene's father, Gustav Kleene, was a professor of economics, his mother, Alice, a published poet. He grew up in Hartford, Connecticut, spending his summers on a family farm in Maine. He took his doctorate under the eminent mathematician Alonzo Church in 1934, at the height of the Depression. He spent most of his distinguished career as a professor of mathematics at the University of Wisconsin at Madison, where he went in 1935. As many other aspiring logicians will have done, I read with excitement the ideas put forward in his famous book Introduction to Metamathematics, published in 1952, and still in print. He won the National Medal of Science in 1990, having been elected to the US National Academy of Sciences in 1969, a rare honour for a mathematician.

It is hard to give an adequate account of Kleene's work to the non- specialist, highly technical as much of it is. The subject of recursion theory which he founded (along with his New York co-worker Emily Post) is notorious for its ever-increasing complexity, and current workers in the field are often admired for their heroism of intellectual endeavour, but little understood even by their fellow mathematicians. But his interests in the foundations of computability were broad, and after his war service in the US Navy he applied his ideas within intuitionism, a radical and peculiarly European reconstruction of mathematics along constructivist lines. He produced a significant breakthrough in the theory of finite automata while working for the RAND Corporation in the summer of 1951.

Kleene will probably be best remembered for his work in classifying the world of the uncomputable. This involved two different approaches: first, the more traditional hierarchical framework, in which layers of ever less computable objects are built up according to the logical complexity of their descriptions, a process which was ingeniously iterated into the transfinite and extended to very general classes of objects; secondly, the 'degree theoretic' approach, in which the relative solvability (of essentially unsolvable problems) is assessed and given an algebraic structure, using the notion of an 'oracle' (a hypothetical provider of real- world inaccessible data). These two approaches were related in a beautiful and comprehensive fashion, enabling well-known unsolvable problems to be given a precise context relative to each other.

My vividest memory of Stephen Kleene is of a tall, still vigorous 70- year-old climbing the steep hillside at Delphi accompanied by his second wife Jeanne. All that week he had attended every talk at the 1980 Patras conference of the Association of Symbolic Logic, listening attentively to every one. Many youthful contributors will remember their first conference appearance with special pride because of his presence.

(Photograph omitted)

Have you tried new the Independent Digital Edition apps?
Independent Dating
and  

By clicking 'Search' you
are agreeing to our
Terms of Use.

iJobs Job Widget
iJobs People

Geography Teacher

£24000 - £33600 per annum + pre 12 week AWR : Randstad Education Manchester Se...

E150/2014 - English Language Checker (Grade B3)

On Application: Council of Europe: The European Court of Human Rights’s judgme...

Marketing Executive

£28000 - £32000 per annum: Charter Selection: A professional services company ...

Project Manager - Bristol South West

£400 - £450 per day: Orgtel: Project Manager (PM), Key Banking Client, Retail ...

Day In a Page

A History of the First World War in 100 Moments: Peace without magnanimity - the summit in a railway siding that ended the fighting

A History of the First World War in 100 Moments

Peace without magnanimity - the summit in a railway siding that ended the fighting
Scottish independence: How the Commonwealth Games could swing the vote

Scottish independence: How the Commonwealth Games could swing the vote

In the final part of our series, Chris Green arrives in Glasgow - a host city struggling to keep the politics out of its celebration of sport
Out in the cold: A writer spends a night on the streets and hears the stories of the homeless

A writer spends a night on the streets

Rough sleepers - the homeless, the destitute and the drunk - exist in every city. Will Nicoll meets those whose luck has run out
Striking new stations, high-speed links and (whisper it) better services - the UK's railways are entering a new golden age

UK's railways are entering a new golden age

New stations are opening across the country and our railways appear to be entering an era not seen in Britain since the early 1950s
Conchita Wurst becomes a 'bride' on the Paris catwalk - and proves there is life after Eurovision

Conchita becomes a 'bride' on Paris catwalk

Alexander Fury salutes the Eurovision Song Contest winner's latest triumph
Pétanque World Championship in Marseilles hit by

Pétanque 'world cup' hit by death threats

This year's most acrimonious sporting event took place in France, not Brazil. How did pétanque get so passionate?
Whelks are healthy, versatile and sustainable - so why did we stop eating them in the UK?

Why did we stop eating whelks?

Whelks were the Victorian equivalent of the donor kebab and our stocks are abundant. So why do we now export them all to the Far East?
10 best women's sunglasses

In the shade: 10 best women's sunglasses

From luxury bespoke eyewear to fun festival sunnies, we round up the shades to be seen in this summer
Germany vs Argentina World Cup 2014: Lionel Messi? Javier Mascherano is key for Argentina...

World Cup final: Messi? Mascherano is key for Argentina...

No 10 is always centre of attention but Barça team-mate is just as crucial to finalists’ hopes
Siobhan-Marie O’Connor: Swimmer knows she needs Glasgow joy on road to Rio

Siobhan-Marie O’Connor: Swimmer needs Glasgow joy on road to Rio

18-year-old says this month’s Commonwealth Games are a key staging post in her career before time slips away
The true Gaza back-story that the Israelis aren’t telling this week

The true Gaza back-story that the Israelis aren’t telling this week

A future Palestine state will have no borders and be an enclave within Israel, surrounded on all sides by Israeli-held territory, says Robert Fisk
A History of the First World War in 100 Moments: The German people demand an end to the fighting

A History of the First World War in 100 Moments

The German people demand an end to the fighting
New play by Oscar Wilde's grandson reveals what the Irish wit said at his trials

New play reveals what Oscar Wilde said at trials

For a century, what Wilde actually said at his trials was a mystery. But the recent discovery of shorthand notes changed that. Now his grandson Merlin Holland has turned them into a play
Can scientists save the world's sea life from

Can scientists save our sea life?

By the end of the century, the only living things left in our oceans could be plankton and jellyfish. Alex Renton meets the scientists who are trying to turn the tide
Richard III, Trafalgar Studios, review: Martin Freeman gives highly intelligent performance

Richard III review

Martin Freeman’s psychotic monarch is big on mockery but wanting in malice