FOM: Some thought on "Realism"
pschust at rz.mathematik.uni-muenchen.de
Mon Jun 19 10:37:30 EDT 2000
>From owner-fom at math.psu.edu Thu Jun 15 22:04 MET 2000
>Date: Thu, 15 Jun 2000 14:06:57 -0400
>From: Joe Shipman <shipman at savera.com>
>To maintain that the twin prime conjecture is indeterminate, you don't
>have to deny the determinacy of the property "primeness", nor do you
>have to deny ontological status to any integers. You just need to deny
>that the SET of integers exists as a completed whole.
Doesn't it suffice to reject the idea that all properties/subsets
of integers are decidable/detachable?
I cannot see why one had to deny the integers "as a completed whole".
More information about the FOM