[FOM] Possible worlds
joeshipman at aol.com
Wed Dec 20 18:40:42 EST 2006
>From: tchow at alum.mit.edu
>The suggestion that some have made, of imposing some kind of limit on
>length or intricacy of the deductive consequences allowed (where the
>depends on context, I suppose), also sounds promising.
The problem with this is that, although Wiles's proof is extremely
complicated, there are many other theorems which were open questions
for a long time, where the eventual proof was short (though very hard
to find, for the same reasons NP seems to be bigger than P), and for
these theorems introducing a notion of feasibility doesn't help.
Check out the new AOL. Most comprehensive set of free safety and
security tools, free access to millions of high-quality videos from
across the web, free AOL Mail and more.
More information about the FOM