Abstract: The coding of dynamical system is a way to simulate chaotic behavior by symbolic dynamics. We prove that every C^r diffeomorphism with r>1 on a three-dimensional manifold admits symbolic extensions, i.e. topological extensions which are subshifts over a finite alphabet. This answers positively a conjecture of Downarowicz and Newhouse in dimension three.
