一行程式碼都不執行，為什麼能證明程式「絕對沒有Bug」？形式化驗證與模型檢測的科學
段落
第 1083 頁
Posts
不洩露1位元原始資料，多人如何共同計算「總和」與「排名」：安全多方計算（MPC）與姚氏百萬富翁問題
外觀與性質完全相同，但成分不同就不是『水』嗎？——『孿生地球』思想實驗與語義外在主義
如果一切都由物理定律決定，人類還有「自由意志」嗎？決定論、相容論與道德責任的哲學
如果掌握了關於顏色的一切物理定律，就能懂得「看見紅色」的體驗嗎？感質與意識的難問題
完全不使用鎖，多執行緒如何同時修改同一份資料？無鎖程式設計與ABA問題的科學
沒有色素，為何大閃蝶與吉丁蟲依然絢麗奪目：結構色與光干涉的物理學
明知是虛構的故事，為什麼我們還會真情流淚與恐懼？虛構悖論與想像的哲學
肥皂泡為何是圓的，泡沫壁為何總以120度相交：界面張力與普拉托定律的科學
急救醫院與行動通訊基地台的「管轄領地」是如何劃分的？沃羅諾伊圖與德勞內三角剖分的計算幾何學
為什麼「輸了就翻倍下注」必將破產：賭徒破產問題與鞅論的數學
為什麼人能在太白粉水上奔跑：遇強則剛、靜置則流的非牛頓流體與流變學科學
為什麼太空船與自動駕駛車能從充滿誤差的感測器與不確定預測中算出「真實位置」：卡爾曼濾波與狀態估計的數理工程
為什麼冰面如此滑？徹底證偽「壓力融化說」與表面預融化（準液體層）、摩擦生熱及奈米摩擦學的物理學
為什麼在看不見太陽的黑暗中，生物依然能維持約24小時的節律？生理時鐘與分子振盪的科學
為什麼在嘈雜的咖啡館裡聽3秒鐘就能瞬間識曲？聲學指紋（Shazam）與盲源分離（ICA）的數學原理
為什麼多修一條路反而讓所有人的通勤時間變長：布雷斯悖論與自私路由的數學
為什麼艾雪的階梯畫得出卻造不出？不可能圖形與「局部與整體」的數學
為什麼假設「一切真理在原則上皆可被認知」會推導出「人類是全知的」：費奇可知性悖論與反實在論的邏輯
為什麼勒洛三角形能鑽出『方孔』：定寬曲線與巴比耶定理的幾何學
