OBITUARY: Alonzo Church

Alonzo Church ranks among the creators of two disciplines: mathematical logic and the theory of computation. The list of his 31 doctoral students includes some of the best-known names in logic and the foundations of computing, such as Stephen Kleene, Alan Turing, John Kemeny, Martin Davis, Dana Scott, Raymond Smullyan.

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.

Start your day with The Independent, sign up for daily news emails
Have you tried new the Independent Digital Edition apps?
ebooks
ebooksA special investigation by Andy McSmith
  • Get to the point
Latest stories from i100
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 General

Ashdown Group: Front-End UI Application Developer

£30000 - £40000 per annum + Benefits: Ashdown Group: Front-End UI Application ...

Recruitment Genius: Digital Account Executive

£18000 - £26000 per annum: Recruitment Genius: They work with major vehicle ma...

Recruitment Genius: Service Engineers - Doncaster / Hull

£27000 per annum: Recruitment Genius: Domestic Service Only Engineers are requ...

Recruitment Genius: Employability / Recruitment Adviser

£23600 - £27500 per annum: Recruitment Genius: The Employability Service withi...

Day In a Page

Where the spooks get their coffee fix: The busiest Starbucks in the US is also the most secretive

The secret CIA Starbucks

The coffee shop is deep inside the agency's forested Virginia compound
Revealed: How the Establishment closed ranks over fallout from Loch Ness Monster 'sighting'

How the Establishment closed ranks over fallout from Nessie 'sighting'

The Natural History Museum's chief scientist was dismissed for declaring he had found the monster
One million Britons using food banks, according to Trussell Trust

One million Britons using food banks

Huge surge in number of families dependent on emergency food aid
Excavation at Italian cafe to fix rising damp unearths 2,500 years of history in 3,000 amazing objects

2,500 years of history in 3,000 amazing objects

Excavation at Italian cafe to fix rising damp unearths trove
The Hubble Space Telescope's amazing journey, 25 years on

The Hubble Space Telescope's amazing journey 25 years on

The space telescope was seen as a costly flop on its first release
Did Conservative peer Lord Ashcroft quit the House of Lords to become a non-dom?

Did Lord Ashcroft quit the House of Lords to become a non-dom?

A document seen by The Independent shows that a week after he resigned from the Lords he sold 350,000 shares in an American company - netting him $11.2m
Apple's ethnic emojis are being used to make racist comments on social media

Ethnic emojis used in racist comments

They were intended to promote harmony, but have achieved the opposite
Sir Kenneth Branagh interview: 'My bones are in the theatre'

Sir Kenneth Branagh: 'My bones are in the theatre'

The actor-turned-director’s new company will stage five plays from October – including works by Shakespeare and John Osborne
The sloth is now the face (and furry body) of three big advertising campaigns

The sloth is the face of three ad campaigns

Priya Elan discovers why slow and sleepy wins the race for brands in need of a new image
How to run a restaurant: As two newbies discovered, there's more to it than good food

How to run a restaurant

As two newbies discovered, there's more to it than good food
Record Store Day: Remembering an era when buying and selling discs were labours of love

Record Store Day: The vinyl countdown

For Lois Pryce, working in a record shop was a dream job - until the bean counters ruined it
Usher, Mary J Blige and Will.i.am to give free concert as part of the Global Poverty Project

Mary J Blige and Will.i.am to give free concert

The concert in Washington is part of the Global Citizen project, which aims to encourage young people to donate to charity
10 best tote bags

Accessorise with a stylish shopper this spring: 10 best tote bags

We find carriers with room for all your essentials (and a bit more)
Paul Scholes column: I hear Manchester City are closing on Pep Guardiola for next summer – but I'd also love to see Jürgen Klopp managing in England

Paul Scholes column

I hear Manchester City are closing on Pep Guardiola for next summer – but I'd also love to see Jürgen Klopp managing in England
Jessica Ennis-Hill: 'I just want to give it my best shot'

Jessica Ennis-Hill: 'I just want to give it my best shot'

The heptathlete has gone from the toast of the nation to being a sleep-deprived mum - but she’s ready to compete again. She just doesn't know how well she'll do...