• Posts
  • RSS
  • ◂◂RSS
  • Contact

  • Decimal Inconsistency

    February 7th, 2015
    math, ideas  [html]
    Ben Orlin and I were playing around with a weird kind of infinite repeating decimal. He wrote up a blog post, there was some discussion, but now I think there's a contradiction in what I thought were reasonable axioms.

    First a summary. This is all based around the idea that you can have "0.9̅3" or "0.9̅4," and in fact "0.9̅3 < 0.9̅4". The first one is 0.999...3 while the latter is 0.999...4. Or "first you have nines forever, and then either a three or a four". Since 3 < 4, we should have 0.9̅3 < 0.9̅4. If this is confusing Ben's post goes into more detail.

    (I'll note here that this isn't normal math. You can't add these, subtract them, multiply, etc. Normally 0.9̅ is exactly 1 and 0.9̅3 is meaningless. We're playing with some things that are kind of like numbers, but not entirely.)

    Here are some properties it seems like these numbers should have, where x and y are infinite decimals and R is any of >, =, or <. To simplify writing in text we're writing 0.x̅y as (x)y.

    1. x R y → (x) R (y)
    2. x R y → xz R yz
    3. x R y → zx R zy
    4. x = x0
    5. x(x) = (x)
    6. (xy) = x(yx)
    Here's the contradiction, which my coworker Shawn figured out:
      ((x)x) = (x)(x(x))   by #6
             = (x)((x))    by #5
             = ((x))       by #5
    
    so
    
        (x)x = (x)         by #1
             = (x)0        by #4
    
    so
    
           x = 0           by #3
    
    which is a contradiction.
    
    This seems right to me, but all of the axioms also seem reasonable. I'm not sure what you would drop to make this more reasonable.

    Comment via: google plus, facebook

    Recent posts on blogs I like:

    The Politics of Taking Out the Garbage

    There’s a quote bouncing around urbanist media, attributed to Fiorello LaGuardia, that there is no Republican or Democratic way of taking out the garbage; see for examples CityLab and Governing. The idea of this quote is, there is no ideology in urban gov…

    via Pedestrian Observations June 1, 2020

    A simple way to get more value from tracing

    A lot of people seem to think that distributed tracing isn't useful, or at least not without extreme effort that isn't worth it for companies smaller than FB. For example, here are a couple of public conversations that sound like a number of priva…

    via Posts on Dan Luu May 31, 2020

    Embrace mediocre tastes, true happiness

    The plain fact is that there are no obvious moral consequences to how people entertain themselves in their leisure time. The conviction that artists and connoisseurs are morally advanced is a cognitive illusion, arising from the fact that our circuitry fo…

    via Holly Elmore May 24, 2020

    more     (via openring)

    More Posts


  • Posts
  • RSS
  • ◂◂RSS
  • Contact