Re: Review of Mueckenheims book.

On Mar 8, 11:17 pm, Virgil <vir...@xxxxxxxxxxx> wrote:
In article <1173422890.374310.290...@xxxxxxxxxxxxxxxxxxxxxxxxxx>,

"MoeBlee" <jazzm...@xxxxxxxxxxx> wrote:
Again, I never disputed that for certain purposes it is not required
to specify a particular codomain.

In fact, you insist on it for set theory.

No, the standard set theory definition of 'is a function' does not
require specifying a particular codomain.

That does not contradict that we may specify a certain codomain in any
part of a proof or definition of a new symbol for the language.

It is the fact that for many if not most purposes, specification of a
codomain /is/ required that you have been finding objectionable.

No, I have no objection to specifying a particular codomain in any
discussion or proof. I said that sometimes it is crucial to specify a
particular codomain, such as the example I mentioned of the proof of
the definition by recursion theorem.

Cleary you have not been reading what I've been saying over and over
and over (or maybe my posts are not all appearing in your view).

MoeBlee



.

Relevant Pages

  • Re: Review of Mueckenheims book.
    ... standard set theory and not in many other treatments of other ... does not require specifying a particular codomain. ...
    (sci.math)
  • Re: Review of Mueckenheims book.
    ... standard set theory and not in many other treatments of other ... does not require specifying a particular codomain. ... I have not seen a formulation of the triples approach from ...
    (sci.math)
  • Re: Review of Mueckenheims book.
    ... functions for which there is no particular codomain. ... that every function f had a domain identity function, d, with d o d = d ... that is used in SET THEORY. ... Yes, for the zillionth time, the standard set theory definition of ...
    (sci.math)
  • Re: Review of Mueckenheims book.
    ... Tony Orlow wrote: ... You have not specified either a range or a codomain. ... Duh. ... When you specify n e N, n^2, one has to presume that N is the /domain/, ...
    (sci.math)
  • Re: Review of Mueckenheims book.
    ... to specify a particular codomain. ... you insist on it for set theory. ... It is the fact that for many if not most purposes, ... codomain /is/ required that you have been finding objectionable. ...
    (sci.math)