Undecidability through Fourier series

DOI10.1016/J.APAL.2016.03.001MaRDI QIDQ278759zbMATH OpenOpenAlexFDO

Authors Peter Buser, Bruno Scarpellini

Publication date 2 May 2016

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2016.03.001

zbMATH Keywords

Büchi's problemFourier seriesJacobi theta functionsrecursively enumerable sets

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Undecidability and degrees of sets of sentences (03D35) Computation over the reals, computable analysis (03D78) Applications of computability and recursion theory (03D80) Calculation of integer sequences (11Y55) Elliptic functions and integrals (33E05) Fourier series and coefficients in several variables (42B05)

Recommendations

• scientific article; zbMATH DE number 1909822
• Undecidable propositions by ODE's
• scientific article; zbMATH DE number 1909821
• On approximations for functions in the space of uniformly convergent Fourier series
• On the convergence of Fourier series of computable Lebesgue integrable functions

Cites work

• A survey on Büchi's problem: new presentations and open problems
• Computability and Noncomputability in Classical Analysis
• Decision problems for differential equations
• scientific article; zbMATH DE number 3131080 (Why is no real title available?)
• scientific article; zbMATH DE number 42574 (Why is no real title available?)
• scientific article; zbMATH DE number 44695 (Why is no real title available?)
• scientific article; zbMATH DE number 949396 (Why is no real title available?)
• scientific article; zbMATH DE number 1909821 (Why is no real title available?)
• scientific article; zbMATH DE number 1909822 (Why is no real title available?)
• scientific article; zbMATH DE number 1909827 (Why is no real title available?)
• scientific article; zbMATH DE number 3283520 (Why is no real title available?)
• Hypercomputation
• Hypercomputation: Philosophical issues
• Some Recursively Unsolvable Problems in Analysis
• Some undecidable problems involving elementary functions of a real variable
• The extended analog computer
• The wave equation with computable initial data such that its unique solution is not computable
• Undecidable propositions by ODE's
• Zwei Unentscheidbare Probleme Der Analysis

Cited in

(3)

• Undecidable propositions by ODE's
• scientific article; zbMATH DE number 1909822 (Why is no real title available?)
• Undecidability of the Spectral Gap

This page was built for publication: Undecidability through Fourier series

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q278759)