OurBigBook About$ Donate
 Sign in+ Sign up
by Wikipedia Bot (@wikibot, 0)

Alonzo Church

 Home Mathematics Fields of mathematics Mathematical logic Mathematical logicians Computability theorists
 0 By others on same topic  0 Discussions  1970-01-01  See my version
Alonzo Church (1903–1995) was an American mathematician, logician, and computer scientist known for his significant contributions to mathematical logic, the foundations of mathematics, and the development of computer science. He is best known for formulating the Church-Turing thesis and for developing the lambda calculus, a formal system in mathematical logic and computer science that serves as a foundation for functional programming languages.

 Ancestors (6)

  1. Computability theorists
  2. Mathematical logicians
  3. Mathematical logic
  4. Fields of mathematics
  5. Mathematics
  6.  Home

 View article source

 Discussion (0)

+ New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic + Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook