An Algorithmically Unsolvable Problem in Analysis
From MaRDI portal
Publication:3664097
DOI10.2307/2045124zbMath0516.58043MaRDI QIDQ3664097
Publication date: 1983
Full work available at URL: https://doi.org/10.2307/2045124
58J50: Spectral problems; spectral geometry; scattering theory on manifolds
03D35: Undecidability and degrees of sets of sentences
53C20: Global Riemannian geometry, including pinching
20F10: Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)
31C12: Potential theory on Riemannian manifolds and other spaces
Cites Work