Some Recursively Unsolvable Problems in Analysis
From MaRDI portal
Publication:5606585
DOI10.2307/2037093zbMath0206.28401OpenAlexW4256064833MaRDI QIDQ5606585
Publication date: 1969
Full work available at URL: https://doi.org/10.2307/2037093
Constructive and recursive analysis (03F60) Recursively (computably) enumerable sets and degrees (03D25)
Related Items (5)
Undecidability through Fourier series ⋮ Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets ⋮ Unsolvability of some problems about piecewise-polynomial functions ⋮ An undecidable property of definite integrals ⋮ Solving difference equations whose coefficients are not transcendental
Cites Work
This page was built for publication: Some Recursively Unsolvable Problems in Analysis