Talk:Walter Savitch

From Wikipedia, the free encyclopedia

	This article is within the scope of WikiProject Biography. For more information, visit the project page.	Biography Portal
Stub	This article has been rated as Stub-Class on the project's quality scale. [FAQ]

This article has been automatically assessed as Stub-Class by WikiProject Biography because it uses a stub template. If you agree with the assessment, please remove {{WPBiography}}'s auto=yes parameter from this talk page. If you disagree with the assessment, please change it by editing the class parameter of the {{WPBiography}} template, removing {{WPBiography}}'s auto=yes parameter from this talk page, and removing the stub template from the article.

I deleted the following:

NL was the first formally defined complete language and has subsequently lead to a large body of research in computational complexity theory.

It doesn't make sense (NL is a class, not a language). I also don't think its true; many-one reductions were not fully formalized until Cook. I could be wrong, but it needs a citation in any case.