Wikipedia:Articles for deletion/William w tait


 * The following discussion is an archived debate of the proposed deletion of the article below. Please do not modify it. Subsequent comments should be made on the appropriate discussion page (such as the article's talk page or in a deletion review).  No further edits should be made to this page.

The result was nomination withdrawn (non-admin closure) -- Roleplayer (talk) 01:04, 20 April 2008 (UTC)

William W. Tait

 * ( [ delete] ) – (View AfD) (View log)

University professor, notability not established. The only claim to notability in the article, written as "Curry-Howard-Tait correspondence" returns just 4 unique google hits (whereas "Curry-Howard correspondence" returns over 6,500). Roleplayer (talk) 16:27, 19 April 2008 (UTC)
 * Keep. Google Scholar lists the following frequently-cited papers by WW Tait.


 * Intensional Interpretations of Functionals of Finite Type I. WW Tait - The Journal of Symbolic Logic, 1967. Cited by 324


 * A realizability interpretation of the theory of species. Cited by 80


 * Normal derivability in classical logic. WW Tait - The Syntax and Semantics of Infinitary Languages, 1968 - Springer. Cited by 71


 * Finitism - WW Tait - The Journal of Philosophy, Cited by 54 -

These are probably enough to establish notability. I think that anyone considering bringing the biography of an academic to AfD should first do a search on Google Scholar at http://scholar.google.com, bearing in mind the strengths and weakness of Google Scholar. --Eastmain (talk) 18:10, 19 April 2008 (UTC)
 * INFINITELY LONG TERMS OF TRANSFINITE TYPE. WW TAIT - Proceedings of the... Logic Colloquium, 1968 - North-Holland Pub. Cited by 44
 * Note: This debate has been included in the list of Academics and educators-related deletion discussions.   —Eastmain (talk) 18:10, 19 April 2008 (UTC)
 * Keep. I found six different articles on logic topics here that already cite his papers (see "what links here" for his article, as I've gone through and wikilinked the citations). That seems enough for a keep based on Build the web, and it seems very likely from Eastmain's Google scholar results above (especially the 300+ citations to the intensional functionals paper) that he also passes WP:PROF. —David Eppstein (talk) 19:15, 19 April 2008 (UTC)


 * Keep per Eastmain and David Eppstein's comments. Nsk92 (talk) 20:10, 19 April 2008 (UTC)
 * Strong keep 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 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 WP:PROF anyway. &mdash; brighterorange  (talk) 22:13, 19 April 2008 (UTC)


 * The above discussion is preserved as an archive of the debate. Please do not modify it. Subsequent comments should be made on the appropriate discussion page (such as the article's talk page or in a deletion review). No further edits should be made to this page.