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 Raif Badawi, the Saudi Arabian blogger sentenced to 1,000 lashes, may now face death penalty
- 2 PornHub turns masturbation into energy in bid to save the planet
- 3 Robert Mugabe eats a zoo for 'obscene' 91st birthday party
- 4 The remarkable archaeological underwater discovery that could open up a new chapter in the study of European and British prehistory
- 5 The jihadi girls who went to Syria weren't just radicalised by Isis — they were groomed
Stephen Hawking's wife Jane Wilde on their marriage breakdown: 'The family were left behind'
Raif Badawi, the Saudi Arabian blogger sentenced to 1,000 lashes, may now face death penalty
Someone has actually got a tattoo of that dress
PornHub turns masturbation into energy in bid to save the planet
White and gold or blue and black – what colour is the dress? An eyewitness gives a definitive answer
New theory could prove how life began and disprove God
This is what it's like to be dead, according to a guy who died for a bit
'Jihadi John': CAGE representative storms off Sky News accusing Kay Burley of Islamophobia
Ukip would cut billions from Scottish budget to fund English tax cuts
Russia's roadmap for annexing eastern Ukraine 'leaked from Vladimir Putin's office'
Ukraine crisis: Top Chinese diplomat backs Putin and says West should 'abandon zero-sum mentality'
£18000 - £23000 per annum + Uncapped Commission: SThree: As a Trainee Recruitm...
£7 - £8 per hour: Recruitment Genius: This high quality thread manufacturer ba...
£22000 per annum + pension,bonus,career progression: Ashdown Group: An establi...
£40000 per annum + realistic targets: Ashdown Group: A thriving recruitment co...