到目前為止，我們只學習了C++的一個子集，但是你可能有興趣知道，這個子集可以算作一個完整的編程語言，任何可計算的事物都可以用該子集表達。任何現有的程序都能通過我們學過的這些僅有的語言特征來重寫(實際上，我們還需要一些控制鍵盤、鼠標、硬盤等設備的命令，就這些了)。 證明這個論斷并不是個簡單的練習，最早由阿蘭圖靈完成，他是最早的計算機科學家之一(很多人可能爭辯說他是數學家，但是很多早期的計算機科學家都是從數學家開始的)。相應地，這個結論也稱為圖靈理論。如果你選了計算理論課程的話，你有機會看到相關證明的。