blockversewordysbillionaire.aiyourlistWhiteboardAppquizieunschool

News

Home
Popular
Elections
Library
Play

Genius — OpenServe

Alonzo Church — latest news, discussion & facts — IJR

Sponsored

Alonzo Church

mathematician

Alonzo Church

American mathematician and logician (1903–1995)

0members1here now

Ask Genius Site

Feed Discussions About

Sort by

Content type

Loading

Latest Alonzo Church news and discussion

Sort by

Content type

Nothing published yet

The conversation starts anyway — post the first discussion above.

About Alonzo Church

Alonzo Church was an American computer scientist, mathematician, logician, and philosopher who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, the Church–Turing thesis, proving the unsolvability of the Entscheidungsproblem, the Frege–Church ontology, and the Church–Rosser theorem. Alongside his doctoral student Alan Turing, Church is considered one of the founders of computer science.

0

members

1

here now

Occupation: mathematician, philosopher, university teacher, computer scientist
Citizenship: United States

Facts from Wikidata (CC0).

Born

June 14, 1903

Died

August 11, 1995

Everything about Alonzo Church →

Live room · 1 here

Be the first in the room — members see you arrive.

Not who you're looking for? Others named Alonzo Church: American academic administrator (1793-1862)

Related journals

Connected

An Unsolvable Problem of Elementary Number Theory A formulation of the simple theory of types A note on the Entscheidungsproblem On the concept of a random sequence A Set of Postulates for the Foundation of Logic Book Review: A System of Logistic Correction to A note on the Entscheidungsproblem Alternatives to Zermelo's Assumption Church–Turing thesis Church–Turing–Deutsch principle

Alonzo Church across IJR

Ask Genius by OpenServe about Alonzo Church Create in Studio Build a game Watch videos