Alonzo Church

(redirected from Church, A)
Also found in: Wikipedia.

Church, Alonzo

(1903–  ) mathematician/philosopher; born in Washington, D.C. A professor of philosophy and mathematics at the University of California: Los Angeles (1967), he was author of Introduction of Mathematical Logic. He was editor of the Journal of Symbolic Logic (1936–79) and a member of the National Academy of Sciences.

Church, Alonzo

 

Born June 14, 1903, in Washington, D.C. American logician and mathematician.

Church was a professor at Princeton University from 1947 to 1967, when he became a professor of mathematics and philosophy at the University of California at Los Angeles.

Church’s works deal with various branches of logic. He developed the notion of separating the concept of function from that of set. In 1936 he advanced the fundamental hypothesis of the theory of computable functions; now known as Church’s thesis, it states that every effectively computable function is general recursive (seeRECURSIVE FUNCTION). In 1935, Church adduced an example of an undecidable queue problem, and in 1936 he proved that the decision problem for predicate calculus is unsolvable. These results greatly influenced the development of mathematical logic. Church also made an important contribution to the development of combinatory logic and carried out research in logical semantics and modal logic.

WORKS

In Russian translation:
Vvedenie v matematkheskuiu logiku, vol. 1. Moscow, 1960.

Alonzo Church

(person)
A twentieth century mathematician and logician, and one of the founders of computer science. Church invented the lambda-calculus and posited a version of the Church-Turing thesis.

Alonzo Church

(2)
References in classic literature ?
Surely this is to bring down the Holy Ghost, instead of the likeness of a dove, in the shape of a vulture or raven; and set, out of the bark of a Christian church, a flag of a bark of pirates, and assassins.
The widow's glance was observed to wander, for an instant, towards a window of the church, as if searching for the time-worn marble that she had dedicated to her first husband; then her eyelids dropped over their faded orbs, and her thoughts were drawn irresistibly to another grave.
The whole atmosphere was dizzy and dangerous, as if men were upheld in air amid the gyrating wings of colossal genii; and the whole of that old church, as tall and rich as a cathedral, seemed to sit upon the sunlit country like a cloudburst.