●第1章原子和虛空
第2章集合
一階邏輯規則
關於非負整數的皮亞諾公理
集合論的公理
第3章哥德爾、圖靈和他們的小伙伴
圖靈機
額外補充
第4章心智和機器
第5章古復雜性
第6章P、NP和它們的小伙伴
第7章隨機性
第8章密碼學
密碼學
偽隨機數發生器
單向函數
公鑰密碼學
第9章量子力學
小於0%的可能性?
混合態
平方規則
實數與復數
線性
第10章量子計算
反算
與經典復雜性類的關繫
量子計算和NP接近性問題
量子計算和多世界
第11章彭羅斯
打開黑盒子
冒險說些顯然的事
所有人都瞄著這一整塊量子“肥肉”
第12章退相干和隱變量
進坑
故事一退相干
退相干和熱力學第二定律
故事二隱變量
“行不通”定理大荟萃
隱變量的例子
第13章證明
何為一個證明?
概率證明
零知識證明
PCP
模擬隱變量理論的復雜性
第14章量子態有多大?
第15章量子計算十一詰
第16章學習
第17章交互式證明、電路下界及其他
交互式證明
新進展
量子交互式證明
第18章人擇原理趣談
第19章自由意志
第20章時間旅行
第21章宇宙學和復雜度
第22章問我什麼都行
注釋
致謝
本書由美國麻省理工學院的理論計算機科學家、量子計算理論學家斯科特·阿倫森的諫堂講義整理而成。作者將量子訐算置於數學、計算科學、哲學等廣筒的領域當中,談及計算理論、集合論、圖靈機,NP問題、隨機性、數學邏輯、量子計算、隱變量理論、人擇原理、自由意志、時間旅行和復雜性等多個話題。作者探討了量子計算對解決相關領域難題的重大意義,思考深刻、發人深省,並試圖回答兩個問題:宇宙和物理世界是如何運作的?它們為什麼這樣運作?本書適合愛好科普的大眾讀者,尤其是對物理學、計算機科學、數學、哲學等內容感興趣的讀者閱讀,計算理論、計算機科學、物理學和量子計算領域的從業者或專業人士也可將本書作為參考讀物。