• Farman [any]
    ·
    1 year ago

    The steam engine and economics

  • Tachanka [comrade/them]
    ·
    1 year ago

    5 minutes after the invention of metaphors:

    :bruh: , the whole universe, which I am unable to grasp in its totality, owing to both its vastness as well as my mortality, is perfectly, profoundly, and literally analogous to a simple physical process I am able to observe in my daily life :i-told-you-dog:

  • Avanash [they/them]
    ·
    1 year ago

    Bro, I think I just figured something out. Technology affects not only our ability to act on the world, but the lens through which we see the world as it acts on us. Our mind doesn’t differentiate between the patterns of thought which we learn to operate technology and the patterns of thought we use to navigate the rest of our life.

    Seems like there’s implications there in terms of modern tech being created by and for a capitalist system.

    • silent_water [she/her]
      ·
      1 year ago

      this is how and why language can constrain as much as it liberates. language is as much a technology as any other human invention.

    • IceWallowCum [he/him]
      ·
      edit-2
      1 year ago

      Wait, you mean to tell me that the production of ideas, of conceptions, of consciousness, is at first directly interwoven with the material activity and the material intercourse of men, the language of real life? And that conceiving, thinking, the mental intercourse of men, appear at this stage as the direct efflux of their material behaviour?

      Someone should write a book on that!

      :curious-marx:

  • dualmindblade [he/him]
    ·
    1 year ago

    Seriously though, there will never be a more general notion of an observable mechanism than computation, it's practically tautological, so the last one is at least more correct than the others

      • Avanash [they/them]
        ·
        1 year ago

        It’s more about the abstraction. You could construct a machine from clock parts that’s Turing complete. There are plenty of computers that are observable in the sense that you mean.

    • Chapo_is_Red [he/him]
      ·
      1 year ago

      I'm not sure I follow. Surely, more people have observed the action of wheels than any of the others.

      • sysgen [none/use name,they/them]
        ·
        edit-2
        1 year ago

        The abstract process of computation as implemented by anything we'd call a computer is equivalent to any possible mechanism that operates on information.

        There can never be any mechanism that deals with information that can ever be more general than classical computing.

          • sysgen [none/use name,they/them]
            ·
            edit-2
            1 year ago

            Data is most general concept we (can) have for anything that can be known or observed. If it can't be known or observed, it can't have any tangible effect, so you can never make a mechanism that operates on it. It's not a cop-out, it's the exact opposite.

              • sysgen [none/use name,they/them]
                ·
                edit-2
                1 year ago

                I think I see the disconnect here. When I say general, I also mean specific. That is to say, when I say that computers are general, I mean to say that any given, specific, individal computer (including a bird if it was smart enough), given any and every specific task and some amount of memory, can do it if and only if it is possible at all.

                In other words, computers are interchangeable, you only need one and it can do any task (with enough memory)

                This isn't true for a watch or a wrench or a wheel, but it's true for any computer.

                With this definition of general, as you can see, there is nothing vague about the statement at all, and it can't be understood as a cop out.

                Sorry for being unclear, I definitely understand why your interpretation of general in my comment is valid.

                  • sysgen [none/use name,they/them]
                    ·
                    1 year ago

                    There are things that computers are inherently incapable of. The problem is that as far as anyone knows, they are things that are simply impossible, as long as we are talking about transforming data. The idea that there are possible things that computers can't do in this wheelhouse is called hypercomputation:

                    https://en.wikipedia.org/wiki/Hypercomputation

                    The only contender that isn't either mathematically or physically impossible is to take a regular computer and sling it around a black hole with particular attributes, ie, a normal computer.

                    I mention this in the comment you're replying to - I say that a computer can do such a task if and only if it is possible.

                    The brain isn’t a computer. It doesn’t function off of binary logic as far as we know.

                    Physical systems which rely on continuous processes (ie, neither on nor off) are exactly equivalent to discrete processes (which have a finite number of states) are exactly equivalent to binary processes (having exactly two states) as far as computation is concerned.

                    This is because continuous physical systems inherently, necessarily have some amount of noise/uncertainty, and there is a rigorous mathematical proof that once this is true, then the two are equivalent.

                    It is exceedingly unlikely that there is any operation on data that the human brain can do but that computers can't. There is not an inkling of a scientific hint that this could possibly be true. Of course, you can't prove a negative.

                    There are a lot of assumptions here you’re making, and that the majority of tech bros incorrectly make

                    The thing I am assuming here is the Church-Turing thesis. It's a thesis that is assumed to be true by every computer scientist and the vast majority of mathematicians who it concerns. If you can show that it's incorrect I'd love to hear it, but no one even has a lead on how it could possibly be untrue. People tried very hard.

                      • sysgen [none/use name,they/them]
                        ·
                        edit-2
                        1 year ago

                        I mean sure, there are things that can't be computed that are possible. But computing them is an impossible task, is it not? So our computers can realize any possible data-wrangling task. You just gave an example of an impossible data-wrangling task.

                        Calling the devices that run our universe that can bypass quantum randomness “computers” would be like comparing a grain of rice to a dildo.

                        Our computers can also exhibit true randomness (using quantum processes). So there is no problem there. You can make a quantum-accurate simulation of any event, in that if you re-did the event on either the computer or real life you'd arrive to the same average, ie, it's a perfect simulation of actually doing the event again and observing it.

        • Soot [none/use name]
          ·
          edit-2
          1 year ago

          That is not provedly true. Turing machines are just a form of computation, fairly sure we've not proved they're the only possible kind.

          • sysgen [none/use name,they/them]
            ·
            1 year ago

            Unfortunately, we've proven that all physically known processes can be simulated on a Turing machine, so unless there is some crazy new discovery of physics, there is no kind of computation that can do something Turing machines can't. It's not the only kind, but it's equivalent to any other that is possible we've come up with, and to any we could physically implement with our knowledge of physics. It would be very cool if that wasn't the case, though.

              • sysgen [none/use name,they/them]
                ·
                1 year ago

                Feynman wrote a paper about it in the 80s, called "Simulating Physics with Computers", in which he lays out how all known laws of physics can be simulated using a computer to sufficient accuracy, but that without a quantum computer it would take exponential time to do so.

    • Avanash [they/them]
      ·
      1 year ago

      Funny that Deleuze and Guattari argue against westerners’ tendency to think about things in trees by proposing we instead think in rhizomes. The biological and botanical analogies go deep.

  • sysgen [none/use name,they/them]
    ·
    1 year ago

    Computers can efficiently calculate anything that can possibly be calculated, predict anything that can be predicted, simulate anything that can be simulated, etc..., so they actually are kinda special in a way that previous things aren't.

    The mechanisms of computation have allowed us to prove beyond a shadow of a doubt that there are true things that cannot be proven, and that there is such a thing as an unknowable quantity. It also turns out that predicting if certain particular computer programs will ever stop is equivalent to proving basically anything.

    It's called the Church-Turing hypothesis for the former, and then there's the Gödel incompleteness theorem for the second, as well as the Busy Beavers for the second. it's pretty neat.

    • TheOtherwise [none/use name]
      ·
      1 year ago

      Computers can efficiently calculate anything that can possibly be calculated

      This is pretty much the P=NP problem though, which hasn't been proven (and many believe it'll eventually be proven in the negative), with 'efficient' being defined as polynomial time.

      • sysgen [none/use name,they/them]
        ·
        edit-2
        1 year ago

        If something can only ever be calculated in exponential (or worse) time, then a computer which can calculate it in exponential time I'd say is still efficient, so it would be true whether or not P=NP. When I say that a computer is efficient what I really mean is that it's not exponentially worse than any other possible way of arriving at the result. I should have worded it better, sorry.

      • sysgen [none/use name,they/them]
        ·
        1 year ago

        Why? If there is a number that can't be computed, and there's no evidence that it's physically present, what's the contradiction here?

        Computers are only limited in creating things that can be proven because creating something is a proof that it exists. This has a more formal meaning if you look at the Curry-Howard correspondence.

          • sysgen [none/use name,they/them]
            ·
            edit-2
            1 year ago

            They exist in the mathematical sense that they are basically the solution to an equation. We know the equation, we know there is a solution, but we don't know what the solution is, and it has no physical relevance. Many mathematicians (constructivists) would say that this means that they don't exist until you can find a way of finding the exact solution.

            For many of these numbers, we know that there cannot be any rigorous procedure by which they can be found, because if there was, there would be a logical contradiction.

  • Poogona [he/him]
    ·
    1 year ago

    Damn these hands of mine, damn my brain that can produce only digital thought. Damn my palms that conceive only of what fits into them. Damn these fingers that will invade things, that will grasp and twist and peel and will not see.

    Woah how about my pp actually, like maybe the universe is like a big ovary for my ego to impregnate or something

  • UlyssesT [he/him]
    ·
    1 year ago

    Takes a single peek into thread, sees committed zealous infatuated computer touching

    https://i.redd.it/1qn1pw9bswb41.jpg

    • sysgen [none/use name,they/them]
      ·
      edit-2
      1 year ago

      I can prove to you that there is literally nothing a physically possible quantum computer can do that a regular computer can't. It's a pretty common proof in any quantum computing class and isn't even particularly long.

            • invalidusernamelol [he/him]
              ·
              1 year ago

              Quantum programming exists now, and it can be simulated on traditional computers. It's also one of those things that really only has limited real world applications. There are some interesting algorithms that can be solved by quantum hardware that would just take a lot longer on traditional hardware.

              The list of quantum algorithms isn't that long and while there are some major speed increases from application of quantum hardware, the systems are still bound by traditional computational rules.