Alonzo Church
American mathematician and logician (1903–1995)
Biography
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.
Occupation
Alonzo Church is recorded as a logician, a philosopher, a university teacher, a mathematician and a computer scientist, born in District of Columbia (1903–1995).
Connections to District of Columbia
Alonzo Church was born in Washington, D.C., District of Columbia in 1903. Explore other notable figures from District of Columbia, historic sites connected to this era, and the full colonial and statehood history of the state using the links below.
Everything a full report reveals about Washington, D.C.
Alonzo Church came from Washington, D.C.. A full Aubrey report on Washington, D.C. pulls together everything the historical record holds about that place, from the first settlers to the twentieth century:
Every location is different. Not every section appears for every place, only what the historical record actually holds turns up in a report.
More notable figures from District of Columbia
Other historical figures born in District of Columbia, ranked by historical prominence.
Frequently asked about Alonzo Church
Biographical content adapted from Wikipedia under the Creative Commons Attribution-ShareAlike 4.0 International License. Source: Wikipedia.
Research the history of any US location
Aubrey searches federal archives, archaeological records, historic registers, and primary sources to build a full historical report for any address or place in the United States.





