The wave equation with computable initial data such that its unique solution is not computable (1981)

by M B Pour-El, I Richards
Venue:Advances in mathematics 39