Alonzo Church
A logician who gave computer science its first precise programming language and, with his student Turing, framed the fundamental limits of computation.
1903–1995 (age 92)·American mathematician and computer scientist·Birthday: June 14·The Greatest Generation
Biography
Alonzo Church operated in the rarefied air of pure logic, yet his abstractions built the bedrock of the digital world. At Princeton in the 1930s, he devised lambda calculus, a formal system for expressing computation based on function abstraction. While esoteric, it became the theoretical blueprint for functional programming languages like Lisp. His most famous contribution, the Church–Turing thesis, formulated with his doctoral student Alan Turing, posited that any effectively calculable function can be computed by a Turing machine—a conceptual leap that defined the very notion of an algorithm. Church also delivered a crushing blow to the dreams of early 20th-century mathematicians by proving the Entscheidungsproblem (the 'decision problem') unsolvable, showing that a universal mechanical method to settle all mathematical questions was impossible. His work created the vocabulary and set the boundaries for the entire field of theoretical computer science before a single modern computer was ever switched on.
The Greatest Generation
1901–1927
Grew up during the Depression, fought World War II, and built the postwar economic boom. Defined by shared sacrifice, institutional trust, and a belief that hard work and loyalty would be rewarded.
Alonzo was born in 1903, placing them squarely in The Greatest Generation. The events that shaped this generation — world wars, depression, and rapid industrialization — shaped the world they entered and the choices available to them.
#1 When Alonzo Was Born
The biggest hits of 1903
Alonzo's Life & Times
The world at every milestone
1903Born
Wright brothers achieve first powered flight
President: Theodore Roosevelt
1908Started school
Ford Model T goes into production
President: Theodore Roosevelt
1916Became a teenager
The Battle of the Somme claims over a million casualties
President: Woodrow Wilson
1919Could drive
Treaty of Versailles signed; Prohibition ratified
President: Woodrow Wilson
1921Could vote
First commercial radio broadcasts
President: Warren G. Harding"My Man" — Fanny Brice
1924Turned 21
First Winter Olympics held in Chamonix, France
President: Calvin Coolidge"It Had to Be You" — Isham Jones
1933Turned 30
FDR's New Deal launches; Prohibition ends
Gas: $0.18/galPresident: Franklin D. Roosevelt"Stormy Weather" — Ethel WatersBest Picture: Cavalcade
1943Turned 40
Allies invade Sicily; Battle of Stalingrad ends
Gas: $0.21/galHome: $3,290Min wage: $0.30/hrPresident: Franklin D. Roosevelt"I've Heard That Song Before" — Harry JamesBest Picture: Casablanca
1953Turned 50
DNA structure discovered by Watson and Crick
Gas: $0.27/galHome: $8,750Min wage: $0.75/hrPresident: Dwight D. Eisenhower"Song from Moulin Rouge" — Percy FaithBest Picture: From Here to Eternity
1963Turned 60
JFK assassinated in Dallas; Martin Luther King's 'I Have a Dream' speech
Gas: $0.31/galHome: $13,100Min wage: $1.25/hrPresident: Lyndon B. Johnson"Sugar Shack" — Jimmy Gilmer & The FireballsBest Picture: Tom Jones
1973Turned 70
US withdraws from Vietnam; Roe v. Wade decided
Gas: $0.39/galHome: $22,100Min wage: $1.60/hrPresident: Richard Nixon"Tie a Yellow Ribbon Round the Ole Oak Tree" — Tony Orlando & DawnBest Picture: The Sting
1983Turned 80
Internet adopts TCP/IP, creating the modern internet
Gas: $1.16/galHome: $57,700Min wage: $3.35/hrPresident: Ronald Reagan"Every Breath You Take" — The PoliceBest Picture: Terms of Endearment
1995Died at 92
Oklahoma City bombing; Windows 95 released
Gas: $1.15/galHome: $96,500Min wage: $4.25/hrPresident: Bill Clinton"Gangsta's Paradise" — CoolioBest Picture: Braveheart
Key Achievements
- Invented lambda calculus, a formal system that became the foundation for functional programming languages.
- Proved the unsolvability of the Entscheidungsproblem (decision problem), a landmark result in mathematical logic.
- Co-articulated the Church–Turing thesis, which defines the fundamental limits of mechanical computation.
- Founded the 'Journal of Symbolic Logic' and served as its editor for over four decades.
- Mentored a generation of influential logicians and computer scientists, including Alan Turing and Stephen Kleene.
Did You Know?
His doctoral students at Princeton included Alan Turing, who later formalized the concept of the universal computer.
He served in the U.S. Navy during World War I, before beginning his academic career.
He spent nearly his entire academic career at Princeton University and later at UCLA.
The Church–Rosser theorem, a key property of lambda calculus, is named for him and his student John Barkley Rosser.
“The fact is that the meaning of a word is not something that can be locked up in a box.”
