Re: Bijections (was OM = SIGMA1)

2007-11-16 Thread Torgny Tholerus
Quentin Anciaux skrev: Hi, Le Thursday 15 November 2007 14:45:24 Torgny Tholerus, vous avez écrit : What do you mean by "each" in the sentence "for each natural number"?  How do you define ALL natural numbers? There is a natural number 0. Every

Re: Bijections (was OM = SIGMA1)

2007-11-16 Thread Quentin Anciaux
Le Friday 16 November 2007 09:33:38 Torgny Tholerus, vous avez écrit : Quentin Anciaux skrev: Hi, Le Thursday 15 November 2007 14:45:24 Torgny Tholerus, vous avez écrit : What do you mean by each in the sentence for each natural number?  How do you define ALL natural numbers? There

Re: Bijections (was OM = SIGMA1)

2007-11-16 Thread Bruno Marchal
Le 15-nov.-07, à 14:45, Torgny Tholerus a écrit : Bruno Marchal skrev:Le 14-nov.-07, à 17:23, Torgny Tholerus a écrit : What do you mean by ...? Are you asking this as a student who does not understand the math, or as a philospher who, like an ultrafinist, does not believe in the

Re: Bijections (was OM = SIGMA1)

2007-11-16 Thread meekerdb
Bruno Marchal wrote: ... If not, let us just say that your ultrafinitist hypothesis is too strong to make it coherent with the computationalist hypo. It means that you have a theory which is just different from what I propose. And then I will ask you to be ultra-patient, for I prefer to

Re: Bijections (was OM = SIGMA1)

2007-11-16 Thread Bruno Marchal
Le 16-nov.-07, à 09:33, Torgny Tholerus a écrit : There is a natural number 0. Every natural number a has a natural number successor, denoted by S(a). What do you mean by Every here?  Can you give a *non-circular* definition of this word?  Such that: By every natural number I mean

The big-black-cloud-interpretation.

2007-11-16 Thread Torgny Tholerus
Bruno Marchal skrev: Le 15-nov.-07, 14:45, Torgny Tholerus a crit : Do you have the big-black-cloud interpretation of "..."? By that I mean that there is a big black cloud at the end of the visible part of universe, Concerning what I am trying to convey, this is

Re: Bijections (was OM = SIGMA1)

2007-11-16 Thread Torgny Tholerus
Bruno Marchal skrev: Le 15-nov.-07, 14:45, Torgny Tholerus a crit : But m+1 is not a number. This means that you believe there is a finite sequence of "s" of the type A = s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(

Introduction

2007-11-16 Thread Gene Ledbetter
Hello, I came upon this group entirely by chance and concluded that I had somehow found evidence of Intelligent Life on the Internet. I had been doing an Internet search on memory in single-celled organisms, such as the amoeba. Amoebas seem to move purposefully, which would suggest that they