Re: Review of Mueckenheims book.

On 2007-03-07, David Marcus wrote:
The questions weren't meant to be exhaustive, but my vaguer question
seemed to elicit little useful info. Also, note that I was asking about
mathematics other than set theory.

I readily profess that outside mathematical logic my ignorance knows no bounds.

More to the point, you aren't offering an idiosyncratic, specialized
definition of function.

There wasn't anything particularly idiosyncracit in MoeBlee's rather
tediously detailed comments on functions, especially if we recall that what
was originally at issue was a set theoretic question, concerning omega,
P(omega) and the identity mapping on omega. Of course, in the good USENET
tradition, it all quickly deteriorated into a pointless semantic quabble.

--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)

"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.

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: Cantor Confusion
    ... omega is not a /natural/ number. ... In contemporary set theory almost everything is a set. ... I don't want to debate about the axioms of ZFC being sets. ... satisfactory foundation for al other branches of mathematics. ...
    (sci.math)
  • Re: Cantor Confusion
    ... Experience has shown that practically all notions used in contemporary ... the axiomatic set theory serves as a ... satisfactory foundation for alother branches of mathematics. ... that omega = |omega| in modern set theory. ...
    (sci.math)
  • Re: Cantor Confusion
    ... In contemporary set theory almost everything is a set. ... I don't want to debate about the axioms of ZFC being sets. ... satisfactory foundation for alother branches of mathematics. ... that omega = |omega| in modern set theory. ...
    (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)