[FOM] Possible worlds

joeshipman@aol.com joeshipman at aol.com
Wed Dec 20 18:40:42 EST 2006

>-----Original Message-----
>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.

-- JS
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 mailing list