Wikipedia:Articles for deletion/William w tait
and expand. Tait is a famous logician, so much so that his last name alone is enough to identify him to those in the field. He was the inventor of what is now called "Logical relations", a strong method for proving termination of typed lambda calculus|lambda calcului. We learned about him in grad school. Being professor emeritus at a place like University of Chicago should be enough to qualify someone via  anyway. &mdash;&nbsp
— User:Brighterorange, 22:13, 19 April 2008 (UTC)
Stance: keep
Cited policy: WP:PROF (Wikipedia:Notability)