• peppermint@lemmy.ml
    link
    fedilink
    arrow-up
    1
    ·
    edit-2
    5 years ago

    Two things. As you mention, it is like a poem, and in a way it is. From computability point of view, it is one level up from writing. The set of semi-decidable languages is countable. This imposes some hard limits on what a computer can do without oracle computation, see specker’s sequence, kolmogorov’s complexity, numerical integration, etc. Secondly, there is microsoft, and oracle (the company), and copyright companies, so I would attribute most of the romantic things to open source.