Turing tamlığı, bilgisayar biliminin kulağa büyü gibi gelen ama aslında son derece disiplinli bir kavramıdır: Bir sistem, yeterli zaman ve bellek verildiğinde, başka herhangi bir Turing tam sistemin hesaplayabildiği her şeyi hesaplayabiliyorsa Turing tamdır. Basitçe söyleyelim: Eğer bir dilde koşul kurabiliyor, tekrar yapabiliyor ve belleği yönetebiliyorsanız, elinizde küçük bir evren simülatörü olabilir. Fakat burada ilk tuzak başlar: Her şeyi hesaplayabilmek, her şeyi kolayca, hızlıca veya anlamlı biçimde ifade edebilmek demek değildir.
Bir programlama dili düşünün. Python, JavaScript, C, hatta teorik olarak bazı çok sade oyuncak diller bile Turing tamdır. Bu, onların aynı hesaplama gücüne sahip olduğu anlamına gelir. Ama kimse ciddi bir işletim sistemi çekirdeğini beyaz tahtada tasarlanmış ezoterik bir dille yazmak istemez. Çünkü ifade gücü ile ifade konforu aynı şey değildir. Bir dilin yapabilecekleri kadar, nasıl yaptırdığı da önemlidir. Turing tamlığı, motorun teorik beygir gücüdür; direksiyonun hissini, frenlerin güvenini, yolculuğun şiirini anlatmaz.