[FOM] CH and mathematics32
T.Forster at dpmms.cam.ac.uk
Sat Feb 2 03:24:16 EST 2008
On Thu, 31 Jan 2008, James Hirschorn wrote:
> This was discussed e.g. by Steel in some talk for which slides are available
>> The answer seems to be that V = WF does not exclude anything that most
>> mathematicians care about.
> This agrees with his answer, that "we know of no interesting structure
> outside WF".
What is the force of `interesting' here? Is it an expression of his
preferences? Or a judgement about the value of what lies outside WF?
``V = WF doesn't exclude anything that most mathematicians care about...''
Perhaps. But presumably the question we should be asking is ``Does it
exclude anything that mathematicians *ought* to care about?''
URL: www.dpmms.cam.ac.uk/~tf; DPMMS ph:
+44-1223-337981. Mobile +44-7887-701-562.
More information about the FOM