User blog comment:Syst3ms/Using cellular automata to generate a potentially uncomputable function/@comment-35470197-20190205001808/@comment-35470197-20190205133016

Ah, I see. Then the equality \(A = \mathbb{Z} \times \mathcal{P}(\mathbb{Z}) \times \mathbb{Z}^d \cdots\) seems to be a typo of \(A = \mathbb{Z} \times \mathcal{P}(\mathbb{Z}) \times \mathcal{P}(\mathbb{Z}^d) \cdots\).