On dynamics of the Sierpinski carpet

We prove that the Sierpinski curve admits a homeomorphism with strong mixing properties. We also prove that the constructed example does not have Bowens specification property.