An Algorithmically Unsolvable Problem in Analysis

From MaRDI portal
Publication:3664097


DOI10.2307/2045124zbMath0516.58043MaRDI QIDQ3664097

John Stillwell, Andrew Lenard

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