Am Donnerstag, 5. Dezember 2013 23:09:54 UTC+1 schrieb Zeit Geist:
> I consider myself to be a Platonic-Formalist.
Platonic? That means all elements and sets exist somewhere? Without the set of all sets, of course. And without the set of all sets without the sets of all sets. And without the set of all sets without the sets of all sets without the sets of all sets. And without ...
Where is the platonic limit? . > > It is possible for any Consistent Formal System to Exist ( in "Reality" ), because the Forms of that Formal System Exist ( in our Minds ).
It is even possible for an inconsistent system to exist in some minds. This has been proved by observing the writings of many thousands of matheologians. > > > Today the Mathematician is Not Neccesarily the Scientist and vise versa.
In particular the matheologians is not a scientist. He believes that there are undefinable definitions, that "every element" of an accessible set means "all elements" of an inaccessible set, that super tasks supply a strictly increasing sequence f(n) which has limit limit zero, that uncountably many elements can be indexed by countably many indices. No that is not possible in science.
> That is why Not All Mathematics applies directly to Science.
In particular matheology can not at all be applied to science because in science every definition has to be definable, not more elements can be well-ordered than indexes are available, and finished infinity does not belong to science.