@article{DBLP:journals/mlq/Pour-ElZ97,
author = {Marian Boykan Pour-El and
Ning Zhong},
title = {The Wave Equation with Computable Initial Data Whose Unique
Solution Is Nowhere Computable},
journal = {Math. Log. Q.},
volume = {43},
year = {1997},
pages = {499-509},
bibsource = {DBLP, http://dblp.uni-trier.de}
}