The wave equation with computable initial data such that its unique solution is not computable 论文

1981Advances in Mathematics引用 240
Computability, Logic, AI AlgorithmsComputational Physics and Python ApplicationsScientific Computing and Data Management