Re: 1-1/2+1/3-1/4+1/5-1/6+1/7



On Jan 30, 12:39 am, Han de Bruijn <Han.deBru...@xxxxxxxxxxxxxx>
wrote:
Aatu Koskensilta wrote:
On 2008-01-29, in sci.math, Han de Bruijn wrote:

Typical .. I'd rather say that they're exactly the same.

How are they the same? That a set A is closed under the successor
function means that if n is in A, n+1 is in A. What would "applying
the successor function an infinite number of times" mean?

Sure. And all smartass engineers in the world cannot succeed in building
a machine A where if n is in A, n+1 is in A. Don't you agree that such a
design requirement _implies_ infinity? And that indeed, it means exactly
the same as applying the successor function an infinite number of times?
What makes the first design requirement more amenable than the second? I
would rather say that _both_ are impossible. But IF you accept the first
THEN intellectual honesty should force you to accept the second as well.

You seem to confuse 'intellectual honesty' with 'embrace bizarre
mentation'.

MoeBlee

.



Relevant Pages

  • Re: Humble pie.
    ... the set of natural numbers has an order of infinite ... This seems to me to be pure nonsense. ... >repeat applications of a successor function (i.e., by adding single units). ...
    (sci.logic)
  • Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
    ... the successor function an infinite number of times" mean? ... with Aatu objecting to HdB's infinite iteration of ... So Aatu objects to HdB iterating the successor function, ...
    (sci.math)
  • Re: Humble pie.
    ... >>infinite number of integers on it. ... > which, starting from the single unit, can not in principle be discovered by ... > repeat applications of a successor function ... list of natural numbers because lists are not in its domain. ...
    (sci.logic)
  • Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
    ... the same as applying the successor function an infinite number of times? ... What makes the first design requirement more amenable than the second? ...
    (sci.math)
  • Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
    ... the successor function an infinite number of times" mean? ... the diagonal argument of G. Cantor"), Aatu had this to say (written on ... I see _no_ difference between HdB iterating successor or x^2+c ...
    (sci.math)

Quantcast