On Mon, Dec 18, 2006 at 12:02:19PM -0800, John McCarthy wrote:
>
> I think possible world formalisms are likely to be useful for some
> purposes. Indeed I used them in an article "Two puzzles concerning
> knowledge."
>
> I think partial possible worlds are useful, although I didn't formally
> use them in the puzzles article. I am perfectly willing to use
> partial possible worlds in which FLT is false, and it is unlikely to
> get me into contradiction, since the proof of FLT is far beyond my
> ability to follow.
suggesting that some variety of feasible-mathematics might be in
order.
-- hendrik
|
