悖论对计算机科学影响,数学和计算机科学的核心逻辑悖论
數學和計算機科學的核心邏輯悖論最終證實對真實世界也有影響,從而使一個關于物質的基本問題變得從根本上無法回答。
圖靈從算法的角度重新用公式表示出來。這些算法由一臺每次能讀或寫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/
總結
以上是生活随笔為你收集整理的悖论对计算机科学影响,数学和计算机科学的核心逻辑悖论的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: ssm mysql动态分页_SSM项目手
- 下一篇: json支持的最大长度_Swifter.