Én annyit ehhez hozzátennék, hogy az eredeti Turing-gép (az univerzum) nem egy precíz matematikai dolog. Amikor definiáljuk a Turing-gépeket, azok matematikai fogalmak, és a precíz matematikai definícióhoz szükség van egy előző precíz Turing-gép definícióra. Tehát valahol a matematikai precizitás megszakad, és csak a világról alkotott intuíció marad. De az nem egy precíz matematikai fogalom. Csak erre akartam felhívni a figyelmet.