‹ BackHN Continuity

Thread

I vibed a proof of Conway's conjecture

271 points · 297 comments · m-hodges

  1. howunfortunate · · focus · HN ↗
    > On the second day, there are two gaps: “between nothing and zero” and “between zero and nothing”. Two numbers spawn in those two gaps. Call them –1 and 1.

    Got lost here. I think I'm officially too dumb for math.

    1. danabramov · · focus · HN ↗
      I made a picture, hope this helps: <a href="https:&#x2F;&#x2F;excalidraw.com&#x2F;#json=zfKWWn1h7GzdFca6RDdXl,plr_WeaCtvFxbjULFjq6zw" rel="nofollow">https:&#x2F;&#x2F;excalidraw.com&#x2F;#json=zfKWWn1h7GzdFca6RDdXl,plr_WeaCt...

      Sorry it was confusing.

      Edit: the picture is now edited into the article.

      1. howunfortunate · · focus · HN ↗
        This would make a lot more sense to me if &quot;nothing&quot; and &quot;nothing&quot; were instead &quot;-inf&quot; and &quot;+inf&quot;

        Some other comments clarify that &quot;nothing&quot; is more accurately &quot;the empty set&quot;. This is helpful because at first I wrongly synonomized &quot;nothing&quot; with zero. But now I get tripped up on the &quot;between&quot; language. Maybe it&#x27;s a lack of background in sets, but I don&#x27;t know what &quot;between&quot; implies for an integer (zero) and a set (the empty set).

        1. mcintyre1994 · · focus · HN ↗
          I&#x27;m not a mathematician and &quot;nothing&quot; doesn&#x27;t really make sense for me either. But I guess the problem with inf might be that it&#x27;d be strange to get +2 as the next thing between +1 and +inf, while getting +1.5 between +1 and +2.
          1. danabramov · · focus · HN ↗
            It&#x27;s more that surreal numbers already include infinities like ω, ω + 1, and so on, so &quot;inf&quot; felt like a concept I want to avoid. The actual description is set-theoretic and uses empty sets there (&quot;nothing to the left&quot;, &quot;nothing to the right&quot;) so I took that a bit too literally.
Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.