Reviews: Pour-El and Richards 'A computable differential equation which possesses no computable solution' (1979), and 'The wave equation, with computable initial data such that its unique solution' (1981). Kreisel, G. 47:900–902, 1982.
bibtex   
@ARTICLE{Kre82,
  author = {Kreisel, G.},
  title = {Reviews: {P}our-{E}l and {R}ichards '{A} computable differential
	equation which possesses no computable solution' (1979), and 'The
	wave equation, with computable initial data such that its unique
	solution' (1981)},
  journal = JSL,
  year = {1982},
  volume = {47},
  pages = {900--902},
  keywords = {bib,cca}
}

Downloads: 0