OBITUARY: Alonzo Church
Thursday 14 September 1995
In the early 1930s, Church did three things for which he will surely be remembered in future centuries. First, he devised the lambda calculus, a remarkably simple calculus for studying the nature of mathematical operations. It is now one of the fundamental tools of computer science.
Second, he stated "Church's Thesis", which proposed an exact formalisation for the notion of a class of problems that can be solved by a mechanical method of computation. Since the notion of a mechanical method of computation is vague, this was a surprising proposal. But it is now generally accepted, thanks to the work of Church's students Kleene and Turing, work which led almost directly to John von Neumann's design for the first electronic digital computers.
Third, Church proved (assuming his Thesis) that there is no mechanical procedure for solving all the problems of elementary logic - unlike the problems of elementary arithmetic, which we learn to solve by mechanical methods at school.
The citation for his honorary DSc at Princeton University summarised these achievements as follows: "He defined the central question concerning the boundaries of formal reasoning."
Church's later work, though less revolutionary, shed light on basic issues in logic. He worked on the theory of types (important for functional programing languages). He entered into controversies on the semantics of natural languages, and continued to write on this theme well into his seventies. In 1956 he published a textbook, Introduction to Mathematical Logic, I, which is still widely quoted.
Alonzo Church became an Assistant Professor at Princeton University in 1929, and continued teaching until he finally retired from the University of California at Los Angeles in 1990. (He had moved there in 1967 because the University of Princeton required him to retire at the age of 65.) A teaching career of 61 years is remarkable in itself, but Church made it still more remarkable by his individual style. His student Don Collins has described it as "remorseless lucidity". No detail was too small: everything had to be set out slowly and precisely, in logical order and huge handwriting. Many of his students were inspired by this vision of a truly rational mind. Others found it paradoxical that creative genius could seem so ponderous.
When the Association for Symbolic Logic was founded in 1935, Church became an editor of its journal, the Journal of Symbolic Logic. He continued in charge of the reviews section until 1979, and set what must surely have been the highest standards of objectivity and consistency required by any journal. In one review which I wrote, he refused to allow a sentence saying that the paper under review had enabled another scholar to solve an important problem, on the grounds that later work would not have been available to the author at the time when he wrote the paper.
Less fortunate reviewers remember "The Bomb", a letter which calmly dismantled the ego of any reviewer who was too late sending in his review.
As a teacher and colleague he was good-natured, patient, modest and undemonstrative. When I knew him at UCLA in 1968 it was my first job, but he treated all of us in the department as equals in the search for truth. At staff meetings he might seem to be asleep, but suddenly he would wake up and resolve some quarrel by proposing exactly the right choice of words. It is recorded that he once agreed to pass a questionable graduate student on condition that the student "promise never to write an article on the philosophical significance of Goedel's theorem". He was a giant physically as well as intellectually: when he chaired a meeting at which the speaker went on too long, he would slowly stand up between speaker and audience, and that was that.
Alonzo Church, logician: born Washington DC 14 June 1903; Assistant Professor of Mathematics, Princeton University 1929-39, Associate Professor 1939-47, Professor 1947-61, Professor of Mathematics and Philosophy 1961- 67; Editor, Journal of Symbolic Logic 1936-79; Flint Professor of Philosophy, UCLA 1967-90; married 1925 Mary Kuczinski (died 1976; one son, two daughters); died Hudson, Ohio 11 August 1995.
- 1 BBC election debate: The one photo that summed up the whole 90-minute leaders debate
- 2 18th century sex toy found in 'toilet of sword fighting school' in Poland
- 3 US? China? India? The 10 biggest economies in 2030 will be...
- 4 'I wish my teacher knew...': Young students share their 'heartbreaking' worries in notes
General Election 2015: David Cameron catching up in polls – but he badly needs a clear lead
South Africa xenophobic attacks: Shops looted and violence on streets of Johannesburg as foreigners are forced to hide in police stations
18th century sex toy found in 'toilet of sword fighting school' in Poland
'I wish my teacher knew...': Young students share their 'heartbreaking' worries in notes
Rebecca Francis accuses Ricky Gervais of using 'influence' to target female hunters after receiving barrage of death threats
The only black face in the Ukip manifesto is on the page about overseas aid
If I’m being racially abused I don’t need a stranger with a saviour complex to rescue me
Ukip is the only main political party to not address LGBT rights in its manifesto
BBC election debate: The one photo that summed up the whole 90-minute leaders debate
Religion isn't growing, it is becoming vigorous in its demise, says philosopher AC Grayling
Food banks: One million Britons will soon be using them, according to Trussell Trust
£30000 - £40000 per annum + Benefits: Ashdown Group: Front-End UI Application ...
£18000 - £26000 per annum: Recruitment Genius: They work with major vehicle ma...
£27000 per annum: Recruitment Genius: Domestic Service Only Engineers are requ...
£23600 - £27500 per annum: Recruitment Genius: The Employability Service withi...