[FOM] The boundary of objective mathematics

hendrik@topoi.pooq.com hendrik at topoi.pooq.com
Sat Mar 14 12:28:16 EDT 2009


On Fri, Mar 13, 2009 at 10:36:02AM -0700, Paul Budnik wrote:
> Monroe Eskew wrote:
> > Your position seems inconsistent.  You say that infinite objects do
> > not exist, yet you permit statements whose truth value is determined
> > by infinite objects.  
> No. I allow statements that are determined by a recursively enumerable 
> sequence of events. The events never ALL happen but EACH of them can 
> happen in a potentially infinite universe. Thus a statement about all of 
> them has on objective meaning in that it refers only to events each of 
> which is determined by a mechanistic process.

Thus these statements are falsifiable, in the sense of Popper.

Is that the point?

-- hendrik


More information about the FOM mailing list