FREE HISTORICAL FIGURES OF COMPUTING DOSSIER
Alonzo Church
1903–1995 · Mathematician & logician
Mathematician & logician
Created lambda calculus and proved undecidability results.
FREE HISTORICAL FIGURES OF COMPUTING DOSSIER
1903–1995 · Mathematician & logician
Created lambda calculus and proved undecidability results.