Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Decision problem in nonstandard analysis

  1. yes, in finite time.

    1 vote(s)
    50.0%
  2. no, not in finite time.

    0 vote(s)
    0.0%
  3. it's undecidable. (or is that the same as option2?)

    1 vote(s)
    50.0%
  1. Sep 29, 2003 #1
    hello

    given a random hyperreal number x, can one decide if it is limited or unlimited in a finite amount of time? this is equivalent to the question of whether it can be decided if 1/x is a nonzero infinitesimal in finite time.

    here's a tutorial paper on the BSS machine which, i believe, involves basing machines on the continuous rather than the discrete. http://www.ulb.ac.be/assoc/bms/Bulletin/bul971/meer.pdf . i have a feeling that the BSS machine is what will lead to an answer to my question if it isn't trivial. if it is trivial, let me know. the only thing is that the BSS machine is based on R or C and not R*, the set of hyperreal numbers. hmm...

    here's a tutorial paper on nonstandard analysis which gives the definition of the hyperreals along with limited, unlimited, and infinitesimal. it was written by a grad student, so excuse the shotty work of a hack: http://online.sfsu.edu/~brian271/nsa.pdf

    i believe that the question has philosophical implications regarding the situation of a being claiming to be God (akin to "unlimited") and others trying to decide if it really is "unlimited." if this can't be done in finite time, that would be interesting, wouldn't it? and if it's undecidable, that would be interesting, wouldn't it? but if it can be done in finite time, that wouldn't really help us in the real world to actually prove that a being is "unlimited."

    cheers,
    phoenix
     
  2. jcsd
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Can you help with the solution or looking for help too?
Draft saved Draft deleted



Similar Discussions: Decision problem in nonstandard analysis
Loading...