‹ BackHN Continuity

Thread

I vibed a proof of Conway's conjecture

271 points · 297 comments · m-hodges

  1. gbjcantab · · focus · HN ↗
    For some reason, this approach makes me think of the difference between “wizardry” and “sorcery” in some fantasy magic systems. The magic of “wizards” is fundamentally based on a deep study and understanding of arcane things, perhaps assisted by some (necessary or helpful) tools of great power. “Sorcerers” summon supernatural beings and are able to control them, cajole them, and protect themselves and others against them (with more or less success)... but the actual desired magical effect is performed by those beings.

    Computing has historically been a field of wizardry. It's... interesting (?) to see so many people pushing so hard in the direction of sorcery, and in fact applying that sorcery to other fields, in which they themselves aren't quite able to validate whether the spell worked or not.

    1. necklesspen · · focus · HN ↗
      It's a truly wonderful read, made better by the fact the author doesn't quite understand what's going on.

      The usual format that fun mathematics is presented (being talked at by someone who is very well versed in the subject) comes with a heavy cognitive burden - and often I just can't really make it through.

      When the author is not an expert the writing is just so much more accessible - it's easier to understand and making it through feels more of an adventure and less of a lecture.

      I've never thought previously how much I would enjoy this format though. I'm here to see more amateurs stumbling through mathematics.

      Also, wasn't expecting this sort of side-quest from the guy who got me into React.

      1. SturgeonsLaw · · focus · HN ↗
        Agreed! I've always been interested in the field of mathematics, only to be let down by my lack of ability to comprehend it. I can usually follow an article up until the point that it starts using formulae.

        I love this approachable prose.

        If anyone is aware of any other "mathematics for people who don't know mathematics" resources I'd greatly appreciate any links.

        1. danabramov · · focus · HN ↗
          OK this is probably not quite what you meant but I'll shoot: I highly recommend Terence Tao's Analysis textbook (which now also has a Lean counterpart on GitHub). You can skip Chapter 1 (it sets up the motivation but I couldn't answer most questions, which is part of the point). From Chapter 2, it builds up in a somewhat "dry" but actually very accessible and methodical way. It is "mathematical" but it is "for people who don't know mathematics" in the sense that it forces you to build the entire mathematics from scratch, including proving things like `a + b = b + a` as exercises. This is actually how I got into proofs in the first place, with later picking up Lean by doing Natural Number Game.
          1. SturgeonsLaw · · focus · HN ↗
            Thanks, I'll have a read
Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.