Alonzo Church made major contributions to foundations by creating the lambda calculus and proving the computational undecidability of whethe...| professorhewitt.blogspot.com
