Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.


fom
Posts:
1,968
Registered:
12/4/12


Re: Cantor's absurdity, once again, why not?
Posted:
Mar 14, 2013 10:19 PM


On 3/14/2013 7:32 PM, david petry wrote: > On Thursday, March 14, 2013 11:38:51 AM UTC7, fom wrote: > >> More precisely, mathematical facticity relative to >> the epistemic justification of a derivational system >> is more important than mathematical actuality relative >> to dialectical argument. > > > "liberal (and even some socialist) mathematicians are often > content to work within the hegemonic Zermelo?Fraenkel framework > (which, reflecting its nineteenthcentury liberal origins, > already incorporates the axiom of equality) supplemented only > by the axiom of choice" ( A. Sokal, "Transgressing the Boundaries: > Towards a Transformative Hermeneutics of Quantum Gravity") >
That is a very humorous quote from my point of view.
When I tried to publish, it was with a paper entitled "A Formal Description of Identity".
Among all of the possible statement concerning a philosophy of mathematics that you could have chosen, the one you did is exactly the negation of my philosophy.
The very objection I have to ZermeloFraenkel set theory is the manner in which the identity predicate is employed. I do not view the axiom of extension as foundational.



