悖论对计算机科学影响,数学和计算机科学的核心逻辑悖论

数学和计算机科学的核心逻辑悖论最终证实对真实世界也有影响，从而使一个关于物质的基本问题变得从根本上无法回答。

图灵从算法的角度重新用公式表示出来。这些算法由一台每次能读或写1比特数据的理想化计算机执行。他证实，一些算法无法被此类“图灵机”判定。

也就是说，不可能知道这台机器能否在有限的时间里完成计算，也没有通用测试来判断某个特定算法是否不可判定。相同的限制也适用于真实的计算机，因为任何此类设备在数学上和图灵机是对等的。

从上世纪90年代起，理论物理学家便试图在物理现象的理想化模型中体现图灵的研究。他们得出的不可判定问题无法直接同物理学家感兴趣的具体问题联系起来

我认为，可以恰当地说，我们的模型是对人们会真正试图解决的一个重要物理问题产生的首个不可判定性结果。

谱隙是电子在一种材料中能占据的最低能级和下一个能级之间的间隙，而这决定了某种材料的一些基本属性。例如，在一些材料中，降低温度能让谱隙关闭，从而使这种材料变成超导体。

该团队从一种材料的理论模型——无穷二维原子晶格入手。晶格中原子的量子态可视为一台具体化的图灵机，包含着发现材料谱隙的每个计算步骤的信息。

对于一个无穷晶格来说，不可能知道计算是否会终止，因此谱隙是否存在的问题就变得不可判定。

然而，对于有限的大量二维晶格而言，计算总是在有限的时间里终止，从而产生一个明确的答案。因此，第一眼看上去，该结果似乎同真实世界几乎没有关联。真实材料的大小总是有限的，它们的属性能通过实验测量得到或者被计算机模拟出来。

不过，“无穷情况”的不可判定性意味着，即使知道了某个有限大小晶格的谱隙，当材料尺寸增大时——哪怕只是单个额外原子的增加，也会发生急剧的变化，从没有谱隙变成有谱隙，反之亦然。

由于研究已经证明不可能预测何时或者是否将发生这种情况，因此从实验或模拟中得出普遍的结论非常困难。

质量间隙问题同对携带弱核力和强核力的粒子拥有质量的观察相关。这也解释了为何弱核力和强核力拥有有限范围，而不是像引力和电磁作用那样以及为何夸克只是作为诸如质子或中子的复合粒子一部分被找到，而不是单独存在。

问题在于并未有严谨的数学理论能解释为何核力的载体拥有质量，以及电磁力的载体——质子何时变得没有质量。2BS细胞http://www.shtpbio.com/tongpai-SonList-306740/

293

Ad5细胞http://www.shtpbio.com/tongpai-SonList-306721/

293细胞http://www.shtpbio.com/tongpai-SonList-306713/

22RV1细胞http://www.shtpbio.com/tongpai-SonList-306712/

细胞培养http://www.shtpbio.com/tongpai-ParentList-306711/

5637细胞http://www.shtpbio.com/tongpai-SonList-307211/

白血病细胞http://www.shtpbio.com/tongpai-SonList-307213/

A2780细胞http://www.shtpbio.com/tongpai-SonList-307214/

黑色素瘤细胞http://www.shtpbio.com/tongpai-SonList-307215/

肺癌细胞http://www.shtpbio.com/tongpai-SonList-307216/

肾癌细胞 http://www.shtpbio.com/tongpai-SonList-307217/

复苏细胞http://www.shtpbio.com/tongpai-ParentList-187255/

冻存细胞http://www.shtpbio.com/tongpai-SonList-223693/

胃腺癌细胞http://www.shtpbio.com/tongpai-SonList-187264/

卵巢癌细胞http://www.shtpbio.com/tongpai-SonList-187262/

乳腺癌细胞http://www.shtpbio.com/tongpai-SonList-187261/

肝癌细胞http://www.shtpbio.com/tongpai-SonList-187260/

宫颈癌细胞http://www.shtpbio.com/tongpai-SonList-187259/

鼻咽癌细胞http://www.shtpbio.com/tongpai-SonList-187258/

淋巴瘤细胞http://www.shtpbio.com/tongpai-SonList-187256/

传代细胞http://www.shtpbio.com/tongpai-ParentList-189042/

基因修饰细胞http://www.shtpbio.com/tongpai-SonList-305642/

ACHN细胞http://www.shtpbio.com/tongpai-SonList-309814/

A875细胞http://www.shtpbio.com/tongpai-SonList-309813/

A549细胞http://www.shtpbio.com/tongpai-SonList-309812/

A498细胞http://www.shtpbio.com/tongpai-SonList-309811/

AGS细胞http://www.shtpbio.com/tongpai-SonList-309819/

BT474细胞http://www.shtpbio.com/tongpai-SonList-309820/

CaSki细胞http://www.shtpbio.com/tongpai-SonList-309821/

Calu-3细胞http://www.shtpbio.com/tongpai-SonList-309822/

Dami细胞http://www.shtpbio.com/tongpai-SonList-309824/

Daudi细胞http://www.shtpbio.com/tongpai-SonList-309825/

HA细胞http://www.shtpbio.com/tongpai-SonList-309826/

HBL100细胞http://www.shtpbio.com/tongpai-SonList-313740/

HCC1937细胞http://www.shtpbio.com/tongpai-SonList-313741/

HCC38细胞http://www.shtpbio.com/tongpai-SonList-313742/

HCT116细胞http://www.shtpbio.com/tongpai-SonList-313743/

HCT-8细胞http://www.shtpbio.com/tongpai-SonList-313744/

HEC-1-A细胞http://www.shtpbio.com/tongpai-SonList-313745/

HEL细胞http://www.shtpbio.com/tongpai-SonList-313746/

HFSF细胞http://www.shtpbio.com/tongpai-SonList-313817/

HFTF细胞http://www.shtpbio.com/tongpai-SonList-313818/

HGC-27细胞http://www.shtpbio.com/tongpai-SonList-313819/

HHCC细胞http://www.shtpbio.com/tongpai-SonList-313820/

HK-2细胞http://www.shtpbio.com/tongpai-SonList-313821/

HKC细胞http://www.shtpbio.com/tongpai-SonList-313822/

L-02细胞

http://www.shtpbio.com/tongpai-SonList-326890/

HLF-a细胞http://www.shtpbio.com/tongpai-SonList-326892/

HOS细胞http://www.shtpbio.com/tongpai-SonList-326893/

HPAC细胞http://www.shtpbio.com/tongpai-SonList-326894/

Hs

578Bst细胞http://www.shtpbio.com/tongpai-SonList-326895/

Hs

578T细胞http://www.shtpbio.com/tongpai-SonList-326896/

HS-746T细胞http://www.shtpbio.com/tongpai-SonList-326897/

HT-1080细胞http://www.shtpbio.com/tongpai-SonList-326899/

HT-29细胞http://www.shtpbio.com/tongpai-SonList-327296/

HUT102细胞http://www.shtpbio.com/tongpai-SonList-327297/

HuT78细胞http://www.shtpbio.com/tongpai-SonList-327298/

HuTu-80细胞http://www.shtpbio.com/tongpai-SonList-327299/

HUVECC细胞http://www.shtpbio.com/tongpai-SonList-327300/

IM-9细胞http://www.shtpbio.com/tongpai-SonList-327301/

IMR-32细胞http://www.shtpbio.com/tongpai-SonList-327302/

J-111细胞http://www.shtpbio.com/tongpai-SonList-327303/

JAR细胞http://www.shtpbio.com/tongpai-SonList-327304/

JEG-3细胞http://www.shtpbio.com/tongpai-SonList-327305/

K562细胞http://www.shtpbio.com/tongpai-SonList-327306/

KG-1a细胞http://www.shtpbio.com/tongpai-SonList-327307/

KLE细胞http://www.shtpbio.com/tongpai-SonList-327931/

LNCaP细胞http://www.shtpbio.com/tongpai-SonList-327930/

LoVo细胞http://www.shtpbio.com/tongpai-SonList-327929/

LS180细胞http://www.shtpbio.com/tongpai-SonList-327928/

LS174T细胞http://www.shtpbio.com/tongpai-SonList-327927/

MCF

10A细胞http://www.shtpbio.com/tongpai-SonList-327926/

MCF7细胞http://www.shtpbio.com/tongpai-SonList-327925/

MEG-01细胞http://www.shtpbio.com/tongpai-SonList-327924/

MG-63细胞 http://www.shtpbio.com/tongpai-SonList-327923/

MRC-5细胞http://www.shtpbio.com/tongpai-SonList-327922/

NAMALWA细胞 http://www.shtpbio.com/tongpai-SonList-327921/

NCI-H1299细胞http://www.shtpbio.com/tongpai-SonList-328891/

NCI-H1395细胞http://www.shtpbio.com/tongpai-SonList-328892/

NCI-H157细胞http://www.shtpbio.com/tongpai-SonList-328893/

NCI-H1688细胞http://www.shtpbio.com/tongpai-SonList-328894/

NCI-H1650细胞 http://www.shtpbio.com/tongpai-SonList-328895/

NCI-H1975细胞http://www.shtpbio.com/tongpai-SonList-328896/

NCI-H205细胞http://www.shtpbio.com/tongpai-SonList-328897/

NCI-H2087细胞http://www.shtpbio.com/tongpai-SonList-328898/

NCI-H209细胞http://www.shtpbio.com/tongpai-SonList-328899/

NCI-H23细胞http://www.shtpbio.com/tongpai-SonList-328900/

NCI-H292细胞http://www.shtpbio.com/tongpai-SonList-328901/

NCI-H295R细胞http://www.shtpbio.com/tongpai-SonList-331061/

NCI-H358细胞http://www.shtpbio.com/tongpai-SonList-331062/

NCI-H446细胞http://www.shtpbio.com/tongpai-SonList-331063/

NCI-H460细胞http://www.shtpbio.com/tongpai-SonList-331064/

NCI-H520细胞http://www.shtpbio.com/tongpai-SonList-331065/

NCI-H596细胞http://www.shtpbio.com/tongpai-SonList-331066/

NCI-H661细胞http://www.shtpbio.com/tongpai-SonList-331067/

NCI-H838细胞http://www.shtpbio.com/tongpai-SonList-331068/

NCI-N87细胞http://www.shtpbio.com/tongpai-SonList-331069/

NTERA-2细胞http://www.shtpbio.com/tongpai-SonList-331070/

OS-RC-2细胞http://www.shtpbio.com/tongpai-SonList-331947/

OVCAR-3细胞http://www.shtpbio.com/tongpai-SonList-331948/

PA-1细胞http://www.shtpbio.com/tongpai-SonList-331949/

PANC-1细胞http://www.shtpbio.com/tongpai-SonList-331950/

PC-3细胞http://www.shtpbio.com/tongpai-SonList-331951/

PLC/PRF/5细胞http://www.shtpbio.com/tongpai-SonList-331952/

QGY-7701细胞http://www.shtpbio.com/tongpai-SonList-331953/

QGY-7703细胞http://www.shtpbio.com/tongpai-SonList-331954/

QSG-7701细胞http://www.shtpbio.com/tongpai-SonList-331955/

Raji细胞http://www.shtpbio.com/tongpai-SonList-331956/

Ramos细胞http://www.shtpbio.com/tongpai-SonList-331957/

RD细胞http://www.shtpbio.com/tongpai-SonList-332948/

Reh细胞http://www.shtpbio.com/tongpai-SonList-332949/

RKO细胞http://www.shtpbio.com/tongpai-SonList-332950/

RL95-2细胞http://www.shtpbio.com/tongpai-SonList-332951/

RPMI

8226细胞http://www.shtpbio.com/tongpai-SonList-332952/

Saos-2细胞http://www.shtpbio.com/tongpai-SonList-332953/

SCaBER细胞http://www.shtpbio.com/tongpai-SonList-333580/

SH-SY5Y细胞http://www.shtpbio.com/tongpai-SonList-333581/

SiHa细胞http://www.shtpbio.com/tongpai-SonList-333582/

SKBR3细胞http://www.shtpbio.com/tongpai-SonList-333583/

SKHEP1细胞http://www.shtpbio.com/tongpai-SonList-333584/

SKLU1细胞http://www.shtpbio.com/tongpai-SonList-333585/

SK-MEL-1细胞http://www.shtpbio.com/tongpai-SonList-333586/