This is an old revision of this page, as edited by Hans Adler(talk | contribs) at 21:05, 13 November 2007(Replaced philosophy banner by maths banner). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.Revision as of 21:05, 13 November 2007 by Hans Adler(talk | contribs)(Replaced philosophy banner by maths banner)
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics
Perhaps we could mention that finite model theory might help us resolve P vs. NP? (See http://www2.ing.puc.cl/~jabaier/iic2212/poll-1.pdf for instance). My understanding is that several finite model theorists are in that field in hopes of conquering this major problem. Any thoughts?
