Re: Zenkin's paper on Cantor (reply of Dr. Zenkin)

From: Han de Bruijn (Han.deBruijn_at_DTO.TUDelft.NL)
Date: 11/02/04 

Date: Tue, 02 Nov 2004 13:25:55 +0100

Chas Brown wrote:
[ ... most of excellent writeup deleted ... ]
> Mathematicians who found the implications of Cantor's approach
> distasteful to their intuitions did not cease doing math. They
> eliminated those axioms and forms of logic which they found did not
> correspond to their intuitions, but they still did what mathematicians
> do - they investigated the logical consequences of their favorite
> assumptions.

Affirmative!

An example of such a mathematician is L.E.J. Brouwer, the founder
of intuitionism.

> In any case, to accept that the axiom of infinity [ .. ]

I've been searching for the complete axioms of ZFC on the web, but
encountered (somewhat) contradictory results. Would you be so kind
to direct me to a site - if it exists - where I can find a flawless
exposition of these axioms? Thanx if you do :-)

Han de Bruijn

Relevant Pages

  • Re: Zenkins paper on Cantor (reply of Dr. Zenkin)
    ... > distasteful to their intuitions did not cease doing math. ... > eliminated those axioms and forms of logic which they found did not ... but they still did what mathematicians ...
    (sci.math)
  • Re: Zenkins paper on Cantor (reply of Dr. Zenkin)
    ... >> distasteful to their intuitions did not cease doing math. ... >> eliminated those axioms and forms of logic which they found did not ... but they still did what mathematicians ... There are a number of different equivalent sets of axioms. ...
    (sci.math)
  • Re: Zenkins paper on Cantor (reply of Dr. Zenkin)
    ... >> distasteful to their intuitions did not cease doing math. ... >> eliminated those axioms and forms of logic which they found did not ... but they still did what mathematicians ... > encountered contradictory results. ...
    (comp.theory)
  • Re: Zenkins paper on Cantor (reply of Dr. Zenkin)
    ... >> distasteful to their intuitions did not cease doing math. ... >> eliminated those axioms and forms of logic which they found did not ... but they still did what mathematicians ... > encountered contradictory results. ...
    (sci.math)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false?
    ... > mathematicians use an effective procedure to determine mathematical truth. ... mathematical axioms are not knowledge because they are not ...
    (comp.theory)