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.