Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM 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 nonselfidenticals.
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 Email subject to legal action. I reserve the right to publicly post or ridicule any abusive Email. Reply to domain Patriot dot net user shmuel+news to contact me. Do not reply to spamtrap@library.lspace.org



