“There is no sound basis for preferring any one of the known systems of logic as being the one and only 'true' logic.”

About Alonzo Church

Mathematician • American

Alonzo Church was a pioneering American mathematician and logician who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the development of lambda...