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 hav

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 prefe

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 natur

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 probl

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( s(0))

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

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?

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 natural