We show that it is impossible to algorithmically decide if the l2-cohomology of the universal cover of a finite CW-complex is trivial, even if we only consider complexes whose fundamental group is equal to the elementary amenable group (Z2 Z)3. A corollary of the proof is that there is no algorithm which decides if an element of the integral group ring of the group (Z2 Z)4 is a zero-divisor. …