[FOM] CH and mathematics

Thomas Forster T.Forster at dpmms.cam.ac.uk
Sat Jan 19 03:14:28 EST 2008

Well, if i said that i was trailing my coat.  The idea that existence of
a mathematical object is the same as the consistency of its description is 
a pervasive view arising - i think - from a subliminal apprehension of the 
completeness theorem for first-order logic.  It's not a *completely* crazy
idea; in the context I probably meant that Bill was advocating something 
that conflicted with this view and that it might be an idea to think of 
his point (whatever it was) in that light.

On Fri, 18 Jan 2008, Bill Taylor wrote:
> Last year, while list member Thomas Forster was visiting here, a topic
> came up in conversation between us, wherein I was querying whether some
> mathematical structure "really existed".  His quick reply was, "Well,
> we know it's consistent, therefore it exists.  Consistency is existence!"
> Bill Taylor.
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom

URL:  www.dpmms.cam.ac.uk/~tf; DPMMS ph:
+44-1223-337981. Mobile +44-7887-701-562.

More information about the FOM mailing list