I see a lot of research on hypercomputation in the 1990's, but in more recent years there seems to be little work on the topic. Is it true that research in this area has died down? If so, what could be the reasons for it? Was this area convincingly shown to be unpromising?

  • 6
    $\begingroup$ 3rd International Hypercomputation Workshop (HyperNet 11) hypercomputation.net/combinedpreprocs.pdf $\endgroup$ – Marzio De Biasi Jan 1 '12 at 19:55
  • $\begingroup$ Velvet Ghost asked: > is it true that the Bekenstein Bound refutes...? Well, there's a good case for that since it limits the information in a volume of space as a consequence of Murphy's Law. $\endgroup$ – user30490 Dec 25 '14 at 20:17
  • 1
    $\begingroup$ There weren't any black holes nearby to send a Turing machine into. $\endgroup$ – Andrej Bauer Dec 27 '14 at 0:00

It would be better if you specified what you mean exactly by hyper-computation and gave evidence for why you think it has "died down".

In any case, assuming that you are talking about computation of functions over natural numbers (and finite strings) (since I think it is clear that models for higher type computation is a very active area, e.g. CCA) and models of computation not equivalent to computability defined by Turing machines, I don't think the claim is correct, for example see CiE'05 and CiE'11. Also see the criticisms made against the claim that hyper-computation is something new:

If you are interested, there is also some discussion on FOM mailing list starting by Timothy Chow's email about Martin Davis' article.

  • $\begingroup$ Thanks a lot for that very informative reply. To be honest, my only acquaintance with hypercomputation is through Siegelmann's work on the computational power of neural nets back in the mid 1990's - and her proof that a particular neural net (the analog recurrent NN) is hypercomputational. The key to it's hypercomputational power is it's analog nature - it can have weights which are REAL numbers. So I was referring to the subfield of hypercomputation known as Real Computation. $\endgroup$ – Velvet Ghost Jan 6 '12 at 13:22
  • $\begingroup$ I had read Martin Davis' articles previously, and they were what started to make me think that hypercomputation was out of fashion. Btw... is it true that the Bekenstein Bound refutes any possibility of analog computation in this universe? $\endgroup$ – Velvet Ghost Jan 6 '12 at 13:32

There have been recent several conferences on the topic of infinitary computability, which have treated many topics in hypercomputation.

In addition, there have been special sessions on infinitary computability in many of the CiE conferences.


I don't think this is true. Searching Arxiv for papers on hypercomputation gets a bunch of hits.

  • 9
    $\begingroup$ Hypercomputation refers to models of computation that are more powerful than Turing computability (see e.g. Wikipedia), whereas both, PostBQP=PP and P_CTC=PSPACE, are certainly computable. $\endgroup$ – Martin Schwarz Jan 1 '12 at 9:57
  • $\begingroup$ I'm beginning to think that you're right, Joshua. Also, thanks for that link. $\endgroup$ – Velvet Ghost Jan 6 '12 at 13:14

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.