? 設想這樣一個情境：面對問題X，算力不限的證明方（Prover）試圖通過輪流問答來說服算力等同于概率性圖靈機的驗證方（Verifier）接受他的解答，但驗證方懷疑證明方可能別有用心，所以希望設計一個能夠以99.99%以上概率防止證明方的欺騙的操作流程。如果這種流程的總耗時不超過問題規模的某個多項式（計算理論通常把多項式耗時作為“可實行”的標桿），我們就說問題X屬于IP。它等價于PSPACE，意味著上述流程可行的充要條件，是驗證者自己來求解問題消耗的存儲空間也不超過問題規模的某個多項式，從而X必須是驗證者自己可用至多指數時間求解的問題（多項式的內存只能處于指數多個狀態）。驗證者不能提太難的問題，根本原因是必須留給自己拆穿證明方謊言的余地，難題的解答會復雜到難辨真偽。
? 只要我們轉換一下視角，認為驗證方的目的其實是檢測證明方的實際算力而非取得問題的解答（這就像教師考問高材生）。那么這個結果的涵義就變成了：多項式的互動只能辨認出足以求解多項式空間的算力，證明方是否有更高的算力是檢測不出來的。因此等效算力達到PSPACE級別的證明方可放膽詐稱自己全知，而凡是超出算力所及的難題，他大可用既有算力偽造一個解答騙過驗證方。
? 現在，我們把“產生意識特征”視作一個苛求算力的難題，將配有真隨機源的計算機作為驗證方，人類作為證明方，那么計算機辨識出人類“具備意識”特征的充要條件正是該難題需要的存儲空間不超過交互時長的某個多項式（從而在PSPACE中）。假若不然，那么將雙方角色互換，讓人類來辨識對方有無意識的測試就也是無效的。注意，成功的圖靈測試中，計算機也應該得知測試者具有意識。圖靈的想法是“沿用我們辨認彼此具有意識的方式”，而這種方式的效果是相互的。
? 于是，這就是否定圖靈測試的條件：人在時長t內可以準確交流在計算機上需要超過t的多項式函數的存儲的內容。
? 讀者可能會質疑這里的“多項式函數”不明確，難以實際確定存儲量的標準。描述復雜性理論正是為了移除這種表面上的任意性而來的，PSPACE在這里被證明為等價于“可以用二階邏輯加上傳遞閉包算子定義的問題”，所以上述條件有一個更加簡明且完全不涉及仿真實現的形式：
? 雖然有人懷疑人類意識的基礎植根于量子效應（筆者專門討論過類似論點：機器中的靈魂會是量子比特么？），量子物理卻可以肯定不會影響上述論證。就算給交互式證明中的驗證方準備量子計算機，允許應用量子通信交流，得到的復雜類也是不變的（QIP=IP）。
