Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.



Re: A finite set of all naturals
Posted:
Aug 23, 2013 4:00 PM


On 23/08/2013 1:46 PM, Ben Bacarisse wrote:
> > The example I gave (odd(x) <> Ey[Sx=2*y]) is clearly positive according > to the definition he gave.
But by the same token, I've defined odd(x) in _two different_ classes of languages: one in which odd(x) is positive, one in which odd(x) is negative.
End of the story.
  There is no remainder in the mathematics of infinity.
NYOGEN SENZAKI



