[FOM] The boundary of objective mathematics
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?
More information about the FOM