Date: Feb 5, 2013 10:18 AM
Author: fom
Subject: Re: Matheology § 203

On 2/5/2013 3:51 AM, WM wrote:

<snip>

> More means more than all rational points of the universe.
> Gödel and Cohen doubted the continuum hypothesis. They estimate the
> cardinality of the continuum as being muchg larger.


So, points exist?

Goedel's doubts arose from mistaken logic.

Cohen's opinions arose from the failure to
recognize the relation of names to model
theory.

Although Russell wrote about the possibility
of points existing, his stated opinions about
geometry in the sense of sensible externality
was that the geometric primitives are the
lines and planes--that is, the parts different
from points.

The extensionality of mathematics, in general,
is an artifact of Scholasticism. As another
author who did not conform to this view, one
has Leibniz--at least with regard to his logical
investigations.

So, points exist?