Re: Cantors proof

From: Dave Seaman (dseaman_at_no.such.host)
Date: 09/27/04 

Date: Mon, 27 Sep 2004 21:48:36 +0000 (UTC)

On 27 Sep 2004 12:45:18 -0700, Daryl McCullough wrote:
> Dave Seaman <dseaman@no.such.host> writes:

>> Definition. A natural number is a transitive set that is well ordered by
>> the set-membership relation and also by the inverse of the set-membership
>> relation.

> Yes, for *some* definitions of the terms "natural number" and "finite" it
> is tautological that the natural numbers are finite. But for *other*
> definitions, it is necessary to prove it.

For which definition is mathematical induction an appropriate tool to
prove that all natural numbers are finite? It certainly is not an
appropriate tool if you don't bother to explain which definitions you are
using. 

-- 
Dave Seaman
Judge Yohn's mistakes revealed in Mumia Abu-Jamal ruling.
<http://www.commoncouragepress.com/index.cfm?action=book&bookid=228>

Relevant Pages

  • Re: Basic set question
    ... >> Dave Seaman ... >> Judge Yohn's mistakes revealed in Mumia Abu-Jamal ruling. ... > Calling a list a set does not make it one. ...
    (sci.math)
  • Re: Transcendental Dimensions
    ... Dave Seaman ... Judge Yohn's mistakes revealed in Mumia Abu-Jamal ruling. ... Prev by Date: ...
    (sci.math)
  • Re: 0^0
    ... Dave Seaman ... Judge Yohn's mistakes revealed in Mumia Abu-Jamal ruling. ... Prev by Date: ...
    (sci.math)
  • Re: abundance of irrationals
    ... > following construction of all reals, leading to aleph_0 binary digits ... Dave Seaman ... Judge Yohn's mistakes revealed in Mumia Abu-Jamal ruling. ...
    (sci.math)
  • Re: (sketch of a) Proof that the set of Real Numbers doesnt exist
    ... What about the algebraic irrationals? ... Dave Seaman ... Judge Yohn's mistakes revealed in Mumia Abu-Jamal ruling. ...
    (sci.math)