Friday, February 7, 2014

Huh

 Alonzo Church was "A deeply religious person [and] a lifelong member of the Presbyterian church." I never knew that. Heaven certainly has more than its fair share of logicians.

1 comment:

Matko said...

I love Church as a linguist because he developed the Lambda calculus which is a powerful tool in formal semantics.