Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
Drexel University or The Math Forum.
|
|
|
|
Re: when indecomposability is decomposable
Posted:
Feb 21, 2013 4:01 AM
|
|
In <yfGdnVH3XuwxeLnMnZ2dnUVZ_uWdnZ2d@giganews.com>, on 02/20/2013
at 09:03 AM, fom <fomJUNK@nyms.net> said:
>The validity of the inference being justified by
>what stance?
The axioms and the rules of inference.
>A number of years ago, there was a John Correy on these newsgroups
>who formulated a set of axioms that could be syntactically
>manipulated to "prove" the existence of non-self-identicals.
Within his theory.
>He had been hammered on the basis of the ontological import
>of x=x.
Ontology is irrelevant. What matters is whether his work was
consistent and interesting.
BTW, there was a serious shift in how mathematicians viewed
foundational issues after, e.g., Gödel, Cohen.
--
Shmuel (Seymour J.) Metz, SysProg and JOAT <http://patriot.net/~shmuel>
Unsolicited bulk E-mail subject to legal action. I reserve the
right to publicly post or ridicule any abusive E-mail. Reply to
domain Patriot dot net user shmuel+news to contact me. Do not
reply to spamtrap@library.lspace.org
|
|
|
|
