为什么超计算研究失败了?


18

我在1990年代看到了许多关于超计算的研究,但是在最近几年中,关于这个问题的工作似乎很少。确实这方面的研究已经失败了吗?如果是这样,原因可能是什么?是否有说服力地证明该领域没有希望?


6
第三届国际超级计算
— Marzio De Biasi

天鹅绒幽灵问:>贝肯斯坦束缚反驳是真的吗?好吧,这是一个很好的例子,因为由于墨菲定律,它限制了空间中的信息。

1
附近没有黑洞可将图灵机送入。
— Andrej Bauer 2014年

Answers:


19

如果您明确指定超级计算的确切含义并给出为什么您认为它“消亡”的证据,那会更好。

无论如何,假设您正在谈论自然数(和有限字符串)上的函数计算(因为我认为很明显,用于高级类型计算的模型是一个非常活跃的领域,例如CCA),并且计算模型不等同于Turing机器定义的可计算性,我认为这种说法是不正确的,例如,参见CiE'05和CiE'11。另请参见针对超计算是新事物的说法的批评:

如果您有兴趣,还可以从Timothy Chow关于Martin Davis文章的电子邮件开始,对FOM邮件列表进行一些讨论。


非常感谢您的翔实答复。老实说,我对超级计算机的唯一了解是通过Siegelmann在1990年代中期对神经网络的计算能力的研究-以及她证明特定神经网络(模拟递归NN)具有超计算能力。超级计算能力的关键在于它的模拟性质-它的权重可以是实数。因此,我指的是超计算的子字段,称为实计算。
— Velvet Ghost

我以前读过马丁·戴维斯(Martin Davis)的文章,这些文章使我开始认为超计算已经过时了。顺便说一句... Bekenstein Bound是否驳斥了该宇宙中模拟计算的任何可能性?
— Velvet Ghost


By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.