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


Math Forum
»
Discussions
»
sci.math.*
»
sci.math
Notice: We are no longer accepting new posts, but the forums will continue to be readable.
Topic:
A finite set of all naturals
Replies:
5
Last Post:
Aug 24, 2013 1:22 AM




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



