I'm currently interested in the possibility of hyperturing computation, i.e.

I'm currently interested in the possibility of hyperturing computation, i.e. modes of computation that are strictly more powerful / can do more than a Turing machine. So far I only found three possible candidates which are however not as satisfying as I desire them to be.

>Malament-Hogarth spacetime
Purely theoretical, possibly unphysical
>quantum computation
No evidence so far that it is actually hyperturing. Might actually be possible to emulate on a Turing machine. Please let me know if it has been proven already.
>free will
Impossible to formalize mathematically.

Does IQfy know more possible candidates for hyperturing computation?

Beware Cat Shirt $21.68

Rise, Grind, Banana Find Shirt $21.68

Beware Cat Shirt $21.68

  1. 2 years ago
    Anonymous

    The experts on >>>/x/ would be able to deal with your post better

    • 2 years ago
      Anonymous

      How is theory of computation suddenly paranormal?

      A Turing machine can compute anything which is computable. "Hyperturing" is a nonsense idea.

      A Turing machine is just one of many models and might have its flaws.

      • 2 years ago
        Anonymous

        Free will is the paranormal thing here

      • 2 years ago
        Anonymous

        It's been proven that anything computable is computable with a Turing Machine. That doesn't mean Turing is fastest in all cases, or that there are no equivalents (there are, lambda calc is one) but it does mean that if it's computable, you can compute it with a Turing Machine. You might come up with an algorithm that'll take longer to run on some particular machine, than the universe has left before it dies of heat death, but that algorithm is still computable.

        "Hyperturing" is sort of a nonsense term here, in terms of what you're reaching for. You aren't looking for a system of computation, you're looking for something else and trying to conflate it with computation, so the prestige of the word "Turing" rubs off on it.

        If you want some /x/ fuel, there are some AI scientists who seriously debate about if consciousness is a computation or not. The answer to that question has some interesting implications. I personally think that brains are made of parts which are finite and countable and that the interactions between different parts of the brain are also finite and countable, so I think consciousness is computable, but like everyone else engaging in the conversation, I don't really know.

        • 2 years ago
          Anonymous

          >It's been proven that anything computable is computable with a Turing Machine
          Nope, undergrad kiddo. The Church-Turing hypothesis is a philosophical statement. Some like to use it as a definition for computability, thereby willfully restricting themselves to a certain view on the topic. It is however not a mathematically provable statement. Only a pseud undergrad midwit would adopt it as dogmatic truth.

          • 2 years ago
            Anonymous

            >philosophy
            I don't care about anything philosophy studies. It's the only field of "knowledge" that has managed to exist for essentially all of human history without producing a single thing of value. Philosophy is co sisterly dragged kicking and screaming into modernity by people who actually know what they're talking about (aka scientists). Philosophy is just mental maturation. It feels good, but it has no substance and only a small niche of dysfunctional people will be interested in watching you do it.

            Do you have a real argument or are you just trying to convince people in magical extra levels of computation with snark?

          • 2 years ago
            Anonymous

            I fully agree that most of philosophy is useless bullshit. Hence I reject the unproven dogmatic assertion that the model of the Turing machine fully captures the notion of computability (which yet has to be defined independently without circularly referring to Turing machines - or else we cannot even evaluate whether the Church-Turing hypothesis holds).

          • 2 years ago
            Anonymous

            >doesn't like philosophy
            >immediately uses philosophy to prove his point of the lack of value in philosophy
            Classic post-modernist joke.

          • 2 years ago
            Anonymous

            >le everything is philosophy!!
            I philosophied your mother yesterday night

          • 2 years ago
            Anonymous

            >logically defending your position is philosophy
            While you could have done a better job, defined your terms a little clearer, refined your sentences to better reflect your idea, it was philosophy.
            There are a handful of post-modern writers that you'd love. They touch on the same ideas you were talking about.
            >The Philosophy of Undercutting Irony
            Just a truthful joke.

          • 2 years ago
            Anonymous

            "On Computable Numbers" by Turing which founded computer science is a work of philosophy and the Church-Turing thesis is a philosophical statement

          • 2 years ago
            Anonymous

            >Turing which founded computer science
            I wish this myth would die. It's almost as bad as the one about Ada Lovelace being the first programmer.

          • 2 years ago
            Anonymous

            >Magically believes without proof that there is a “hyperturing” computation
            >Shits on philosophy as “magical.”

            Stay stupid and pompous /sci

          • 2 years ago
            Anonymous

            Nta and he does seem stupid, but if that's what you got out of his argument you have the reading comprehension of a fourth grader.

      • 2 years ago
        Anonymous

        >is just one of many models and might have its flaws
        You have no idea what you're talking about. Try learning about the concept first before you start speculating.

        • 2 years ago
          Anonymous

          Please provide a formal mathematical proof (or a reference to such a proof) that it is impossible to define a notion of computability which cannot be simulated by a Turing machine. In order to avoid circularity you must provide a most general definition of computability without referencing the concept of Turing machines. Furthermore, you must provide proof that your definition of computability cannot be extended in such a way that it becomes hyperturing.

          I will accept any book, paper, lecture notes or other publication that contains such a proof. Do it, undergrad kid.

  2. 2 years ago
    Anonymous

    A Turing machine can compute anything which is computable. "Hyperturing" is a nonsense idea.

    • 2 years ago
      Anonymous

      >"Hyperturing" is a nonsense idea.
      LOL look at this pseud who hasn't taken an advanced course on computability

  3. 2 years ago
    Anonymous

    could knock her out with one punch

    • 2 years ago
      Anonymous

      >could knock her out with one punch
      >Being this insecure about muscular women
      Lol cope chud.

  4. 2 years ago
    Anonymous

    [...]

    >not "knock her up"
    one job

    • 2 years ago
      Anonymous

      God damn, I didn't even think of that. I'll delete my message, so you can post something way funnier.

  5. 2 years ago
    Anonymous
  6. 2 years ago
    Anonymous

    Hello OP, I too am currently interest in hyperturing computation. I'm finding the work in memristor based neural nets and optical phase-conjugate based error correction architectures, along side principles of QUBO to be quite stimulating.

  7. 2 years ago
    Anonymous

    It's called hypercomputation, not hyper-Turing computation. For example, a machine that can take a countably infinite number of (classical) steps in a single step would be capable of hypercomputation. True randomness also leads to hypercomputation (although it's not as exciting). It's pretty unlikely that any physical system (with our understanding of physics) would be capable of hypercomputation.

    • 2 years ago
      Anonymous

      The only exception I could think of would be a perfect analog computer, which can work with all real numbers and not just computable real numbers. Assuming that uncomputable reals actually exist in nature. It wouldn't be possible to measure them with complete precision, of course, but theoretically it might be possible to eliminate error from calculations and only have to worry about measurement error.

  8. 2 years ago
    Anonymous

    >No evidence so far that it is actually hyperturing.
    "Evidence?" It is proven that quantum computers have the same computability capabilities as Turing machines

    • 2 years ago
      Anonymous

      Source?

      • 2 years ago
        Anonymous

        Why would you think otherwise? A quantum computer can be simulated by a turing machine it just may take way longer to do anything.

        • 2 years ago
          Anonymous

          How about quantum randomness? A pseudorandomness generator is not as good as a source of perfect randomness. Or is there proof that it makes no difference?

          • 2 years ago
            Anonymous

            That would only be true if you can prove 'quantum randomness' has infinite Kolmogorov complexity. Then we're back to the philosophical arguments I guess.

          • 2 years ago
            Anonymous

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

          • 2 years ago
            Anonymous

            Nice gimmick, but it doesn't answer the question.

    • 2 years ago
      Anonymous

      not evidence of universality. op is talking about evidence that quantum computers in the real world can solve QP problems in polynomial time.

      • 2 years ago
        Anonymous

        Thing is, in Bitcoin game theory, there is little incentive to publically declare you have a specialized computing architecture specially designed to inter dimensionally rip threads or drastically reduce the search space of the discrete log problem.

        You keep it hidden, beating the next best has by one difficulty point, you run sandwhich attacks by agitating uncle forks

Your email address will not be published. Required fields are marked *