Re: Cantor Confusion

Han.deBruijn@xxxxxxxxxxxxxx wrote:
David Marcus schreef:

Han.deBruijn@xxxxxxxxxxxxxx wrote:

To those who are unable to see it, there is no evidence that there is
any sort of mathematics not describable by set theory. But this is a
vicious circle. Mainstream mathematics simply DOES NOT ALLOW any sort
of mathematics that violates set theory.

Quite a silly thing to say. Do you have any evidence for such an absurd
statement? [ ... snipped "counter evidence" with Category Theory ... ]

Ah, now don't act as if you didn't have those heated debates with some
manifest opponents of set theory, i.e. Wolfgang Mueckenheim. I'm not
talking about any possibilities to replace set theory by look-alikes.

I'm talking about rejecting any monolithic foundation for mathematics,
any "foundation" that narrows down my freedom of thinking. I hate any
form of NewSpeak, whether it is called Set Theory, Category Theory or
Object Oriented Programming. I've seen too many of these.

Han de Bruijn

You are the one who is trying to restrict peoples' freedoms. You
cannot name a single piece of mathematics that is "forbidden"
by set theory. You on the other hand want to abolish any mathematics
that involves infinity, which is a severe restriction on others
freedom of thinking. In short, you are a hypocrite.

I would imagine your understanding of Object Oriented Programming
is as woefully garbled as you understanding of set theory.

Stephen
.

Relevant Pages

  • Re: Well Ordering the Reals
    ... most of the standard axioms would get scrapped ... you claim that set theory is ... theory in which to express virtually all of mathematics. ... S (call this function 'omega pre S'). ...
    (sci.math)
  • Re: Cantorian pseudomathematics
    ... What I mean is set theory was not born just by the great thought of Cantor. ... of mathematics behind, which help greatly, and which even where necessary for the theory to be imagined. ... formalization, at a level up, for meta-theory. ... scientists and engineers doesn't have to be used by engineers. ...
    (sci.math)
  • Re: Cantorian pseudomathematics
    ... What I mean is set theory was not ... >> prove only the mathematics we set out to prove and not statements about ... >> formalization that does not compromise the other criteria. ... >> or show a formalization that does not compromise the other criteria. ...
    (sci.math)
  • Re: Das Kalenderblatt 090921
    ... as the appropriate foundation for modern mathematics, ... and set theory itself, ... Unter einer „Menge“ verstehen wir jede Zusammenfassung M von ... Die Existenz von R baut sich auf die " Dedekind'schen Schnitte " auf - ...
    (de.sci.mathematik)
  • Re: Kuratowski Ordered Pair
    ... notions of temporality and things like that, ... operation and mathematics seems to do just fine with the Kuratowski ... definitions are offered by detractors of the Kuratowski definition? ... Fromout set theory ...
    (sci.math)
Loading