概述
1975年，計算機科學家格里高里·蔡廷（Gregory Chaitin）研究了一個很有趣的問題：任意指定一種程式語言中，隨機輸入一段代碼，這段代碼能成功運行並且會在有限時間裡終止（不會無限運行下去）的機率是多大。他把這個機率值命名為了“蔡廷常數”（Chaitin's constant）。
這聽起來有點不可思議，但事實上確實如此——蔡廷常數是一個不可計算數（uncomputable number）。也就是說，雖然蔡廷常數是一個確定的數字，但現已在理論上證明了，你是永遠無法求出它來的。
套用
蔡廷常數想想看，這味道是不是很像我們的反分裂國家法。反分裂國家法規定的啟動條件有三：
1，台灣獨立成為事實；
2，可導致獨立事實的事變發生；
3，永遠失去和平統一的可能。
從數學觀點來看，前兩條是把台灣獨立和武力統一兩種狀態進行了等價定義，所以啟動反分裂國家法的關鍵就在於台海目前維持現狀的程式運行是不是一直不停機。
我們形式化的認為台海問題的發展是一台超級複雜的政治經濟計算機的運行，台海問題所有的輸入信息是台灣總統府和中共中央軍委全部的政策檔案，任何一個檔案的出台相當於為這台計算機輸入了待判定程式。在這種形式化的框架下來看，所謂台海問題就是一個特殊的停機問題。大陸需要研判目前運行的程式究竟是否會在有限時間內停止。如果是永不停機，那就是永遠失去了和平統一的可能，則反分裂國家法便會啟動。
問題是如何判斷台海程式的停機性呢，其思路正好是上述的理想實驗測試法。將所有的可能手段同時加以運行，政治、軍事、文化、經濟各種手段，如果運行足夠長的時間，當所有的和平手段紛紛停機無效時，基本就可以判斷出維持分離現狀狀態的程式將永不停機。好訊息是，蔡廷常數已經算出的有限位數值約為0.007875，所以有理由相信台海常數也不會大到哪裡去，這意味著維持現狀並不見得會有很大機率。當然如果最後台灣真的不停機，那剩下的結果大家也都清楚，電腦程式不願停，就只有拔插銷了。