[FOM] From theorems of infinity to axioms of infinity
Paul Budnik
paul at mtnmath.com
Mon Mar 18 12:31:33 EDT 2013
On 03/15/2013 01:23 PM, Monroe Eskew wrote:
> ....
> Set theory is the only branch of mathematics currently capable of addressing classical questions which turned out to be independent such as:
> 1) Is the continuum hypothesis true?
> 2) Is the axiom of choice needed to build a nonmeasurable set of reals?
> 3) Can there be a probability measure on R which measures all subsets?
>
> These are things we do care about (if "we" means the general mathematical community when these questions were asked classically). This should serve as justification for using set theory and all its metaphysical extravagance.
>
Set theory as an interesting formalism can be separated from its
"metaphysical extravagance" at least in the mind of Paul J. Cohen who
derived part of these independence results.
"Does set theory, once we get beyond the integers, refer to an existing
reality, or must it be regarded, as formalists would regard it, as an
interesting formal game? ... Through the years I have sided more firmly
with the formalist position. This view is tempered with a sense of
reverence for all mathematics which has used set theory as a basis, and
in no way do I attack the work which has been done in set theory." From
Paul J. Cohen, "Skolem and Pessimism about Proof in Mathematics"
<http://rsta.royalsocietypublishing.org/content/363/1835/2407.full#sec-4>
Paul Budnik
www.mtnmath.com <http://www.mtnmath.com>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20130318/3f8e97eb/attachment.html>
More information about the FOM
mailing list