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