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